MathSoft develops, markets and supports general purpose software tools for technical professionals, educators and students. Its principal product, Mathcad, enables desktop computer users to perform calculations, from the simple to the elaborate, and then document the results.

NAG produce and distribute numerical, symbolic, statistical, visualisation and simulation software for the solution of problems in such areas as science, engineering, financial analysis and research.

The leading provider of visualization, mathematics, analysis and network software solutions including PV-WAVE, JWAVE, TS-WAVE, IMSL, JNL, JMSL.

UMS is the audiosoftware, which solves and explains any entered mathematical problem (taken from any textbook or invented on the spot). UMS is developed by the leading scientists and programmers from Saint-Petersburg, Russia. Free UMS demo can be downloaded from http://www.umsolver.com. The goal of the project is to cover school, college and first years university mathematics. Now the project is at the beginning, at the moment four initial modules ("Simplification", "Solving algebraic equations", "Partial factorization", "Complete factorization") are ready. Many sophisticated methods with elements of AI were implemented in these programs.