| Paketname | Beschreibung | Version | Download | Archiv |
Sektion math
|
| dc |
The GNU dc arbitrary precision reverse-polish calculator |
1.06.95-2 |
dc_1.06.95-2_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| dc |
The GNU dc arbitrary precision reverse-polish calculator |
1.06.95-2 |
dc_1.06.95-2_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| dc |
The GNU dc arbitrary precision reverse-polish calculator |
1.06.95-2 |
dc_1.06.95-2_i386.deb |
Offizielles Ubuntu Archiv lucid (main) |
| dc |
The GNU dc arbitrary precision reverse-polish calculator |
1.06.95-2 |
dc_1.06.95-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| dc |
The GNU dc arbitrary precision reverse-polish calculator |
1.06.95-2 |
dc_1.06.95-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| dc |
GNU dc arbitrary precision reverse-polish calculator |
1.06.95-4 |
dc_1.06.95-4_i386.deb |
Offizielles Ubuntu Archiv quantal (main) |
| dicelab |
evaluate the statistical distribution of dice rolls |
0.7-1 |
dicelab_0.7-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| dicelab |
evaluate the statistical distribution of dice rolls |
0.7-1 |
dicelab_0.7-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| dolfin-bin |
Executable scripts for DOLFIN |
1.0.0-4 |
dolfin-bin_1.0.0-4_all.deb |
Offizielles Debian Archiv wheezy (main) |
| dolfin-bin |
Executable scripts for DOLFIN |
0.9.8-3 |
dolfin-bin_0.9.8-3_all.deb |
Offizielles Debian Archiv squeeze (main) |
| drgeo |
interactive geometry software |
1.1.0-10 |
drgeo_1.1.0-10_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| drgeo |
An interactive geometry software |
1.1.0-8 |
drgeo_1.1.0-8_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| dynare |
suite for non-linear models with forward looking variables |
4.1.2-2 |
dynare_4.1.2-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| dynare |
platform for handling a wide class of economic models |
4.3.0-2 |
dynare_4.3.0-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| dynare-common |
platform for handling a wide class of economic models |
4.3.0-2 |
dynare-common_4.3.0-2_all.deb |
Offizielles Debian Archiv wheezy (main) |
| dynare-common |
platform independent files for Dynare |
4.1.2-2 |
dynare-common_4.1.2-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| eukleides |
Euclidean geometry drawing language |
1.5.4-1 |
eukleides_1.5.4-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| eukleides |
Euclidean geometry drawing language |
1.5.4-2 |
eukleides_1.5.4-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| euler |
interactive mathematical programming environment |
1.61.0-8 |
euler_1.61.0-8_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| euler |
interactive mathematical programming environment |
1.61.0-8.1 |
euler_1.61.0-8.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| evolver |
Surface Evolver |
2.30c.dfsg-3 |
evolver_2.30c.dfsg-3_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| evolver |
Surface Evolver |
2.30c-2 |
evolver_2.30c-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| extcalc |
multifunctional scientific graphic calculator |
0.9.2-1 |
extcalc_0.9.2-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| fenics |
automation of computational mathematical modeling |
1:1.0.0-1 |
fenics_1.0.0-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| formed |
formula editor for first-order logic formulae |
3.3f-1.1 |
formed_3.3f-1.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| formed |
formula editor for first-order logic formulae |
3.3f-1 |
formed_3.3f-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| freefem |
PDE oriented language using Finite Element Method |
3.5.8-5 |
freefem_3.5.8-5_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| freefem |
A PDE oriented language using Finite Element Method |
3.5.8-4.2 |
freefem_3.5.8-4.2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| freefem++ |
Provides the binaries of the FreeFem++ FE suite |
3.19.1-1 |
freefem++_3.19.1-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| freefem-examples |
Example files for FreeFEM |
3.5.8-5 |
freefem-examples_3.5.8-5_all.deb |
Offizielles Debian Archiv wheezy (main) |
| freefem-examples |
Example files for FreeFEM |
3.5.8-4.2 |
freefem-examples_3.5.8-4.2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| freefem3d |
Language and solver for partial differential equations in 3D |
1.0pre10-3.1 |
freefem3d_1.0pre10-3.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| freefem3d |
A language and solver for partial differential equations in 3D |
1.0pre10-2.1 |
freefem3d_1.0pre10-2.1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| freemat |
mathematics framework (mostly matlab compatible) |
4.0-5 |
freemat_4.0-5_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| freemat |
mathematics framework (mostly matlab compatible) |
4.0-3 |
freemat_4.0-3_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| freemat-data |
freemat data files |
4.0-3 |
freemat-data_4.0-3_all.deb |
Offizielles Debian Archiv squeeze (main) |
| freemat-data |
freemat data files |
4.0-5 |
freemat-data_4.0-5_all.deb |
Offizielles Debian Archiv wheezy (main) |
| freemat-help |
freemat help files |
4.0-3 |
freemat-help_4.0-3_all.deb |
Offizielles Debian Archiv squeeze (main) |
| freemat-help |
freemat help files |
4.0-5 |
freemat-help_4.0-5_all.deb |
Offizielles Debian Archiv wheezy (main) |
| galculator |
A GTK+ 2.0 based calculator |
1.3.4-1 |
galculator_1.3.4-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| galculator |
A GTK+ 2.0 based calculator |
1.3.4-1 |
galculator_1.3.4-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gambit |
game theory software and tools |
0.2010.09.01-1.1 |
gambit_0.2010.09.01-1.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gambit |
Game theory analysis software and tools |
0.2006.01.20-3 |
gambit_0.2006.01.20-3_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gap |
Groups, Algorithms and Programming computer algebra system |
4r4p12-2 |
gap_4r4p12-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap |
Groups, Algorithms and Programming computer algebra system |
4r4p12-2 |
gap_4r4p12-2_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-character-tables |
GAP Library of character tables |
1r1p3-5 |
gap-character-tables_1r1p3-5_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-character-tables |
GAP Library of character tables |
1r1p3-5 |
gap-character-tables_1r1p3-5_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-core |
GAP computer algebra system, core components |
4r4p12-2 |
gap-core_4r4p12-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-core |
GAP computer algebra system, core components |
4r4p12-2 |
gap-core_4r4p12-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-guava |
Coding theory library for GAP |
3.6-2 |
gap-guava_3.6-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-guava |
Coding theory library for GAP |
3.6-2 |
gap-guava_3.6-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-libs |
GAP computer algebra system, essential GAP libraries |
4r4p12-2 |
gap-libs_4r4p12-2_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-libs |
GAP computer algebra system, essential GAP libraries |
4r4p12-2 |
gap-libs_4r4p12-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-online-help |
GAP computer algebra system, online help |
4r4p12-2 |
gap-online-help_4r4p12-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-online-help |
GAP computer algebra system, online help |
4r4p12-2 |
gap-online-help_4r4p12-2_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-prim-groups |
Database of primitive groups for GAP |
4r4p10-1 |
gap-prim-groups_4r4p10-1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-prim-groups |
Database of primitive groups for GAP |
4r4p10-1 |
gap-prim-groups_4r4p10-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-small-groups |
Database of small groups for GAP |
4r4p10-1 |
gap-small-groups_4r4p10-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-small-groups |
Database of small groups for GAP |
4r4p10-1 |
gap-small-groups_4r4p10-1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-small-groups-extra |
Large database of small groups for GAP |
4r4p10-1 |
gap-small-groups-extra_4r4p10-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-small-groups-extra |
Large database of small groups for GAP |
4r4p10-1 |
gap-small-groups-extra_4r4p10-1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-table-of-marks |
GAP table of marks library |
1r1p4-1 |
gap-table-of-marks_1r1p4-1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-table-of-marks |
GAP table of marks library |
1r1p4-1 |
gap-table-of-marks_1r1p4-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gap-trans-groups |
Database of transitive groups for GAP |
4r4p10-1 |
gap-trans-groups_4r4p10-1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gap-trans-groups |
Database of transitive groups for GAP |
4r4p10-1 |
gap-trans-groups_4r4p10-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gbase |
small numeric base converter |
0.5-2.2 |
gbase_0.5-2.2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gbase |
small numeric base converter |
0.5-2.2 |
gbase_0.5-2.2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gcalctool |
GNOME desktop calculator |
5.30.2-2 |
gcalctool_5.30.2-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gcalctool |
GNOME desktop calculator |
6.4.2.1-2 |
gcalctool_6.4.2.1-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gcalctool |
GNOME desktop calculator |
5.30.0.is.5.28.2-0ubuntu2 |
gcalctool_5.30.0.is.5.28.2-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv lucid (main) |
| gcalctool |
GNOME desktop calculator |
6.2.0-0ubuntu1 |
gcalctool_6.2.0-0ubuntu1_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| gcalctool |
GNOME desktop calculator |
6.4.1.1-0ubuntu2 |
gcalctool_6.4.1.1-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| gcalctool |
GNOME desktop calculator |
6.5.90.1-0ubuntu1 |
gcalctool_6.5.90.1-0ubuntu1_i386.deb |
Offizielles Ubuntu Archiv quantal (main) |
| genus2reduction |
Conductor and Reduction Types for Genus 2 Curves |
0.3-2 |
genus2reduction_0.3-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| genus2reduction |
Conductor and Reduction Types for Genus 2 Curves |
0.3-2.2 |
genus2reduction_0.3-2.2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| geomview |
interactive geometry viewing program |
1.9.4-2 |
geomview_1.9.4-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| geomview |
interactive geometry viewing program |
1.9.4-3 |
geomview_1.9.4-3_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gfan |
Program for computing with Groebner fans |
0.3dfsg-1.1 |
gfan_0.3dfsg-1.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gfan |
Program for computing with Groebner fans |
0.3dfsg-1 |
gfan_0.3dfsg-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gfm |
Texas Instruments hand-helds file manipulation program for X |
1.03-2 |
gfm_1.03-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gfm |
Texas Instruments hand-helds file manipulation program for X |
1.03-2 |
gfm_1.03-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| ggobi |
Data visualization system for high-dimensional data |
2.1.9~20091212-3 |
ggobi_2.1.9~20091212-3_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| ggobi |
Data visualization system for high-dimensional data |
2.1.10-4 |
ggobi_2.1.10-4_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| ginac-tools |
GiNaC symbolic framework support tools |
1.6.2-1 |
ginac-tools_1.6.2-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| ginac-tools |
Some tools for the GiNaC symbolic framework |
1.5.8-1 |
ginac-tools_1.5.8-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| glpk |
linear programming kit |
4.43-1 |
glpk_4.43-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| glpk |
linear programming kit |
4.45-1 |
glpk_4.45-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| glpk-utils |
linear programming kit - utility files |
4.43-1 |
glpk-utils_4.43-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| glpk-utils |
linear programming kit - utility files |
4.45-1 |
glpk-utils_4.45-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gmp-ecm |
Factor integers using the Elliptic Curve Method |
6.4.2-1 |
gmp-ecm_6.4.2-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gmp-ecm |
Factor integers using the Elliptic Curve Method |
6.3-4 |
gmp-ecm_6.3-4_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gmsh |
three-dimensional finite element mesh generator |
2.4.2.dfsg-5 |
gmsh_2.4.2.dfsg-5_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gnumeric |
spreadsheet application for GNOME - main program |
1.10.17-1.1 |
gnumeric_1.10.17-1.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gnumeric |
spreadsheet application for GNOME - main program |
1.10.8-1squeeze5 |
gnumeric_1.10.8-1squeeze5_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gnumeric-common |
spreadsheet application for GNOME - common files |
1.10.17-1.1 |
gnumeric-common_1.10.17-1.1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gnumeric-common |
spreadsheet application for GNOME - common files |
1.10.8-1squeeze5 |
gnumeric-common_1.10.8-1squeeze5_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gnumeric-plugins-extra |
spreadsheet application for GNOME - additional plugins |
1.10.17-1.1 |
gnumeric-plugins-extra_1.10.17-1.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gnumeric-plugins-extra |
spreadsheet application for GNOME - additional plugins |
1.10.8-1squeeze5 |
gnumeric-plugins-extra_1.10.8-1squeeze5_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gnuplot |
Command-line driven interactive plotting program |
4.6.0-8 |
gnuplot_4.6.0-8_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gnuplot |
A command-line driven interactive plotting program |
4.4.0-1.1 |
gnuplot_4.4.0-1.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gnuplot-mode |
Yet another Gnuplot mode for Emacs |
1:0.6.0-8 |
gnuplot-mode_0.6.0-8_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gnuplot-mode |
Yet another Gnuplot mode for Emacs |
1:0.6.0-5 |
gnuplot-mode_0.6.0-5_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gnuplot-nox |
A command-line driven interactive plotting program |
4.4.0-1.1+b1 |
gnuplot-nox_4.4.0-1.1+b1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gnuplot-nox |
Command-line driven interactive plotting program. No-X package |
4.6.0-8 |
gnuplot-nox_4.6.0-8_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gnuplot-qt |
Command-line driven interactive plotting program. QT-package |
4.6.0-8 |
gnuplot-qt_4.6.0-8_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gnuplot-x11 |
Command-line driven interactive plotting program. X-package |
4.6.0-8 |
gnuplot-x11_4.6.0-8_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gnuplot-x11 |
A command-line driven interactive plotting program |
4.4.0-1.1+b1 |
gnuplot-x11_4.4.0-1.1+b1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| grace |
An XY plotting tool |
1:5.1.22-8 |
grace_5.1.22-8_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| grace |
XY graphing and plotting tool |
1:5.1.22-13 |
grace_5.1.22-13_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| graphmonkey |
a GTK#-based graphing calculator |
1.7-2 |
graphmonkey_1.7-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| graphmonkey |
a GTK#-based graphing calculator |
1.7-3 |
graphmonkey_1.7-3_all.deb |
Offizielles Debian Archiv wheezy (main) |
| graphthing |
tool to create, manipulate and study graphs |
1.3.2-3 |
graphthing_1.3.2-3_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| graphthing |
tool to create, manipulate and study graphs |
1.3.2-3.1 |
graphthing_1.3.2-3.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gretl |
The GNU Regression, Econometric & Time-Series Library |
1.9.1-2 |
gretl_1.9.1-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gretl |
GNU Regression, Econometric & Time-Series Library |
1.9.9-1 |
gretl_1.9.9-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gretl-common |
The GNU Regression, Econometric & Time-Series Library -- scripts package |
1.9.1-2 |
gretl-common_1.9.1-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| gretl-common |
GNU Regression, Econometric & Time-Series Library -- scripts package |
1.9.9-1 |
gretl-common_1.9.9-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gretl-data |
GNU Regression, Econometric & Time-Series Library -- data package |
1.9.9-1 |
gretl-data_1.9.9-1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| gretl-data |
The GNU Regression, Econometric & Time-Series Library -- data package |
1.9.1-2 |
gretl-data_1.9.1-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| grpn |
GTK+ reverse polish notation calculator |
1.1.2-3 |
grpn_1.1.2-3_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| grpn |
GTK+ reverse polish notation calculator |
1.1.2-3.1 |
grpn_1.1.2-3.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| gsl-bin |
GNU Scientific Library (GSL) -- binary package |
1.14+dfsg-1 |
gsl-bin_1.14+dfsg-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| gsl-bin |
GNU Scientific Library (GSL) -- binary package |
1.15+dfsg-1 |
gsl-bin_1.15+dfsg-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| hol-light |
HOL Light theorem prover |
20120602-1 |
hol-light_20120602-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88 |
Higher Order Logic, system image |
2.02.19940316-13.1 |
hol88_2.02.19940316-13.1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88 |
Higher Order Logic, system image |
2.02.19940316-15 |
hol88_2.02.19940316-15_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-contrib-help |
Higher Order Logic, user contributed online help files |
2.02.19940316-15 |
hol88-contrib-help_2.02.19940316-15_all.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-contrib-help |
Higher Order Logic, user contributed online help files |
2.02.19940316-13.1 |
hol88-contrib-help_2.02.19940316-13.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-contrib-source |
Higher Order Logic, user contributed source |
2.02.19940316-13.1 |
hol88-contrib-source_2.02.19940316-13.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-contrib-source |
Higher Order Logic, user contributed source |
2.02.19940316-15 |
hol88-contrib-source_2.02.19940316-15_all.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-help |
Higher Order Logic, online help files |
2.02.19940316-15 |
hol88-help_2.02.19940316-15_all.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-help |
Higher Order Logic, online help files |
2.02.19940316-13.1 |
hol88-help_2.02.19940316-13.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-library |
Higher Order Logic, binary library modules |
2.02.19940316-13.1 |
hol88-library_2.02.19940316-13.1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-library |
Higher Order Logic, binary library modules |
2.02.19940316-15 |
hol88-library_2.02.19940316-15_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-library-help |
Higher Order Logic, library online help files |
2.02.19940316-15 |
hol88-library-help_2.02.19940316-15_all.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-library-help |
Higher Order Logic, library online help files |
2.02.19940316-13.1 |
hol88-library-help_2.02.19940316-13.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-library-source |
Higher Order Logic, library source files |
2.02.19940316-13.1 |
hol88-library-source_2.02.19940316-13.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-library-source |
Higher Order Logic, library source files |
2.02.19940316-15 |
hol88-library-source_2.02.19940316-15_all.deb |
Offizielles Debian Archiv wheezy (main) |
| hol88-source |
Higher Order Logic, source files |
2.02.19940316-13.1 |
hol88-source_2.02.19940316-13.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| hol88-source |
Higher Order Logic, source files |
2.02.19940316-15 |
hol88-source_2.02.19940316-15_all.deb |
Offizielles Debian Archiv wheezy (main) |
| hyantesite |
geomatic tool to compute neighbourhood population potential |
1.3.0-1 |
hyantesite_1.3.0-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| hyantesite |
geomatic tool to compute neighbourhood population potential |
1.2.1-1 |
hyantesite_1.2.1-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| jacal |
Interactive symbolic math system |
1b9-2.1 |
jacal_1b9-2.1_all.deb |
Offizielles Debian Archiv squeeze (main) |
| jacal |
Interactive symbolic math system |
1b9-2.1 |
jacal_1b9-2.1_all.deb |
Offizielles Debian Archiv wheezy (main) |
| jags |
Just Another Gibbs Sampler for Bayesian MCMC simulation |
3.2.0-1 |
jags_3.2.0-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| jags |
Just Another Gibbs Sampler for Bayesian MCMC simulation |
2.0.0-1 |
jags_2.0.0-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| jfractionlab |
Educative program to practice fractions |
0.84-2 |
jfractionlab_0.84-2_all.deb |
Offizielles Debian Archiv squeeze (main) |
| jfractionlab |
Educative program to practice fractions |
0.91-2 |
jfractionlab_0.91-2_all.deb |
Offizielles Debian Archiv wheezy (main) |
| jgraph |
Jim Plank's program for producing PostScript graphs |
83-22 |
jgraph_83-22_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| jgraph |
Jim Plank's program for producing PostScript graphs |
83-22 |
jgraph_83-22_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kalgebra |
algebraic graphing calculator |
4:4.8.4-1 |
kalgebra_4.8.4-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kalgebra |
algebraic graphing calculator for KDE |
4:4.4.5-2 |
kalgebra_4.4.5-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| kalgebra-common |
contains files common for kalgebra and kalgebramobile |
4:4.8.4-1 |
kalgebra-common_4.8.4-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kalgebra-common |
contains files common for kalgebra and kalgebramobile |
4:4.8.2-0ubuntu1 |
kalgebra-common_4.8.2-0ubuntu1_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| kalgebra-common |
contains files common for kalgebra and kalgebra-mobile |
4:4.7.1-0ubuntu2 |
kalgebra-common_4.7.1-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| kalgebramobile |
algebraic graphing calculator for small touch based interfaces |
4:4.8.4-1 |
kalgebramobile_4.8.4-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kali |
Draw tilings, frieze patterns, and so on |
3.1-11 |
kali_3.1-11_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| kali |
Draw tilings, frieze patterns, and so on |
3.1-11 |
kali_3.1-11_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kbruch |
fraction learning aid for KDE 4 |
4:4.4.2-0ubuntu2 |
kbruch_4.4.2-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv lucid (main) |
| kbruch |
fraction learning aid for KDE |
4:4.7.1-0ubuntu2 |
kbruch_4.7.1-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| kbruch |
fraction learning aid for KDE |
4:4.8.4-1 |
kbruch_4.8.4-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kbruch |
fraction learning aid for KDE |
4:4.8.2-0ubuntu1 |
kbruch_4.8.2-0ubuntu1_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| kbruch |
fraction learning aid for KDE |
4:4.4.5-2 |
kbruch_4.4.5-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| kcalc |
simple and scientific calculator |
4:4.8.4-2 |
kcalc_4.8.4-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kcalc |
simple and scientific calculator |
4:4.4.5-1+squeeze1 |
kcalc_4.4.5-1+squeeze1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| kig |
interactive geometry tool for KDE |
4:4.8.4-1 |
kig_4.8.4-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kig |
interactive geometry tool for KDE |
4:4.7.1-0ubuntu2 |
kig_4.7.1-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| kig |
interactive geometry tool for KDE |
4:4.4.5-2 |
kig_4.4.5-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| kig |
interactive geometry tool for KDE |
4:4.8.2-0ubuntu1 |
kig_4.8.2-0ubuntu1_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| kig |
interactive geometry tool for KDE 4 |
4:4.4.2-0ubuntu2 |
kig_4.4.2-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv lucid (main) |
| kmplot |
mathematical function plotter for KDE |
4:4.4.5-2 |
kmplot_4.4.5-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| kmplot |
mathematical function plotter for KDE |
4:4.7.1-0ubuntu2 |
kmplot_4.7.1-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| kmplot |
mathematical function plotter for KDE |
4:4.8.2-0ubuntu1 |
kmplot_4.8.2-0ubuntu1_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| kmplot |
mathematical function plotter for KDE |
4:4.8.4-2 |
kmplot_4.8.4-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| kmplot |
mathematical function plotter for KDE 4 |
4:4.4.2-0ubuntu2 |
kmplot_4.4.2-0ubuntu2_i386.deb |
Offizielles Ubuntu Archiv lucid (main) |
| kseg |
Sketchpad for planar Euclidean geometry |
0.4.0.3-3 |
kseg_0.4.0.3-3_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| ladr4-apps |
the LADR deduction library, miscellaneous applications |
0.0.200902a-2 |
ladr4-apps_0.0.200902a-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| ladr4-apps |
the LADR deduction library, miscellaneous applications |
0.0.200902a-2.1 |
ladr4-apps_0.0.200902a-2.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| lbt |
converts from LTL formulas to Büchi automata |
1.2.2-4 |
lbt_1.2.2-4_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| lcalc |
a program for calculating with L-functions |
0.0.20080205-1.2 |
lcalc_0.0.20080205-1.2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| lcalc |
a program for calculating with L-functions |
0.0.20080205-1+b1 |
lcalc_0.0.20080205-1+b1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| libaac-tactics-coq |
Coq tactics for reasoning modulo AC (theories) |
0.2.pl2-7 |
libaac-tactics-coq_0.2.pl2-7_all.deb |
Offizielles Debian Archiv wheezy (main) |
| libcdd-test |
Test programs for libcdd-dev |
094b.dfsg-4 |
libcdd-test_094b.dfsg-4_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| libcdd-test |
Test programs for libcdd-dev |
094b.dfsg-4.2 |
libcdd-test_094b.dfsg-4.2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| libcuba3 |
library for multidimensional numerical integration |
3.0+20111124-2 |
libcuba3_3.0+20111124-2_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| libfloat-coq |
Coq library on floating-point arithmetic |
1:8.3pl1-4 |
libfloat-coq_8.3pl1-4_all.deb |
Offizielles Debian Archiv wheezy (main) |
| libfloat-coq |
Coq library on floating-point arithmetic |
1:8.2-1.2-5 |
libfloat-coq_8.2-1.2-5_all.deb |
Offizielles Debian Archiv squeeze (main) |
| libfreefem0 |
Shared libraries for FreeFEM |
3.5.8-5 |
libfreefem0_3.5.8-5_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| libfreefem0 |
Shared libraries for FreeFEM |
3.5.8-4.2 |
libfreefem0_3.5.8-4.2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| libgeomview-dev |
geomview library development package |
1.9.4-2 |
libgeomview-dev_1.9.4-2_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| libgeomview-dev |
geomview library development package |
1.9.4-3 |
libgeomview-dev_1.9.4-3_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| libglpk0 |
linear programming kit with integer (MIP) support |
4.45-1 |
libglpk0_4.45-1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| libglpk0 |
linear programming kit with integer (MIP) support |
4.43-1 |
libglpk0_4.43-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| libgsl0ldbl |
GNU Scientific Library (GSL) -- library package |
1.15+dfsg-1build1 |
libgsl0ldbl_1.15+dfsg-1build1_i386.deb |
Offizielles Ubuntu Archiv quantal (main) |
| libgsl0ldbl |
GNU Scientific Library (GSL) -- library package |
1.15+dfsg-1 |
libgsl0ldbl_1.15+dfsg-1_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |
| libgsl0ldbl |
GNU Scientific Library (GSL) -- library package |
1.13+dfsg-1 |
libgsl0ldbl_1.13+dfsg-1_i386.deb |
Offizielles Ubuntu Archiv lucid (main) |
| libgsl0ldbl |
GNU Scientific Library (GSL) -- library package |
1.15+dfsg-1build1 |
libgsl0ldbl_1.15+dfsg-1build1_i386.deb |
Offizielles Ubuntu Archiv precise (main) |
| libgts-bin |
utility binaries for libgts |
0.7.6+darcs100321-1 |
libgts-bin_0.7.6+darcs100321-1_i386.deb |
Offizielles Debian Archiv squeeze (main) |
| libgts-bin |
utility binaries for libgts |
0.7.6+darcs110121-1.1 |
libgts-bin_0.7.6+darcs110121-1.1_i386.deb |
Offizielles Debian Archiv wheezy (main) |
| liblpsolve55-dev |
Solve (mixed integer) linear programming problems - library |
5.5.0.13-7 |
liblpsolve55-dev_5.5.0.13-7_i386.deb |
Offizielles Ubuntu Archiv oneiric (main) |