Calculus

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...

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...

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

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

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

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

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

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

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

Mathomatic™ is a portable, command-line computer algebra system (CAS) written entirely in the C programming language. It is free and open source software (FOSS), published under the GNU Lesser General Public License (LGPL version 2.1). The software can automatically solve, differentiate,...


Platforms: Linux

MagicCalc is a full functions 2D/3D Graphic Calculator. It's composed by: - Console window for input/output, and calculus operations. - 2D graphic window for 2D functions and 2D parametric functions - 3D graphic window for 3D functions and 3D parametric functions - Full bitmap fonts based text...


Platforms: Windows

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...


Platforms: Windows

Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation.


Platforms: Windows, Mac, Linux

This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.


Platforms: Windows, Mac, Linux

LAUNCH SALE! FOR ONE WEEK ONLY SAVE OVER 60%! MathStudio, formerly SpaceTime, is the most comprehensive math app available for iPhone, iPad and Mac. Whether you need a simple calculator to do your finances or a replacement for your TI graphing calculator, MathStudio is the most powerful and...


Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

PTC Mathcad Express is free-for-life engineering math software. You get unlimited use of the most popular capabilities in PTC Mathcad - the most powerful technical calculation software available. Easily solve, document, share and reuse vital calculations. If you download and choose the trial...


Platforms: Windows, Windows 8, Windows 7, Windows Server

GNU Nana is a free library providing improved support for assertion checking (as in assert.h) and logging (printf style debugging) in GNU C and C . Features: - Space/time efficient, at least compared to assert.h. For example assert(i >= 0) uses 53 bytes on the x86, while Nana uses either 10 bytes...


Platforms: *nix, C/C++, BSD

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.The implementation is based on the data structure binary decision diagram (BDD), which is well-known as...


Platforms: C and C plus plus

smib is a mosaic of FORTH and LISP, C Sauce and an experimental programming language close to mathematical language. In this version : law of large numbers, central limit theorem, hyperbolic trigonometry, warnings are cleaned . Features . Number theory : infinite size integers, arithmetic...


Platforms: *nix