Infinitesimal Calculus Leibniz
JOLIE is an interpreter for a new high level programming language, designed for SOAs (Service Oriented Architecture) orchestration (as, for example, WSBPEL by OASIS). The whole program is written entirely in Java to ensure cross-platform capabilities, following strictly an object-oriented...
Platforms: *nix
License: Freeware | Size: 235.52 KB | Download (96): JOLIE Download |
Math::Symbolic is a Perl module for symbolic calculations. SYNOPSIS use Math::Symbolic; my $tree = Math::Symbolic->parse_from_string(1/2 * m * v^2); # Now do symbolic calculations with $tree. # ... like deriving it... my ($sub) = Math::Symbolic::Compiler->compile_to_sub($tree); my...
Platforms: *nix
License: Freeware | Size: 102.4 KB | Download (102): Math::Symbolic Download |
Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction. Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural...
Platforms: *nix
License: Freeware | Size: 368.64 KB | Download (104): Domino on Acid Download |
Ghost Diagrams is a project that takes sets of tiles and tries to find patterns into which they may be formed. The patterns it finds when given randomly chosen tiles are often surprising. It turns out that tiling patterns are a form of computation of equal power to Turing machines, lambda...
Platforms: *nix
License: Freeware | Size: 33.79 KB | Download (106): Ghost Diagrams Download |
RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...
Platforms: *nix
License: Freeware | Size: 225.28 KB | Download (93): RMoX Download |
Boost.Join is an asynchronous, message based C++ concurrency library based on join calculus. It is applicable both to multi-threaded applications and to the orchestration of asynchronous, event-based applications. The project follows Comegas design and implementation and builds with Boost...
Platforms: *nix
License: Freeware | Size: 58.37 KB | Download (99): Boost.Join Download |
NashelskyBoylestad is a transistor configuration tool. It allows you to perform some of the calculus made for certain type of transistor configurations, like IB, AV, Ai, Zi, Zo, etc.
Platforms: Mac
License: Freeware | Size: 56 KB | Download (121): NashelskyBoylestad Download |
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
Platforms: Mac
License: Freeware | Size: 11.2 MB | Download (92): Coq Download |
LiveMath Vector Calculus Widget is a Dashboard widget that provides LiveMath notebooks for interactive computations of various topics in multivariable calculus, including Graphing in 3D, Tangent Plane, Partial Derivatives, Power Series, Taylor Series, Level Curves, Conic Sections, Multiple...
Platforms: Mac
License: Freeware | Download (148): LiveMath Maker Download |
iMathGeo is a software I began to develop 10 years ago when I was a student in math. At the beginning, it was only to simplify my teachers' lives in maths. The first target was to have the best solution to write the faster as possible mathematic text. I develop this software in multiple...
Platforms: Mac
License: Shareware | Cost: $0.00 USD | Download (104): iMathGeo Download |
Visual Math academic edition. Visual Math product family 12 in 1 bundle special. Help school, college, university teachers, students to teach or study mathematics, including algebra, geometry, calculus, statistics, complex variable function, fractal, curve fitting, probability analysis,...
Platforms: Windows, Windows 7, Windows Server
License: Demo | Cost: $1800.00 USD | Size: 25.27 MB | Download (1260): Visual Math Academic Edition Download |
Which estimator is best for your job? Helps Find best Spectral Estimation Method for a Power Spectral Density plot. A menu of 10+ spectral estimators from Steve Kay's textbook 'Modern Spectral Estimation' 1988 is available to choose from. The results differ dramatically from one estimator to...
Platforms: Windows, Windows 8, Windows 7, Windows Server
License: Freeware | Size: 3.18 MB | Download (226): SpectrumSolvers Download |
It is one of the most powerful math tools there is. It gathers between the simplicity and ease of use of a simple calculator and the ability to solve complex math procedures.
Here is a brief description of the exciting capabilities of mathwizard:
1. Matrices :
>For real and complex...
Platforms: Windows, Windows 7, Windows Server
License: Shareware | Cost: $9.99 USD | Size: 539.06 KB | Download (122): Mathwizard Download |
GEUP 3D is an interactive solid geometry software for math calculation and visualization. It allows to create dynamic and general constructions/applications visually by defining math elements. GEUP 3D allows the modification of the construction visually (directly in screen) and it calculates each...
Platforms: Windows
License: Freeware | Download (474): GEUP 3D Download |
JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules.
The language combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification...
Platforms: Windows
License: Freeware | Download (47): JML Download |
Buildbug kids math online game. Offers free math lessons and homework help, with an emphasis on geometry, algebra, statistics, and calculus. Also provides calculators and games. Due to heavy traffic this site has been experiencing some delays. The Math Forum's Internet Math Library is a...
Platforms: All
License: Freeware | Size: 30.72 KB | Download (56): Buildbug math for kids Download |
Need a tad of help with an equation? Do you think you could use an application which offers easy access to formulas and to a unit converter? Then Microsoft might have the right answer for you. Microsoft Mathematics 4.0 is now available as a free download from the Redmond company. The tool is...
Platforms: Windows
License: Freeware | Size: 18.9 MB | Download (44): Microsoft Mathematics 64bit Download |
A scientific calculator provides calculations within a limit of 1 to 240 significant digits. Formulas are written in natural notation and are built of operators, constants and variables, and are limited to a length of 250 characters. The number of arguments is limited to 73. The syntax of the...
Platforms: Windows
License: Demo | Cost: $24.00 USD | Size: 488 KB | Download (50): jExacter 1U Download |
Solves Heat Transfer BVP, IVP, IP problems. Source code + Output files are included. Calculus (level) Programming makes solving partial differential equations, ordinary differential equations and algebraic equations simple. You state the equations, initial conditions, & parameter values and leave...
Platforms: Windows
License: Freeware | Size: 2.69 MB | Download (56): Heat Transfer Download |
Due to participation from research centre CERENA in the international desertwatch project (homepage software needed to be made to handle the extensive databases necessary to this project successfull completion.
ECMWF Parser was one such case and by now the most compreheensive tool built for...
Platforms: Windows
License: Freeware | Size: 10.1 MB | Download (49): ECMWF Parser Download |