Mathematical Induction Proofs

In the famous puzzle KAKURO (the mathematical puzzle), one of task to solve for the puzzle for unknown numbers is in finding all the possibilities for Given Number and its Spread.It is SubKakuro because it does not solve the Kakuro puzzle

Tabular Expression ToolboxTabular Expressions (also called "tables") provide a precise and concise way to represent mathematical conditional expressions. Tables have been shown to be useful in the documenting and analysing of software systems. The graphical layout of tabular expressions allow for...

SciMath is a free and open source project that includes packages to support mathematical and scientific calculations, beyond the capabilities offered by SciPy.


Platforms: Mac

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

FireMath is a very useful Firefox add-on that enables you to calculate and add into your papers very complex mathematical equations. For examples, FAQ, installation instructions and a discussion board check the: www.firemath.info Speed up scientific scripting! Improve your science!


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

FMI Workbench is a Java program useful in order to manage FMI, functional mathematical index.


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

The RapidEvaluator Delphi component is a real COMPILER of the mathematical expressions (formulas), such as "SIN(0.5)+COS(x)*2". It checks the expression syntax and generates the real machine code for evaluating given formula. The code generated is optimized to use FPU in order to achieve the...

NetMath is a lightweight COM component that provides essential mathematical routines for Internet applications. NetMath provides functions for ASCII, hexadecimal and decimal conversions. Network and host byte ordering functions are also provided. The component has an extensive interface for the...

Interactive geometry software for performing interactive calculations, visualization and modeling in math, science and engineering. The construction concept and the interactive visualization are the basis of the program. Designed to be easy-to-use, it provides a powerful mathematical platform...


Platforms: Windows, Windows 7, Windows Server

you can put a mathematical expression in to the system tray. A click on the tray icon and a dialog appears with the most recent values preset. You update the values and CalcExpress(tm) computes the result.


Platforms: Windows

Leibniz is a mathematical word processor and easy to use front end for the Mathematica computer algebra system. Leibniz allows you to export documents to a variety of formats including HTML, LaTeX, MathML, and Mathematica notebook.


Platforms: Windows

The fractal images drawn to your screen by the ArkoSoft MIRA Screensaver are both beautiful and colourful. The mira mathematical model shows its best qualities right there on your screensaver. Due to its nature, it is highly unlikely that two identical images will ever be drawn on your screen....


Platforms: Windows

soft4science SciWriter 1.0 is a XML based "WYSIWYG style" word processor that completely integrates writing mathematics and text in the same environment. The native document format of soft4science SciWriter is a subset of XHTML 1.1 and MathML 2.0 Presentation Markup. Mathematical templates,...


Platforms: Windows