| Paketname | Beschreibung | Version | Download | Archiv |
Sektion universe/math
|
| acl2 |
Computational Logic for Applicative Common Lisp: main binary |
4.3-3 |
acl2_4.3-3_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2 |
A Computational Logic for Applicative Common Lisp: main binary |
4.2-1 |
acl2_4.2-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2 |
A Computational Logic for Applicative Common Lisp: main binary |
4.2-1 |
acl2_4.2-1_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2 |
A Computational Logic for Applicative Common Lisp: main binary |
3.6-4 |
acl2_3.6-4_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-books |
Computational Logic for Applicative Common Lisp: compiled libraries |
4.3-3 |
acl2-books_4.3-3_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-books |
A Computational Logic for Applicative Common Lisp: compiled libraries |
4.2-1 |
acl2-books_4.2-1_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-books |
A Computational Logic for Applicative Common Lisp: compiled libraries |
3.6-4 |
acl2-books_3.6-4_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-books |
A Computational Logic for Applicative Common Lisp: compiled libraries |
4.2-1 |
acl2-books_4.2-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-books-certs |
Computational Logic for Applicative Common Lisp: library certificates |
4.3-3 |
acl2-books-certs_4.3-3_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-books-certs |
A Computational Logic for Applicative Common Lisp: library certificates |
4.2-1 |
acl2-books-certs_4.2-1_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-books-certs |
A Computational Logic for Applicative Common Lisp: library certificates |
3.6-4 |
acl2-books-certs_3.6-4_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-books-certs |
A Computational Logic for Applicative Common Lisp: library certificates |
4.2-1 |
acl2-books-certs_4.2-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-books-source |
A Computational Logic for Applicative Common Lisp: library sources |
4.2-1 |
acl2-books-source_4.2-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-books-source |
A Computational Logic for Applicative Common Lisp: library sources |
3.6-4 |
acl2-books-source_3.6-4_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-books-source |
A Computational Logic for Applicative Common Lisp: library sources |
4.2-1 |
acl2-books-source_4.2-1_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-books-source |
Computational Logic for Applicative Common Lisp: library sources |
4.3-3 |
acl2-books-source_4.3-3_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-emacs |
A Computational Logic for Applicative Common Lisp: emacs interface |
4.2-1 |
acl2-emacs_4.2-1_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-emacs |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.6-4 |
acl2-emacs_3.6-4_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-emacs |
A Computational Logic for Applicative Common Lisp: emacs interface |
4.2-1 |
acl2-emacs_4.2-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-emacs |
Computational Logic for Applicative Common Lisp: emacs interface |
4.3-3 |
acl2-emacs_4.3-3_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-infix |
Computational Logic for Applicative Common Lisp: infix interface |
4.3-3 |
acl2-infix_4.3-3_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-infix |
A Computational Logic for Applicative Common Lisp: infix interface |
4.2-1 |
acl2-infix_4.2-1_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-infix |
A Computational Logic for Applicative Common Lisp: infix interface |
4.2-1 |
acl2-infix_4.2-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-infix |
A Computational Logic for Applicative Common Lisp: infix interface |
3.6-4 |
acl2-infix_3.6-4_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-infix-source |
A Computational Logic for Applicative Common Lisp: infix source |
4.2-1 |
acl2-infix-source_4.2-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-infix-source |
A Computational Logic for Applicative Common Lisp: infix source |
4.2-1 |
acl2-infix-source_4.2-1_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-infix-source |
Computational Logic for Applicative Common Lisp: infix source |
4.3-3 |
acl2-infix-source_4.3-3_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-infix-source |
A Computational Logic for Applicative Common Lisp: infix source |
3.6-4 |
acl2-infix-source_3.6-4_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| acl2-source |
A Computational Logic for Applicative Common Lisp: source files |
4.2-1 |
acl2-source_4.2-1_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| acl2-source |
Computational Logic for Applicative Common Lisp: source files |
4.3-3 |
acl2-source_4.3-3_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| acl2-source |
A Computational Logic for Applicative Common Lisp: source files |
4.2-1 |
acl2-source_4.2-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| acl2-source |
A Computational Logic for Applicative Common Lisp: source files |
3.6-4 |
acl2-source_3.6-4_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| admesh |
Tool for processing triangulated solid meshes |
0.95-11 |
admesh_0.95-11_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| admesh |
Tool for processing triangulated solid meshes |
0.95-11 |
admesh_0.95-11_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| admesh |
a tool for processing triangulated solid meshes |
0.95-7 |
admesh_0.95-7_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| admesh |
Tool for processing triangulated solid meshes |
0.95-12 |
admesh_0.95-12_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| alt-ergo |
Automatic theorem prover dedicated to program verification |
0.9-1build1 |
alt-ergo_0.9-1build1_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| alt-ergo |
Automatic theorem prover dedicated to program verification |
0.94-1 |
alt-ergo_0.94-1_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| alt-ergo |
Automatic theorem prover dedicated to program verification |
0.94-2 |
alt-ergo_0.94-2_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| alt-ergo |
Automatic theorem prover dedicated to program verification |
0.93-3 |
alt-ergo_0.93-3_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| analitza-dev |
algebraic library from KDE, gui components |
4:4.9.0-0ubuntu2 |
analitza-dev_4.9.0-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| ann-tools |
Approximate Nearest Neighbor Searching library (tools) |
1.1.2+doc-3 |
ann-tools_1.1.2+doc-3_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| ann-tools |
Approximate Nearest Neighbor Searching library (tools) |
1.1.1+doc-2.2ubuntu1 |
ann-tools_1.1.1+doc-2.2ubuntu1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| ann-tools |
Approximate Nearest Neighbor Searching library (tools) |
1.1.2+doc-3 |
ann-tools_1.1.2+doc-3_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| ann-tools |
Approximate Nearest Neighbor Searching library (tools) |
1.1.1+doc-2.1 |
ann-tools_1.1.1+doc-2.1_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| apcalc |
Arbitrary precision calculator (original name: calc) |
2.12.3.3-1ubuntu1 |
apcalc_2.12.3.3-1ubuntu1_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| apcalc |
Arbitrary precision calculator (original name: calc) |
2.12.4.4-3 |
apcalc_2.12.4.4-3_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| apcalc |
Arbitrary precision calculator (original name: calc) |
2.12.3.3-1ubuntu3 |
apcalc_2.12.3.3-1ubuntu3_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| apcalc |
Arbitrary precision calculator (original name: calc) |
2.12.4.4-2 |
apcalc_2.12.4.4-2_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| apcalc-common |
Arbitrary precision calculator (common files) |
2.12.4.4-2 |
apcalc-common_2.12.4.4-2_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| apcalc-common |
Arbitrary precision calculator (common files) |
2.12.3.3-1ubuntu1 |
apcalc-common_2.12.3.3-1ubuntu1_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| apcalc-common |
Arbitrary precision calculator (common files) |
2.12.3.3-1ubuntu3 |
apcalc-common_2.12.3.3-1ubuntu3_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| apcalc-common |
Arbitrary precision calculator (common files) |
2.12.4.4-3 |
apcalc-common_2.12.4.4-3_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| aribas |
interpreter for arithmetic |
1.63-5 |
aribas_1.63-5_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| aribas |
interpreter for arithmetic |
1.64-5 |
aribas_1.64-5_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| aribas |
interpreter for arithmetic |
1.64-5 |
aribas_1.64-5_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| aribas |
interpreter for arithmetic |
1.64-5 |
aribas_1.64-5_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| autoclass |
automatic classification or clustering |
3.3.6.dfsg.1-1 |
autoclass_3.3.6.dfsg.1-1_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| autoclass |
automatic classification or clustering |
3.3.6-1 |
autoclass_3.3.6-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| autoclass |
automatic classification or clustering |
3.3.6.dfsg.1-1 |
autoclass_3.3.6.dfsg.1-1_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| autoclass |
automatic classification or clustering |
3.3.4-7.1 |
autoclass_3.3.4-7.1_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom |
A general purpose computer algebra system: main binary and modules |
20091101-7 |
axiom_20091101-7_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom |
General purpose computer algebra system: main binary and modules |
20120301-3 |
axiom_20120301-3_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom |
A general purpose computer algebra system: main binary and modules |
20110301a-1 |
axiom_20110301a-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom |
General purpose computer algebra system: main binary and modules |
20120501-1 |
axiom_20120501-1_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-databases |
A general purpose computer algebra system: generated text databases |
20091101-7 |
axiom-databases_20091101-7_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-databases |
General purpose computer algebra system: generated text databases |
20120301-3 |
axiom-databases_20120301-3_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-databases |
General purpose computer algebra system: generated text databases |
20120501-1 |
axiom-databases_20120501-1_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-databases |
A general purpose computer algebra system: generated text databases |
20110301a-1 |
axiom-databases_20110301a-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-graphics |
A general purpose computer algebra system: graphics subsystem |
20110301a-1 |
axiom-graphics_20110301a-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-graphics |
General purpose computer algebra system: graphics subsystem |
20120301-3 |
axiom-graphics_20120301-3_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-graphics |
A general purpose computer algebra system: graphics subsystem |
20091101-7 |
axiom-graphics_20091101-7_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-graphics |
General purpose computer algebra system: graphics subsystem |
20120501-1 |
axiom-graphics_20120501-1_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-graphics-data |
A general purpose computer algebra system: graphics subsystem |
20110301a-1 |
axiom-graphics-data_20110301a-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-graphics-data |
A general purpose computer algebra system: graphics subsystem |
20091101-7 |
axiom-graphics-data_20091101-7_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-graphics-data |
General purpose computer algebra system: graphics subsystem |
20120301-3 |
axiom-graphics-data_20120301-3_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-graphics-data |
General purpose computer algebra system: graphics subsystem |
20120501-1 |
axiom-graphics-data_20120501-1_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-hypertex |
General purpose computer algebra system: hypertex subsystem |
20120501-1 |
axiom-hypertex_20120501-1_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-hypertex |
A general purpose computer algebra system: hypertex subsystem |
20091101-7 |
axiom-hypertex_20091101-7_i386.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-hypertex |
A general purpose computer algebra system: hypertex subsystem |
20110301a-1 |
axiom-hypertex_20110301a-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-hypertex |
General purpose computer algebra system: hypertex subsystem |
20120301-3 |
axiom-hypertex_20120301-3_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-hypertex-data |
A general purpose computer algebra system: hypertex subsystem |
20091101-7 |
axiom-hypertex-data_20091101-7_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-hypertex-data |
A general purpose computer algebra system: hypertex subsystem |
20110301a-1 |
axiom-hypertex-data_20110301a-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-hypertex-data |
General purpose computer algebra system: hypertex subsystem |
20120501-1 |
axiom-hypertex-data_20120501-1_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-hypertex-data |
General purpose computer algebra system: hypertex subsystem |
20120301-3 |
axiom-hypertex-data_20120301-3_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-source |
General purpose computer algebra system: source files |
20120501-1 |
axiom-source_20120501-1_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-source |
General purpose computer algebra system: source files |
20120301-3 |
axiom-source_20120301-3_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-source |
A general purpose computer algebra system: source files |
20110301a-1 |
axiom-source_20110301a-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-source |
A general purpose computer algebra system: source files |
20091101-7 |
axiom-source_20091101-7_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-test |
A general purpose computer algebra system: regression test inputs |
20110301a-1 |
axiom-test_20110301a-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-test |
A general purpose computer algebra system: regression test inputs |
20091101-7 |
axiom-test_20091101-7_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| axiom-test |
General purpose computer algebra system: regression test inputs |
20120501-1 |
axiom-test_20120501-1_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-test |
General purpose computer algebra system: regression test inputs |
20120301-3 |
axiom-test_20120301-3_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-tex |
General purpose computer algebra system: style file for TeX |
20120301-3 |
axiom-tex_20120301-3_all.deb |
Offizielles Ubuntu Archiv precise (universe) |
| axiom-tex |
General purpose computer algebra system: style file for TeX |
20120501-1 |
axiom-tex_20120501-1_all.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| axiom-tex |
A general purpose computer algebra system: style file for TeX |
20110301a-1 |
axiom-tex_20110301a-1_all.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| axiom-tex |
A general purpose computer algebra system: style file for TeX |
20091101-7 |
axiom-tex_20091101-7_all.deb |
Offizielles Ubuntu Archiv lucid (universe) |
| blacs-mpi-test |
Basic Linear Algebra Comm. Subprograms - Test files for MPI |
1.1-31ubuntu1 |
blacs-mpi-test_1.1-31ubuntu1_i386.deb |
Offizielles Ubuntu Archiv quantal (universe) |
| blacs-mpi-test |
Basic Linear Algebra Comm. Subprograms - Test files for MPI |
1.1-30 |
blacs-mpi-test_1.1-30_i386.deb |
Offizielles Ubuntu Archiv oneiric (universe) |
| blacs-mpi-test |
Basic Linear Algebra Comm. Subprograms - Test files for MPI |
1.1-31ubuntu1 |
blacs-mpi-test_1.1-31ubuntu1_i386.deb |
Offizielles Ubuntu Archiv precise (universe) |