|
|
|
|
Mathematics |
323 program(s) |
|
LATEST DOWNLOADS IN THIS CATEGORY: |
|
| Pages: << 1 2 3 4 5 6 7 ... 11 >> |
Sorting: Last update   | Downloads | Rating  |
NEW
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL).
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
476
Mathematics
August 18th, 2006 GMT |
|
NEW
MagNum is a tool to test numbers for hints to bugs or problems.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
453
Mathematics
September 29th, 2006 GMT |
|
NEW
Funct is a program written in Perl, which allows users to create and customize functions.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
394
Mathematics
February 13th, 2008 GMT |
|
update
deal project is a calculator to compute card-draw probabilities for games such as poker or Magic.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
429
Mathematics
October 19th, 2010 GMT |
|
NEW
rCalc is a scientific calculator for the GNOME desktop environment.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
FDL
Fair (2.4/5)
746
Mathematics
August 3rd, 2005 GMT |
|
update
Lattice point Enumeration is a computer software dedicated to the problems of counting and detecting la...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
492
Mathematics
July 5th, 2007 GMT |
|
update
Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GMGPL
Fair (2.4/5)
597
Mathematics
February 14th, 2012 GMT |
|
update
GNU polyxmass is mass spectrometric software suite for (bio)-polymers.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
556
Mathematics
October 29th, 2007 GMT |
|
update
A graphical reverse polish notation (RPN) calculator
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
875
Mathematics
February 13th, 2012 GMT |
|
NEW
epicstcl tool offers Tcl/Tk support for the EPICS control system along with EPICS aware megawidgets.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
314
Mathematics
December 4th, 2007 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 |
|
update
Allows you to express complex dice rolling schemes in a functional language and then roll dice
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
532
Mathematics
November 26th, 2009 GMT |
|
NEW
Unit Circle project shows the relationship between trigonometric and angles functions like sine and cos...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
1,177
Mathematics
January 9th, 2006 GMT |
|
update
mpmath is a replacement for Python's float/complex types and math/cmath modules with unlimited pre...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
BSD License
Fair (2.5/5)
892
Mathematics
February 3rd, 2011 GMT |
|
NEW
datemath is a console tool that allows you to manipulate dates mathematically.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
481
Mathematics
June 16th, 2008 GMT |
|
NEW
Stacniac is an RPN calculator program.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
Freeware
Fair (2.5/5)
555
Mathematics
May 19th, 2006 GMT |
|
update
A library of game theory software and tools for the construction and analysis of finite extensive and n...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
2,587
Mathematics
October 23rd, 2010 GMT |
|
NEW
Cinderella is a software for doing geometry on the computer, and it is designed to be both mathematical...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
Shareware
Fair (2.5/5)
4,112
Mathematics
June 2nd, 2006 GMT |
|
update
DragMath is a free "drag and drop" equation editor.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
930
Mathematics
February 20th, 2009 GMT |
|
NEW
GNU Superoptimizer is a project that uses an approach to finding the shortest instruction sequence for ...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.5/5)
598
Mathematics
February 28th, 2007 GMT |
|
NEW
Sets as Boxes is a simple tool for visualizing finite sets as cardboard boxes.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.6/5)
394
Mathematics
February 28th, 2008 GMT |
|
update
jscl-meditor is a java symbolic computing library and mathematical editor.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
LGPL
Fair (2.6/5)
686
Mathematics
May 14th, 2008 GMT |
|
NEW
Boomer project is a general purpose modeling and simulation program.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
Freeware
Fair (2.6/5)
601
Mathematics
December 28th, 2005 GMT |
|
update
Clarence is a small programmer's calculator.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.6/5)
972
Mathematics
August 3rd, 2005 GMT |
|
update
Develop scalable algorithms
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
Free for non-commerc...
Fair (2.6/5)
1,224
Mathematics
November 16th, 2011 GMT |
|
update
L2P creates PNG images from LaTeX math expressions.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
Public Domain
Fair (2.6/5)
1,794
Mathematics
October 27th, 2007 GMT |
|
update
GetDP is a general finite element solver using mixed elements to discretize de Rham-type complexes in o...
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.6/5)
983
Mathematics
May 14th, 00:09 GMT |
|
NEW
Lolimot software allows to compute LOLIMOT models.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
LGPL
Fair (2.6/5)
1,664
Mathematics
September 12th, 2007 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 |
|
NEW
Dstar Lite is a C implementation of the D* Lite algorithm as explained in [Koenig, 2002].
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL v3
Fair (2.6/5)
2,165
Mathematics
November 13th, 2007 GMT |
|
|
| Go to top |
Pages: << 1 2 3 4 5 6 7 ... 11 >> |
|
|
Find us on Google+
RSS
