DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Liste aller Pakete in der Kategorie universe/math

Insgesamt wurden 1835 Pakete in dieser Kategrie gefunden.


Seite 1 von 19 nächste

PaketnameBeschreibungVersionDownloadArchiv

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)


Seite 1 von 19 nächste

Impressum
Linux is a registered trademark of Linus Torvalds