Coq

Descargar Coq Gratis

    8.4
Ver informe antivirus
 

¿Cómo valoras Coq?

        Aún no lo he probado

Alternativas a Coq

MathType

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

Evaluación Descargar
Ro3n

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

Gratis (libre) Descargar
DeadLine

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

Gratis Descargar
Ecualin
Obsoleto

Aplicación para resolver sistemas de ecuaciones lineales.

Gratis Descargar
MathCast

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

Gratis (libre) Descargar
Logical Formula Evaluator

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

Gratis Descargar