MathType

MathType

 6.9
Evaluación   
25

Una ayuda para el difícil trabajo de la edición de fórmulas matemáticas

MathCast

MathCast

 0.89
Gratis (libre)   
7

Redacción y edición de ecuaciones, matrices y vectores.

Ecualin
Obsoleto

Ecualin

 1.0
Gratis   
13

Aplicación para resolver sistemas de ecuaciones lineales.

Math Mechanixs

Math Mechanixs

 1.5.0.3
Gratis   
5

Programa para solucionar nuestros problemas matemáticos.

DeadLine

DeadLine

 2.36
Gratis   
15

Programa para solucionar todas nuestras ecuaciones matemáticas de forma grafica.

Ro3n

Ro3n

 4.1.1
Gratis   
2

Aplicación básica para la resolución de ecuaciones lineales y cuadráticas.

Logical Formula Evaluator
Gratis   
5

Herramienta de edición y resolución de fórmulas lógicas proposicionales

Eular Equation Solver
Gratis   
6

Herramienta matemática para la resolución de ecuaciones de Eular

Coq

Coq

 8.4
Gratis (libre)   
5

Comprobador de teoremas matemáticos