Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/nonstd/workshops/1999/calculus/book
Name
Last modified
Size
Description
Parent Directory
-
outline/
2014-08-04 08:25
-
equal-riemann-rcfn-refinement-reduction.lisp.gz
2007-04-11 07:11
2.0K
Makefile-essence.gz
2006-01-27 16:05
2.1K
proof-outline.lisp.gz
2005-07-17 13:19
2.8K
Makefile.gz
2004-09-20 20:28
155
split-integral-by-subintervals.lisp.gz
2001-11-01 14:19
2.4K
nsa.lisp.gz
2001-11-01 13:45
76
top-with-meta.lisp.gz
2001-11-01 13:45
103
i-small-maxlist-abslist-difflist-maps.lisp.gz
2000-06-06 09:43
902
maxlist-abslist-difflist-maps-lt.lisp.gz
2000-06-06 09:43
622
README.gz
2000-06-05 22:05
1.5K
nsa-lemmas.lisp.gz
2000-05-21 07:03
440
two-times-r-is-not-less-than-standard-part.lisp.gz
2000-05-21 07:02
419
riemann-rcfn-upper-bound.lisp.gz
2000-05-21 07:02
1.6K
riemann-rcfn-lower-bound.lisp.gz
2000-05-21 07:02
1.6K
riemann-lemmas.lisp.gz
2000-05-21 07:02
3.6K
integral-rcfn-lemmas.lisp.gz
2000-05-21 07:01
698
between-i-close-implies-i-close.lisp.gz
2000-05-21 06:56
627
standard-part-equal-if-i-close.lisp.gz
2000-05-21 06:53
291
riemann-sum-approximates-integral-1.lisp.gz
2000-05-21 06:53
1.1K
refinement-makes-i-small-change.lisp.gz
2000-05-21 06:52
941
refinement-makes-i-small-change-1.lisp.gz
2000-05-21 06:52
454
partitions-give-i-close-riemann-sum.lisp.gz
2000-05-21 06:52
416
integral-rcfn-quotient-between-non-classical.lisp.gz
2000-05-21 06:51
1.0K
ftoc-lemma.lisp.gz
2000-05-21 06:50
1.3K
min-max-x-rec-lemmas.lisp.gz
2000-05-21 06:49
387
i-limited-rcfn.lisp.gz
2000-04-29 12:31
367
rcfn-next-gte-close.lisp.gz
2000-04-29 11:14
727
between-limited-implies-limited.lisp.gz
2000-04-29 11:13
310
defaxioms.lisp.gz
2000-04-29 10:54
227
integral-rcfn.lisp.gz
1999-03-21 21:52
331
fundamental-theorem-of-calculus.lisp.gz
1999-03-21 20:56
965
rcfn-standard-part.lisp.gz
1999-03-09 09:05
391
min-x-and-max-x-lemmas.lisp.gz
1999-03-08 22:19
549
standard-part-preserves-between.lisp.gz
1999-03-08 22:18
316
max-x-between.lisp.gz
1999-03-08 21:37
383
min-x-between.lisp.gz
1999-03-08 21:36
383
standard-part-riemann-rcfn-is-standard.lisp.gz
1999-03-08 13:47
728
riemann-rcfn-between.lisp.gz
1999-03-08 11:00
899
integral-rcfn-equal-if-i-close.lisp.gz
1999-03-08 08:26
350
max-and-min-attained.lisp.gz
1999-03-07 14:19
807
make-partition.lisp.gz
1999-03-06 19:55
202
riemann.lisp.gz
1999-03-06 19:38
571
riemann-sum-approximates-integral.lisp.gz
1999-03-06 19:38
563
riemann-sum-approximates-integral-2.lisp.gz
1999-03-06 19:38
380
riemann-rcfn-refinement-is-riemann-rcfn.lisp.gz
1999-03-06 19:38
865
riemann-defuns.lisp.gz
1999-03-06 19:38
1.7K
riemann-bound.lisp.gz
1999-03-06 19:38
1.1K
next-gte-close.lisp.gz
1999-03-06 19:38
538
map-rcfn-refinement-cdr-co-member.lisp.gz
1999-03-06 19:38
706
map-rcfn-close-to-map-rcfn-refinement.lisp.gz
1999-03-06 19:38
1.0K
i-close-implies-abs-difference-small.lisp.gz
1999-03-06 19:38
294
Apache/2.4.61 (Ubuntu) Server at www.cs.utexas.edu Port 443