Mathematical Induction Proofs

The Euler Mathematical Toolbox is a software written and maintained by R. Grothmann, associate professor of mathematics at the University of Eichstatt. Euler can also produce graphics and save the graphics in various formats, among them PNG and SVG. Graphics can also be imported into the text... Platforms: Windows

MathPlayer enables Microsoft Internet Explorer to display mathematical notation in web pages. MathPlayer is based on MathML technology and requires Internet Explorer for Windows version 6.0 and later. We make MathPlayer available for free in order to foster the adoption of MathML in the math,... Platforms: Windows

Users can enter arbitrary mathematical expressions in their drupal content by using the standard TeX syntax, including LaTeX and AMSLaTeX. jsMath renders this on the client's browser when the page gets displayed.Because the TeX is rendered on the user's browser, this module does not require the... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

This code provides you a pluggable library for fast computation of mathematical expressions in C programs with x86 JIT compiler. Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

LaTeX is a format used to write and display mathematical equations.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 2.1 up to 2.2 Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Class provides simple mathematical operations with integers of any size.Integers are processed as strings using old-style schoolbook math. Platforms: Mac

Console parser and calculator of mathematical expressions. Platforms: Mac

JGraphSketch is an Open Source cross-platform mathematical function plotter written in Java. You can plot Cartesian, Polar and Parametric equations with it. Here is a screen shot. You can zoom the graph, save it in a PNG file and customize each and every plot settings. The software is very... Platforms: Mac

JEDI Math is a free mathematical library developed under the MPL for Delphi, Kylix, FPC and Lazarus. The library provides routines for matrices/vectors, regression, geometry, physics, equation rendering and raytracing among others. Platforms: *nix

Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions. Platforms: *nix

swIMP (SWIG-based Interfaces for Mathematical Programming) aims at making solvers written in C or C++ available for other languages. The current focus is on Java as target language and on LP/IP-solvers which are compatible to the Open Solver Interface (OSI) from the Coin-OR-project. This includes... Platforms: *nix

Ro3n is a simple Qt application designed to solve mathematical equations - linear as well as quadratic. Platforms: *nix

EqualX is an interactive equation editor that helps you create mathematical notation for word processing, web pages, desktop publishing, presentations, elearning in LaTeX. EqualX gives you the power and beauty of TeX/LaTeX for writing equations in a simple to use editor. If you want to write an... Platforms: *nix

A computer together with educational software gives the chance to raise the efficiency of learning and makes the deductive process more attractive. 2+2 is a program aimed to help children's education in the area of basic mathematical skills. Thanks to the program, the child learns how to count,... Platforms: Windows

Imagelys Picture Styles application is a way of creating an unlimited number of beautiful graphic images in a minimal amount of time. You can create seamless backgrounds for your desktop or your web design, original wallpapers, textures for 3D modelling, skins for your favorite programs, and much... Platforms: Windows

KS-Calculator is a powerful, easy-to-use, flexible calculator, which supports operations with numbers in Binary, Octal, Decimal and Hexadecimal formats, operates with expressions and mathematical functions, like: Sin, Cos, Tan, ArcTan, Exp, Ln, Log, etc. KS-Calculator also offers built-in... Platforms: Windows

This program is for drawing graphs of mathematical functions in a coordinate system. Graphs may be added with different color and line styles. The program supports standard, parameter and polar functions. It is possible to evaluate a function at an entered point or tracing the function with the... Platforms: Windows

Powerful interactive mathematical expressions editor. It uses visual editing and allows creating mathematical equations through simple point-and-click techniques. Formulator is the intelligent software, aware of presentation or semantics face of mathematics. Advanced editing features are... Platforms: Windows

Effective indefinite-integrals training using problems selected with resolution stepwise of graphical form and with mathematical form. The resolution of indefinite-integrals is a primordial factor in any student. The main problems that are presented are not understanding the professors... Platforms: Windows

A mathematical puzzle where equations are all mixed up. One solution per puzzle. Find the correct equations to solve the puzzle. Equations run in various formats like boxes, crosses, diagonals, mazes. Equations go in all directions - follow the arrows. Limit the highest numbers and optionally get... Platforms: Windows