acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / nonstd

This file is indexed.

/usr/share/acl2-8.0dfsg/books/nonstd/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/nonstd/fft/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/fft/eval-poly.acl2 text/plain root:root 0o644 74 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/fft/eval-poly.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/fft/fft-omega.acl2 text/plain root:root 0o644 74 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/fft/fft-omega.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/fft/fft-trig-with-axioms.acl2 text/plain root:root 0o644 156 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/fft/fft-trig-with-axioms.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/fft/fft-trig.acl2 text/plain root:root 0o644 92 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/fft/fft-trig.lisp text/x-lisp root:root 0o644 11.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/continuous-function.lisp text/x-lisp root:root 0o644 69.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/equivalence-continuous-function.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/equivalence-ftc.lisp text/x-lisp root:root 0o644 14.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/equivalence-integrals.lisp text/x-lisp root:root 0o644 18.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/ftc-1.lisp text/plain root:root 0o644 7.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/ftc-2.lisp text/x-lisp root:root 0o644 21.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integrable-functions.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integral-of-polynomials.lisp text/plain root:root 0o644 100 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integration-composition-equivalences.lisp text/x-lisp root:root 0o644 57.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/integration-composition.lisp text/x-lisp root:root 0o644 47.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/make-partition.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/integrals/split-integral-by-subintervals.lisp text/plain root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/alternating-series.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/chain-rule.lisp text/x-lisp root:root 0o644 46.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/complex-polar.lisp text/x-lisp root:root 0o644 13.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/continuity-product.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/continuity.lisp text/x-lisp root:root 0o644 52.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/derivative-raise.lisp text/x-lisp root:root 0o644 62.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/derivatives-composition.lisp text/x-lisp root:root 0o644 65.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/derivatives.lisp text/x-lisp root:root 0o644 78.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-continuity.lisp text/x-lisp root:root 0o644 19.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-derivatives-composition.lisp text/x-lisp root:root 0o644 66.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-derivatives.lisp text/plain root:root 0o644 33.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/equivalence-limits.lisp text/x-lisp root:root 0o644 13.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/exp-continuous.lisp text/x-lisp root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/exp-sum.lisp text/x-lisp root:root 0o644 45.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/exp.lisp text/x-lisp root:root 0o644 63.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/factorial.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inner-sums.lisp text/x-lisp root:root 0o644 19.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/intervals.lisp text/x-lisp root:root 0o644 18.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-derivatives.lisp text/x-lisp root:root 0o644 25.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-monotone.acl2 text/plain root:root 0o644 95 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-monotone.lisp text/x-lisp root:root 0o644 41.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-square.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverse-trig.lisp text/x-lisp root:root 0o644 9.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/inverses.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/ln.lisp text/plain root:root 0o644 23.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/next-integer.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/norm.lisp text/x-lisp root:root 0o644 21.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/nsa.lisp text/plain root:root 0o644 29.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/overspill-proof.lisp text/x-lisp root:root 0o644 10.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/overspill-test.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/overspill.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/raise.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/sine.lisp text/x-lisp root:root 0o644 35.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/sqrt.lisp text/x-lisp root:root 0o644 35.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/trig-approx.lisp text/x-lisp root:root 0o644 56.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/nsa/trig.lisp text/x-lisp root:root 0o644 92.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/polynomials/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/polynomials/polynomial-calculus.lisp text/x-lisp root:root 0o644 64.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/polynomials/polynomial-defuns.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/polynomials/polynomial-lemmas.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/sqrt/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/sqrt/iter-sqrt.lisp text/x-lisp root:root 0o644 22.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/sqrt/no-sqrt.lisp text/x-lisp root:root 0o644 16.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/transcendentals/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/transcendentals/nested-intervals-revised.lisp text/x-lisp root:root 0o644 10.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/transcendentals/nested-intervals.lisp text/x-lisp root:root 0o644 10.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/transcendentals/reals-are-uncountable-1.lisp text/x-lisp root:root 0o644 81.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/transcendentals/reals-are-uncountable-2.lisp text/x-lisp root:root 0o644 26.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/continuity.lisp text/x-lisp root:root 0o644 16.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/derivatives.lisp text/x-lisp root:root 0o644 39.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise1.lisp text/x-lisp root:root 0o644 15.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise2.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise3.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise4.lisp text/x-lisp root:root 0o644 14.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise5.lisp text/x-lisp root:root 0o644 3.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise6.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise7.lisp text/x-lisp root:root 0o644 25.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/analysis/exercise8.lisp text/x-lisp root:root 0o644 12.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/between-i-close-implies-i-close.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/between-limited-implies-limited.lisp text/x-lisp root:root 0o644 551 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/defaxioms.lisp text/plain root:root 0o644 417 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/equal-riemann-rcfn-refinement-reduction.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/ftoc-lemma.lisp text/plain root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/fundamental-theorem-of-calculus.lisp text/plain root:root 0o644 4.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/i-close-implies-abs-difference-small.lisp text/plain root:root 0o644 552 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/i-limited-rcfn.lisp text/plain root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/i-small-maxlist-abslist-difflist-maps.lisp text/plain root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/integral-rcfn-equal-if-i-close.lisp text/plain root:root 0o644 979 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/integral-rcfn-lemmas.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/integral-rcfn-quotient-between-non-classical.lisp text/plain root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/integral-rcfn.lisp text/plain root:root 0o644 906 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/make-partition.lisp text/x-lisp root:root 0o644 293 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/map-rcfn-close-to-map-rcfn-refinement.lisp text/plain root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/max-and-min-attained.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/max-x-between.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/maxlist-abslist-difflist-maps-lt.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/min-max-x-rec-lemmas.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/min-x-and-max-x-lemmas.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/min-x-between.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/next-gte-close.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/nsa-lemmas.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/nsa.lisp text/plain root:root 0o644 190 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/partitions-give-i-close-riemann-sum.lisp text/plain root:root 0o644 996 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/proof-outline.lisp text/x-lisp root:root 0o644 10.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/rcfn-next-gte-close.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/rcfn-standard-part.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change-1.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change.lisp text/plain root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-bound.lisp text/plain root:root 0o644 6.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-defuns.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-lemmas.lisp text/plain root:root 0o644 16.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-rcfn-between.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-rcfn-lower-bound.lisp text/plain root:root 0o644 8.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-rcfn-refinement-is-riemann-rcfn.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-rcfn-upper-bound.lisp text/plain root:root 0o644 9.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-1.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-2.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/riemann.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/split-integral-by-subintervals.lisp text/plain root:root 0o644 10.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/standard-part-equal-if-i-close.lisp text/plain root:root 0o644 492 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/standard-part-preserves-between.lisp text/x-lisp root:root 0o644 743 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/standard-part-riemann-rcfn-is-standard.lisp text/plain root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/top-with-meta.lisp text/plain root:root 0o644 210 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/book/two-times-r-is-not-less-than-standard-part.lisp text/plain root:root 0o644 764 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/mesh-append.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/mesh-make-partition.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/partition-defuns.lisp text/x-tex root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/partitionp-make-partition-rec.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/partitionp-make-partition.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/1999/calculus/solutions/riemann-rcfn-helpers.lisp text/x-lisp root:root 0o644 414 bytes
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/abs-derivative.lisp text/plain root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/chain-composition.lisp text/x-lisp root:root 0o644 6.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/composition-elem.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/composition-helpers.lisp text/x-lisp root:root 0o644 18.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/defderivative.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/differentiator.lisp text/x-lisp root:root 0o644 22.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-minimal.lisp text/x-lisp root:root 0o644 18.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-properties.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-composition.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-derivative.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-square.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-derivatives.lisp text/plain root:root 0o644 14.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-ex.lisp text/x-lisp root:root 0o644 32.4 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/ln-derivative-real.lisp text/x-lisp root:root 0o644 14.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/nsa-ex.lisp text/plain root:root 0o644 5.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/product-composition.lisp text/x-lisp root:root 0o644 10.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/sin-cos-minimal.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/sqrt-derivative.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2011/reid-gamboa-differentiator/support/sum-composition.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2013/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2013/helms-gamboa-quantum/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2013/helms-gamboa-quantum/support/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2013/helms-gamboa-quantum/support/quantum.lisp text/x-lisp root:root 0o644 70.7 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley1.lisp text/x-lisp root:root 0o644 7.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley1a.lisp text/plain root:root 0o644 13.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley1b.lisp text/x-lisp root:root 0o644 27.5 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley1c.lisp text/x-lisp root:root 0o644 48.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley1d.lisp text/plain root:root 0o644 12.2 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley2.lisp text/plain root:root 0o644 54.8 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley2a.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley3.lisp text/x-lisp root:root 0o644 154.9 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley3a.lisp text/plain root:root 0o644 61.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley4.lisp text/x-lisp root:root 0o644 156.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley4a.lisp text/plain root:root 0o644 63.0 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley5.lisp text/x-lisp root:root 0o644 156.6 KB
/usr/share/acl2-8.0dfsg/books/nonstd/workshops/2017/cayley/cayley5a.lisp text/plain root:root 0o644 64.0 KB

APT Browse - Built by Thomas Orozco.