Apps with 'Math' feature Page 6 of 14

Find formulas that predict your variables. TuringBot is a desktop software that uses Symbolic Regression to find mathematical formulas from data values.

Discover the rules by solving small puzzles. You will learn about new mathematical ideas.

A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.

Practice mental arithmetic.

Easy-to-use platform by Desmos where you can construct shapes and lines, transform shapes and lines, and use other tools such as a compass or have the platform find a midpoint of a certain segment.

An alarm application that gives multiple missions to wake you up like math, shake, and typing motivational quotes mission.

A fresh (experimental) look at Scilab 6.x. Contribute to rdbyk/balisc development by creating an account on GitHub.

The OpenMatrix Language provides all scientists, technologists, engineers, & mathematicians (i.e., people in STEM fields) with open access to a powerful matrix-based computational engine.

Online graph sketching app that can graph functions and numerically solve differential equations.

Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

Reinteract is a system for interactive experimentation with Python. Reinteract worksheets contain Python code combined with the results of that code, formatted as text or graphical plots. Youu can go back and edit previously entered statements, and the results will update.

Arithmatastic is a simple number game that's easy to play, but hard to put down. Race against time and test your maths skills!.

Create, save and share math equations on your iPhone. Great for doing homework in a clean way and cataloging your favorite equations.

NumberDrop is a uniquely challenging math puzzle game that trains your arithmetic and logic.

Algogo is an algorithm editor and interpreter. Lightweight and easy to use, it is free and open-source. There are three versions of Algogo :

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs...

Smartclip is a versatile tool designed to streamline workflows by offering quick access to various utilities through a user-friendly interface. Similar to popular application launchers like Apple's Spotlight, Celebro, and Albert, Smartclip goes beyond basic search functions...

Excentro is a simple but advanced tool that can create guilloche designs like backgrounds, borders or rosettes.

Cinderella is the interactive geometry software and a universal tool for visualization and simulation of data and algorithms written in Java programming language. Cinderella is Math in motion.

WIRIS cas is an online platform for mathematical calculations designed for education. You can access a powerful calculation toolbar through an HTML page that includes integrals and limits calculation, function graphing in 2D or 3D and symbolic matrices manipulation, among others.

About A Basic Scientific Calculator Beautifully designed basic scientific calculator with support for percent operation, engineering exponent key, memory functions, and more.

In addition to the widget calculator, a scientific mode is included that links to eCalc’s advanced onlin.

Nerdamer is a small and light-weight symbolic math expression evaluator written in JavaScript. The parsing is done purely in JavaScript and uses no server-side program whatsoever. It can export to a pure JavaScript function, ideal for filtering user input.

Nutonian is the first robotic data scientist - providing answers to big data questions you never knew to ask, automatically. It is genetic software programming, it uses evolutionary algorithms to find out equations from just data.

A calculator written in C#.NET 3.5 that aims to be simple and usable. Future plans include functionality above and beyond that of the standard windows calculator. (Requires the .NET 3.5 framework)

Math Notepad is a web based editor, which allows you do do mathematical calculations and plot graphs. It supports real and complex numbers, matrices, and units, and comes with all common math functions built in.