Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/prover/
Upload File :

Name
Size
Permissions
Options
binders.c
13.368 KB
-rw-r--r--
codomain.c
16.751 KB
-rw-r--r--
constr.c
9.043 KB
-rw-r--r--
domain.c
50.393 KB
-rw-r--r--
domexp.c
14.196 KB
-rw-r--r--
elim.c
5.612 KB
-rw-r--r--
extrema.c
3.757 KB
-rw-r--r--
fastdom.c
40.003 KB
-rw-r--r--
fasttrig.c
10.692 KB
-rw-r--r--
funcinfo.c
45.008 KB
-rw-r--r--
gsub.c
6.522 KB
-rw-r--r--
infsup.c
10.103 KB
-rw-r--r--
interval.c
7.384 KB
-rw-r--r--
inveqn.c
15.31 KB
-rw-r--r--
invineq.c
10.782 KB
-rw-r--r--
limval.c
124.405 KB
-rw-r--r--
limval2.c
49.258 KB
-rw-r--r--
loglead.c
7.212 KB
-rw-r--r--
lpt.c
60.815 KB
-rw-r--r--
match.c
6.203 KB
-rw-r--r--
maxsub.c
17.847 KB
-rw-r--r--
nperiod.c
17.528 KB
-rw-r--r--
pdomain.c
6.513 KB
-rw-r--r--
periodic.c
8.143 KB
-rw-r--r--
prop.c
44.384 KB
-rw-r--r--
prover.c
104.27 KB
-rw-r--r--
puiseux.c
48.029 KB
-rw-r--r--
redineq.c
84.275 KB
-rw-r--r--
redrat.c
19.388 KB
-rw-r--r--
reset.c
1.211 KB
-rw-r--r--
rk.c
5.981 KB
-rw-r--r--
sing.c
34.135 KB
-rw-r--r--
singular.c
146.651 KB
-rw-r--r--
solvelin.c
16.464 KB
-rw-r--r--
stdpart.c
14.245 KB
-rw-r--r--
sturm.c
10.486 KB
-rw-r--r--
term2.c
11.22 KB
-rw-r--r--
trigatr.c
9.269 KB
-rw-r--r--
trigdom.c
58.081 KB
-rw-r--r--
trigpoly.c
20.953 KB
-rw-r--r--

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists