|
|
|
|
Mathematics |
323 program(s) |
|
LATEST DOWNLOADS IN THIS CATEGORY: |
|
| Pages: << 1 ... 4 5 6 7 8 9 10 11 >> |
Sorting: Last update   | Downloads  | Rating |
NEW
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
BSD License
Fair (2.3/5)
701
Mathematics
March 22nd, 2006 GMT |
|
NEW
MathEclipse is a Java Computer Algebra system.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.9/5)
703
Mathematics
May 27th, 2008 GMT |
|
NEW
tvmet is a Vector and Matrix template library uses Meta Templates and Expression Templates to evaluate ...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
LGPL
Poor (1.8/5)
703
Mathematics
June 26th, 2007 GMT |
|
NEW
Paramesh is a package of Fortran 90 subroutines.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.9/5)
704
Mathematics
September 7th, 2007 GMT |
|
update
BoolStuff is a C library that supports a few operations on boolean expression binary trees.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.0/5)
705
Mathematics
March 5th, 14:00 GMT |
|
update
A free software for automated solution of differential equations
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
NOT RATED
724
Mathematics
December 8th, 2011 GMT |
|
NEW
Graph Theorizer is a java application that will help to teach and research Graph Theory.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.6/5)
725
Mathematics
March 20th, 2008 GMT |
|
update
Championship Generator produces a list of all the meetings which must occur between the participants of...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.6/5)
725
Mathematics
January 7th, 2006 GMT |
|
update
ECalc is a calculator plug-in for Eclipse that provides the ability to evaluate mathematical expressions.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
MIT/X Consortium Lic...
Good (3.5/5)
726
Mathematics
June 4th, 2006 GMT |
|
NEW
Octave-FLTK package offers an Octave interface to FLTK library.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.3/5)
727
Mathematics
February 24th, 2008 GMT |
|
NEW
Axiom is a general purpose Computer Algebra system.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.3/5)
728
Mathematics
February 12th, 2008 GMT |
|
update
FuncPlotter is a combined Java application and applet for displaying two-dimensional plots.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.6/5)
734
Mathematics
January 7th, 2008 GMT |
|
update
GGAP is a GTK+ frontend for GAP computer algebra system.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.2/5)
735
Mathematics
September 13th, 2008 GMT |
|
update
Command Line calculator "CLC" is the calculator that can calculate direct at the linux console.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
Freeware
Good (3.4/5)
739
Mathematics
February 16th, 2007 GMT |
|
NEW
rCalc is a scientific calculator for the GNOME desktop environment.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
FDL
Fair (2.4/5)
747
Mathematics
August 3rd, 2005 GMT |
|
NEW
Gnome-Turtle is a turtle and lsys drawing program for GNOME.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.3/5)
758
Mathematics
August 5th, 2005 GMT |
|
update
gnumexp is a graphical math/plotting program
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.6/5)
758
Mathematics
June 16th, 2007 GMT |
|
update
WIMS is a WWW Interactive Mathematics Server.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.0/5)
764
Mathematics
October 18th, 2006 GMT |
|
NEW
OPAL is a high-level interface for low-level physics engines used in games, robotics simulations, and o...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
LGPL
Good (3.2/5)
773
Mathematics
May 19th, 2006 GMT |
|
NEW
Kalculus is a graphical front-end to mathematical related program such as octave, yacas or ruby/gsl.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.0/5)
775
Mathematics
May 25th, 2007 GMT |
|
update
Calcc is a useful command-line calculator (32/64 bit numbers) which supports multiple input and output ...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.0/5)
776
Mathematics
October 30th, 2008 GMT |
|
update
Mantissa is a collection of various mathematical tools aimed towards for simulation.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
BSD License
Good (3.2/5)
778
Mathematics
October 9th, 2007 GMT |
|
update
HartMath is a symbolic mathematics tool.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.1/5)
778
Mathematics
June 6th, 2005 GMT |
|
update
SegyPY includes M-files to read and write SEG-Y files from Python.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.0/5)
795
Mathematics
October 5th, 2005 GMT |
|
update
Calculating Gaussian beams and laser resonators
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
NOT RATED
799
Mathematics
March 5th, 07:43 GMT |
|
NEW
LAPACK is a linear algebra library.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
BSD License
Very Good (4.1/5)
804
Mathematics
August 14th, 2007 GMT |
|
update
A C++ library built on top of the symbolic math library GiNaC.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.7/5)
807
Mathematics
February 9th, 01:31 GMT |
|
update
The Goal of Hilbert II is the creation of a system that enables a working mathematician to put theorems...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Good (3.5/5)
807
Mathematics
February 11th, 17:44 GMT |
|
update
SpeedCrunch is a high precision and powerful calculator.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
808
Mathematics
June 3rd, 2008 GMT |
|
NEW
FeapUI gives a graphical easy-to-use interface to the fem (finite element method) program FEAP.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
LGPL
Fair (2.0/5)
810
Mathematics
February 24th, 2008 GMT |
|
|
| Go to top |
Pages: << 1 ... 4 5 6 7 8 9 10 11 >> |
|
|
Find us on Google+
RSS
