Hilbert II Revise los axiomas de matemáticas y cree su propia base de datos de conocimiento
Descargar ahora

Hilbert II Clasificación y resumen

Hilbert II Etiquetas

Hilbert II Descripción

Hilbert II le proporciona una aplicación intuitiva que le permite verificar los teoremas y axiomas matemáticos para la precisión e incluirlos en una base de conocimientos. Hilbert II integra un conjunto de modelos, por lo que la aplicación puede confrontar fácilmente las dos fórmulas y verificar si el archivo de entrada es válido. Los módulos QEEDEQ cargados se pueden convertir en formato de texto LATEX y UTF-8.

Hilbert II Software relacionado