Paketliste Mathematik (1063 RPMs)

Kategorien

zur ersten Seitezur vorherigen Seite zur nächsten Seitezur letzten Seite
NameQtyKurzbeschreibung
1 acl2 22 A Computational Logic for Applicative Common Lisp:main binary
2 acl2-books 22 A Computational Logic for Applicative Common Lisp:compiled libraries
3 acl2-books-certs 14 A Computational Logic for Applicative Common Lisp:library certificates
4 acl2-books-source 13 A Computational Logic for Applicative Common Lisp:library sources
5 acl2-emacs 14 A Computational Logic for Applicative Common Lisp:emacs interface
6 acl2-infix 25 A Computational Logic for Applicative Common Lisp:infix interface
7 acl2-infix-source 14 A Computational Logic for Applicative Common Lisp:infix source
8 acl2-source 14 A Computational Logic for Applicative Common Lisp:source files
9 admesh 20 a tool for processing triangulated solid meshes
10 adolc 4 A Package for Automatic Differentiation of Algorithms Written in C/C++
11 adolc-examples 2 Shared libraries of ADOL-C
12 algencan 3 Solving extremely large problems with moderate computer time
13 alt-ergo 49 Alt-Ergo automatic theorem prover
14 analitza-dev 6 algebraic library from KDE, gui components
15 ann 35 Library for searching Approximate Nearest Neighbors
16 ann-test 2 Test for ANN
17 ann-tools 12 Approximate Nearest Neighbor Searching library (tools)
18 apcalc 16 Arbitrary precision calculator (original name:calc)
19 apcalc-common 8 Arbitrary precision calculator (common files)
20 aribas 17 interpreter for arithmetic
(Dateien der Untergruppen werden nicht angezeigt)