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 math

Insgesamt wurden 663 Pakete in dieser Kategrie gefunden.


Seite 1 von 7 nächste

PaketnameBeschreibungVersionDownloadArchiv

Sektion math
acl2 A Computational Logic for Applicative Common Lisp: main binary 4.0-3 acl2_4.0-3_i386.deb Offizielles Debian Archiv squeeze (main)
acl2 Computational Logic for Applicative Common Lisp: main binary 4.3-3 acl2_4.3-3_i386.deb Offizielles Debian Archiv wheezy (main)
acl2-books Computational Logic for Applicative Common Lisp: compiled libraries 4.3-3 acl2-books_4.3-3_i386.deb Offizielles Debian Archiv wheezy (main)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries 4.0-3 acl2-books_4.0-3_i386.deb Offizielles Debian Archiv squeeze (main)
acl2-books-certs Computational Logic for Applicative Common Lisp: library certificates 4.3-3 acl2-books-certs_4.3-3_all.deb Offizielles Debian Archiv wheezy (main)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates 4.0-3 acl2-books-certs_4.0-3_all.deb Offizielles Debian Archiv squeeze (main)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources 4.0-3 acl2-books-source_4.0-3_all.deb Offizielles Debian Archiv squeeze (main)
acl2-books-source Computational Logic for Applicative Common Lisp: library sources 4.3-3 acl2-books-source_4.3-3_all.deb Offizielles Debian Archiv wheezy (main)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface 4.0-3 acl2-emacs_4.0-3_all.deb Offizielles Debian Archiv squeeze (main)
acl2-emacs Computational Logic for Applicative Common Lisp: emacs interface 4.3-3 acl2-emacs_4.3-3_all.deb Offizielles Debian Archiv wheezy (main)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface 4.0-3 acl2-infix_4.0-3_i386.deb Offizielles Debian Archiv squeeze (main)
acl2-infix Computational Logic for Applicative Common Lisp: infix interface 4.3-3 acl2-infix_4.3-3_i386.deb Offizielles Debian Archiv wheezy (main)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source 4.0-3 acl2-infix-source_4.0-3_all.deb Offizielles Debian Archiv squeeze (main)
acl2-infix-source Computational Logic for Applicative Common Lisp: infix source 4.3-3 acl2-infix-source_4.3-3_all.deb Offizielles Debian Archiv wheezy (main)
acl2-source A Computational Logic for Applicative Common Lisp: source files 4.0-3 acl2-source_4.0-3_all.deb Offizielles Debian Archiv squeeze (main)
acl2-source Computational Logic for Applicative Common Lisp: source files 4.3-3 acl2-source_4.3-3_all.deb Offizielles Debian Archiv wheezy (main)
admesh Tool for processing triangulated solid meshes 0.95-12 admesh_0.95-12_i386.deb Offizielles Debian Archiv wheezy (main)
admesh a tool for processing triangulated solid meshes 0.95-7 admesh_0.95-7_i386.deb Offizielles Debian Archiv squeeze (main)
alt-ergo Automatic theorem prover dedicated to program verification 0.91-2 alt-ergo_0.91-2_i386.deb Offizielles Debian Archiv squeeze (main)
alt-ergo Automatic theorem prover dedicated to program verification 0.94-2 alt-ergo_0.94-2_i386.deb Offizielles Debian Archiv wheezy (main)
analitza-dev algebraic library from KDE, gui components 4:4.8.2-0ubuntu2 analitza-dev_4.8.2-0ubuntu2_i386.deb Offizielles Ubuntu Archiv precise (main)
ann-tools Approximate Nearest Neighbor Searching library (tools) 1.1.2+doc-3 ann-tools_1.1.2+doc-3_i386.deb Offizielles Debian Archiv wheezy (main)
ann-tools Approximate Nearest Neighbor Searching library (tools) 1.1.1+doc-2.2 ann-tools_1.1.1+doc-2.2_i386.deb Offizielles Debian Archiv squeeze (main)
apcalc Arbitrary precision calculator (original name: calc) 2.12.3.3-1 apcalc_2.12.3.3-1_i386.deb Offizielles Debian Archiv squeeze (main)
apcalc Arbitrary precision calculator (original name: calc) 2.12.4.4-3 apcalc_2.12.4.4-3_i386.deb Offizielles Debian Archiv wheezy (main)
apcalc-common Arbitrary precision calculator (common files) 2.12.3.3-1 apcalc-common_2.12.3.3-1_all.deb Offizielles Debian Archiv squeeze (main)
apcalc-common Arbitrary precision calculator (common files) 2.12.4.4-3 apcalc-common_2.12.4.4-3_all.deb Offizielles Debian Archiv wheezy (main)
aribas interpreter for arithmetic 1.64-5 aribas_1.64-5_i386.deb Offizielles Debian Archiv wheezy (main)
aribas interpreter for arithmetic 1.64-5 aribas_1.64-5_i386.deb Offizielles Debian Archiv squeeze (main)
autoclass automatic classification or clustering 3.3.6-1 autoclass_3.3.6-1_i386.deb Offizielles Debian Archiv squeeze (main)
autoclass automatic classification or clustering 3.3.6.dfsg.1-1 autoclass_3.3.6.dfsg.1-1_i386.deb Offizielles Debian Archiv wheezy (main)
axiom General purpose computer algebra system: main binary and modules 20120501-1 axiom_20120501-1_i386.deb Offizielles Debian Archiv wheezy (main)
axiom A general purpose computer algebra system: main binary and modules 20100701-1.1 axiom_20100701-1.1_i386.deb Offizielles Debian Archiv squeeze (main)
axiom-databases General purpose computer algebra system: generated text databases 20120501-1 axiom-databases_20120501-1_all.deb Offizielles Debian Archiv wheezy (main)
axiom-databases A general purpose computer algebra system: generated text databases 20100701-1.1 axiom-databases_20100701-1.1_all.deb Offizielles Debian Archiv squeeze (main)
axiom-graphics A general purpose computer algebra system: graphics subsystem 20100701-1.1 axiom-graphics_20100701-1.1_i386.deb Offizielles Debian Archiv squeeze (main)
axiom-graphics General purpose computer algebra system: graphics subsystem 20120501-1 axiom-graphics_20120501-1_i386.deb Offizielles Debian Archiv wheezy (main)
axiom-graphics-data General purpose computer algebra system: graphics subsystem 20120501-1 axiom-graphics-data_20120501-1_all.deb Offizielles Debian Archiv wheezy (main)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem 20100701-1.1 axiom-graphics-data_20100701-1.1_all.deb Offizielles Debian Archiv squeeze (main)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem 20100701-1.1 axiom-hypertex_20100701-1.1_i386.deb Offizielles Debian Archiv squeeze (main)
axiom-hypertex General purpose computer algebra system: hypertex subsystem 20120501-1 axiom-hypertex_20120501-1_i386.deb Offizielles Debian Archiv wheezy (main)
axiom-hypertex-data General purpose computer algebra system: hypertex subsystem 20120501-1 axiom-hypertex-data_20120501-1_all.deb Offizielles Debian Archiv wheezy (main)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem 20100701-1.1 axiom-hypertex-data_20100701-1.1_all.deb Offizielles Debian Archiv squeeze (main)
axiom-source A general purpose computer algebra system: source files 20100701-1.1 axiom-source_20100701-1.1_all.deb Offizielles Debian Archiv squeeze (main)
axiom-source General purpose computer algebra system: source files 20120501-1 axiom-source_20120501-1_all.deb Offizielles Debian Archiv wheezy (main)
axiom-test A general purpose computer algebra system: regression test inputs 20100701-1.1 axiom-test_20100701-1.1_all.deb Offizielles Debian Archiv squeeze (main)
axiom-test General purpose computer algebra system: regression test inputs 20120501-1 axiom-test_20120501-1_all.deb Offizielles Debian Archiv wheezy (main)
axiom-tex A general purpose computer algebra system: style file for TeX 20100701-1.1 axiom-tex_20100701-1.1_all.deb Offizielles Debian Archiv squeeze (main)
axiom-tex General purpose computer algebra system: style file for TeX 20120501-1 axiom-tex_20120501-1_all.deb Offizielles Debian Archiv wheezy (main)
bc The GNU bc arbitrary precision calculator language 1.06.95-2 bc_1.06.95-2_i386.deb Offizielles Ubuntu Archiv oneiric (main)
bc The GNU bc arbitrary precision calculator language 1.06.95-2 bc_1.06.95-2_i386.deb Offizielles Debian Archiv squeeze (main)
bc GNU bc arbitrary precision calculator language 1.06.95-4 bc_1.06.95-4_i386.deb Offizielles Ubuntu Archiv quantal (main)
bc The GNU bc arbitrary precision calculator language 1.06.95-2 bc_1.06.95-2_i386.deb Offizielles Ubuntu Archiv precise (main)
bc The GNU bc arbitrary precision calculator language 1.06.95-2 bc_1.06.95-2_i386.deb Offizielles Ubuntu Archiv lucid (main)
bc The GNU bc arbitrary precision calculator language 1.06.95-2 bc_1.06.95-2_i386.deb Offizielles Debian Archiv wheezy (main)
blacs-mpi-test Basic Linear Algebra Comm. Subprograms - Test files for MPI 1.1-28.2+b1 blacs-mpi-test_1.1-28.2+b1_i386.deb Offizielles Debian Archiv squeeze (main)
blacs-mpi-test Basic Linear Algebra Comm. Subprograms - Test files for MPI 1.1-31 blacs-mpi-test_1.1-31_i386.deb Offizielles Debian Archiv wheezy (main)
blacs-test-common Test data for BLACS testers 1.1-28.2 blacs-test-common_1.1-28.2_all.deb Offizielles Debian Archiv squeeze (main)
blacs-test-common Test data for BLACS testers 1.1-31 blacs-test-common_1.1-31_all.deb Offizielles Debian Archiv wheezy (main)
bliss tool to compute graph automorphisms and labelings 0.72-2 bliss_0.72-2_i386.deb Offizielles Debian Archiv wheezy (main)
cadabra field-theory motivated computer algebra system 1.29-1 cadabra_1.29-1_i386.deb Offizielles Debian Archiv wheezy (main)
cadabra field-theory motivated computer algebra system 1.25-1 cadabra_1.25-1_i386.deb Offizielles Debian Archiv squeeze (main)
calligrasheets spreadsheet for the Calligra Suite 1:2.4.3-1 calligrasheets_2.4.3-1_i386.deb Offizielles Debian Archiv wheezy (main)
calligrasheets spreadsheet for the Calligra Office Suite 1:2.4.0-0ubuntu2 calligrasheets_2.4.0-0ubuntu2_i386.deb Offizielles Ubuntu Archiv precise (main)
cantor interface for mathematical applications 4:4.4.5-2 cantor_4.4.5-2_i386.deb Offizielles Debian Archiv squeeze (main)
cantor KDE frontend to mathematical software 4:4.4.2-0ubuntu2 cantor_4.4.2-0ubuntu2_i386.deb Offizielles Ubuntu Archiv lucid (main)
cantor interface for mathematical applications 4:4.7.1-0ubuntu2 cantor_4.7.1-0ubuntu2_i386.deb Offizielles Ubuntu Archiv oneiric (main)
cantor interface for mathematical applications 4:4.8.4-2 cantor_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-kalgebra KAlgebra backend for Cantor 4:4.8.4-2 cantor-backend-kalgebra_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-kalgebra KAlgebra backend for Cantor 4:4.4.5-2 cantor-backend-kalgebra_4.4.5-2_i386.deb Offizielles Debian Archiv squeeze (main)
cantor-backend-maxima Maxima backend for Cantor 4:4.8.4-2 cantor-backend-maxima_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-maxima Maxima backend for Cantor 4:4.4.5-2 cantor-backend-maxima_4.4.5-2_i386.deb Offizielles Debian Archiv squeeze (main)
cantor-backend-octave Octave backend for Cantor 4:4.8.4-2 cantor-backend-octave_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-qalculate Qalculate! backend for Cantor 4:4.8.4-2 cantor-backend-qalculate_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-r R backend for Cantor 4:4.4.5-2 cantor-backend-r_4.4.5-2_i386.deb Offizielles Debian Archiv squeeze (main)
cantor-backend-r R backend for Cantor 4:4.8.4-2 cantor-backend-r_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-sage Sage backend for Cantor 4:4.4.5-2 cantor-backend-sage_4.4.5-2_i386.deb Offizielles Debian Archiv squeeze (main)
cantor-backend-sage Sage backend for Cantor 4:4.8.4-2 cantor-backend-sage_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
cantor-backend-scilab Scilab backend for Cantor 4:4.8.4-2 cantor-backend-scilab_4.8.4-2_i386.deb Offizielles Debian Archiv wheezy (main)
carmetal dynamic geometry software with highly ergonomic UI 2.9.8.2-1 carmetal_2.9.8.2-1_all.deb Offizielles Debian Archiv squeeze (main)
carmetal dynamic geometry software with highly ergonomic UI 3.5.2+dfsg-1 carmetal_3.5.2+dfsg-1_all.deb Offizielles Debian Archiv wheezy (main)
cimg-dev powerful image processing library 1.4.9-2 cimg-dev_1.4.9-2_all.deb Offizielles Debian Archiv wheezy (main)
cimg-dev powerful image processing library 1.3.9-1 cimg-dev_1.3.9-1_all.deb Offizielles Debian Archiv squeeze (main)
circlepack creation and display of circle packings 5.1-7 circlepack_5.1-7_i386.deb Offizielles Debian Archiv squeeze (main)
cliquer clique searching program 1.21-1 cliquer_1.21-1_i386.deb Offizielles Debian Archiv wheezy (main)
concalc console calculator 0.9.2-1 concalc_0.9.2-1_i386.deb Offizielles Debian Archiv squeeze (main)
concalc console calculator 0.9.2-2 concalc_0.9.2-2_i386.deb Offizielles Debian Archiv wheezy (main)
coq proof assistant for higher-order logic (toplevel and compiler) 8.2.pl2+dfsg-1 coq_8.2.pl2+dfsg-1_i386.deb Offizielles Debian Archiv squeeze (main)
coq proof assistant for higher-order logic (toplevel and compiler) 8.3.pl4+dfsg-2 coq_8.3.pl4+dfsg-2_i386.deb Offizielles Debian Archiv wheezy (main)
coq-theories proof assistant for higher-order logic (theories) 8.3.pl4+dfsg-2 coq-theories_8.3.pl4+dfsg-2_all.deb Offizielles Debian Archiv wheezy (main)
coq-theories proof assistant for higher-order logic (theories) 8.2.pl2+dfsg-1 coq-theories_8.2.pl2+dfsg-1_all.deb Offizielles Debian Archiv squeeze (main)
coqide proof assistant for higher-order logic (gtk interface) 8.3.pl4+dfsg-2 coqide_8.3.pl4+dfsg-2_i386.deb Offizielles Debian Archiv wheezy (main)
coqide proof assistant for higher-order logic (gtk interface) 8.2.pl2+dfsg-1 coqide_8.2.pl2+dfsg-1_i386.deb Offizielles Debian Archiv squeeze (main)
cpushare client and server for the CPUShare distributed computing platform 0.48-4 cpushare_0.48-4_i386.deb Offizielles Debian Archiv wheezy (main)
cpushare client and server for the CPUShare distributed computing platform 0.48-4 cpushare_0.48-4_i386.deb Offizielles Debian Archiv squeeze (main)
cuba-partview partition viewer for the Cuba library 3.0+20111124-2 cuba-partview_3.0+20111124-2_i386.deb Offizielles Debian Archiv wheezy (main)
cvc3 An automatic theorem prover for SMT problems 2.2-13 cvc3_2.2-13_i386.deb Offizielles Debian Archiv squeeze (main)
cvc3 Automatic theorem prover for SMT problems 2.4.1-2 cvc3_2.4.1-2_i386.deb Offizielles Debian Archiv wheezy (main)
cvc3-el Emacs mode for CVC3 2.2-13 cvc3-el_2.2-13_all.deb Offizielles Debian Archiv squeeze (main)
cvc3-el Emacs mode for CVC3 2.4.1-2 cvc3-el_2.4.1-2_all.deb Offizielles Debian Archiv wheezy (main)


Seite 1 von 7 nächste

Impressum
Linux is a registered trademark of Linus Torvalds