Mathematical Induction Proofs

NPI is a simple calculator that supports Reverse Polish Notation, devised by Jan Lukasiewicz in the Twenties to allow evaluation of mathematical expressions without brackets. NPI calculator supports completion and command history. In the Twenties, Jan Lukasiewicz developed a system of formal... Platforms: *nix

Formulas Rendering Plug-In for the Gimp 2 is a simple plugin that allows you to change the values of each color channel of each pixel of a layer by using mathematical expressions. It is able to handle RGB* and Gray* images. Available operators are: +, -, *, /, ^, and %. There are many functions... Platforms: *nix

libease is a shared library containing easing algorithms that can be used for graphical effects or mathematical calculations. libeases main goal of is to try and create a centralised library for easing effects within the window manager environment. Installation: Beginners: This is... Platforms: *nix

Regress+ is a user-friendly, state-of-the-art tool for mathematical modeling. It will optimize almost any univariate deterministic model (equation) as well as stochastic models (distributions) having at most five parameters. It offers features and functionality unmatched by any other available... Platforms: Mac

DiceCalc is a dice game that is geared toward people who need to quickly roll a lots of different combinations of dice and do mathematical things to them. And it's as easy to use as a calculator. Platforms: Mac

Order Of Operations provides practice for students in grades five through nine, to figure out mathematical "order of operations" problems.. Five different levels allow you to tailor the drill to the ability of the student. The font is large and easy to read; and the layout is simple. Platforms: Mac

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

Free Scripting Addition to provide advanced mathematical commands. Includes:linear algebra (eigenvalues, linear systems solving, etc.)signal processing (1d, 2d, and n-d FFT, cross- and self-correlations, convolution, interpolation)image processing (import/export, particle analysis)3D arrays... Platforms: Mac

Basically an equation editor, however not focused over one single equation, but you can write your mathematical artwork over several pages. You can easily move and copy your equations and expressions by mouse touch. Illustrate your equations using hand-drawing tools. Use symbolic calculator and... Platforms: Windows

EsbDecimals is a free subset of the forthcoming ESBPCS for .NET - it includes Microsoft .NET Framework Assembly (v2.0, v3.0, v3.5 and v4.0 included) that have classes that supply Constants and Mathematical Routines for the Decimal Type supplied by the Framework. Full C# source is included as... Platforms: Windows

Integrated spreadsheet with 14 inline calculators and calculator keys to increase your power and accuracy of your cognitive mathematical decisions for projections and estimating. It has the following advantages over a spreadsheet and a calculator. - Save time - You no longer have to re-key your... Platforms: Not Applicable

Simplexety is used to get the most out of Formula Parsing and Scientific Calculation. With it, you can evaluate mathematical formulas, draw graphs and program with very simple VBScript. Simplexety is a sophisticated calculation application. It supports direct access to the Microsoft Visual Basic... Platforms: Windows

RedCrab is a complex scientifical calculator with a full-screen editor. The mathematical expressions are not typed in a typical command line, but can be enter in the editor window. RedCrab display the result either under or next to the expression. The handling is easier than conventional... Platforms: Windows

TTCalc is a mathematical calculator that features a well structured graphical interface and is very easy to use. TTCal is composed of a standard scientific calculator and variable, functions, precision and display configuration tabs. TTCalc has a nice user interface, formulas for calculating can... Platforms: Linux

TTCalc is a mathematical calculator that features a well structured graphical interface and is very easy to use. TTCal is composed of a standard scientific calculator and variable, functions, precision and display configuration tabs. TTCalc has a nice user interface, formulas for calculating can... Platforms: Linux

ThinCalc was designed as a simple, small and easy-to-use utility that allows you to perform various mathematical calculations. ThinCalc was built using the Java programming language and can un from multiple operating systems. NOTE: For the program to work properly you also need to download the... Platforms: Windows

ZeGrapher was designed to be a fast an easy-to-use mathematical function plotting application. This handy tool can be specially suitable for high school students that need to plot different functions. Platforms: Windows, Windows Vista, 7

DataScene Professional is a scientific application that helps you design graphs and graph animation. It is also capable to perform data analysis, curve fitting, and data monitoring. It allows the user to easily plot 2D & 3D graphs (Area, Bar, Pie, Line, Surface, Ploar, and more), to manipulate,... Platforms: Windows

MathGV application was designed to be a mathematical function graphing software. The MathGV interface is dialogue driven and allows changes to any setting at any time with immediate results. This instant visual feedback makes mathematical functions much easier to understand. Platforms: Windows, 2003, Windows Vista, 7

CMISS is a mathematical modelling environment that allows the application of finite element analysis, boundary element and collocation techniques to a variety of complex bioengineering problems. It consists of a number of modules including a graphical front end with advanced 3D display and... Platforms: Windows