/
Main/
Ubuntu/
amd64/math/
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.8-4_amd64.deb, 1.08 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_amd64.deb, 1.00 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9.3-7_amd64.deb, 1.07 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.0-1_amd64.deb, 1.55 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_amd64.deb, 2.01 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1.1_amd64.deb, 21.40 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1ubuntu1_amd64.deb, 6.10 MB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.8-4_amd64.deb, 209.76 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_amd64.deb, 210.19 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9.3-7_amd64.deb, 198.07 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.0-1_amd64.deb, 196.01 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_amd64.deb, 194.03 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1.1_amd64.deb, 432.07 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1ubuntu1_amd64.deb, 194.90 KB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_amd64.deb, 15.92 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9.3-7_amd64.deb, 16.22 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.0-1_amd64.deb, 17.30 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_amd64.deb, 17.75 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1.1_amd64.deb, 18.17 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1ubuntu1_amd64.deb, 18.09 MB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-5_amd64.deb, 32.54 KB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-6_amd64.deb, 33.00 KB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-7_amd64.deb, 32.67 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_amd64.deb, 305.91 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.11.11-1_amd64.deb, 318.23 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.13-3ubuntu1_amd64.deb, 325.02 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.2-0ubuntu1_amd64.deb, 326.30 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.3.3-1ubuntu1_amd64.deb, 329.37 KB)
aribas interpreter for arithmetic (aribas_1.53-1_amd64.deb, 205.97 KB)
aribas interpreter for arithmetic (aribas_1.61-1_amd64.deb, 209.16 KB)
aribas interpreter for arithmetic (aribas_1.62-1_amd64.deb, 209.57 KB)
aribas interpreter for arithmetic (aribas_1.63-2_amd64.deb, 211.15 KB)
arpack++ Object-oriented version of the ARPACK package (arpack++_2.1-5_amd64.deb, 1.61 MB)
autoclass automatic classification or clustering (autoclass_3.3.3-5_amd64.deb, 425.76 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-1_amd64.deb, 425.74 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-4_amd64.deb, 533.38 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-5_amd64.deb, 558.48 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-6_amd64.deb, 562.63 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050201-1_amd64.deb, 175.93 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-4ubuntu1_amd64.deb, 179.29 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-6ubuntu1_amd64.deb, 178.57 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9ubuntu1_amd64.deb, 179.06 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050201-1_amd64.deb, 139.04 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-4ubuntu1_amd64.deb, 142.36 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-6ubuntu1_amd64.deb, 142.80 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9ubuntu1_amd64.deb, 144.10 KB)
axiom A general purpose computer algebra system (axiom_0.20040128-4_amd64.deb, 17.42 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_0.20040831-1_amd64.deb, 14.39 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_20050201-1_amd64.deb, 15.16 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_20050901-4ubuntu1_amd64.deb, 15.36 MB)
