Category:Mathematical software

C

• [+] Comparisons of mathematical software (5 P)
• [+] Computer algebra systems (2 C, 30 P)
• [+] Cryptographic software (3 C, 115 P)

F

• [+] Formal methods tools (2 C, 17 P)

F cont.

• [+] Formula editors (12 P)
• [+] Free mathematics software (4 C, 34 P)

I

• [+] Interactive geometry software (1 C, 11 P)

M

• [+] Model checkers (17 P)

N

• [+] Numerical software (5 C, 92 P)

S

• [+] Spreadsheet software (3 C, 41 P)
• [+] Statistical software (5 C, 71 P)

T

• [+] Theorem proving software systems (3 C, 24 P)

*

• Mathematical software
• Guide to Available Mathematical Software

A

• ASTOS

C

• COGO

D

• DOT language
• DAP (software)

F

• Formulator ActiveX Control
• Formulator MathML Weaver

G

• GEUP
• GoldSim

G cont.

• Graffiti (program)

M

• MCSim
• MathScriptor
• MathType
• MatheGrafix
• Mathematica
• Microsoft Math
• Model-Builder
• Modellus

N

• NESSUS Probabilistic Analysis Software

N cont.

• Numerical Mathematics Consortium

P

• PokerTracker
• Polymake
• Power Calculator

R

• Regina (program)

S

• Satellite Tool Kit
• Starmad
• Surface Evolver

T

• Trilinos

W

• Wolfram Research