| Lurch lite para linux Software para enseñar y aprender pruebas matemáticas. |
Descargar ahora |
Lurch lite para linux Clasificación y resumen
- Nombre del editor:
- Ken Monks
- Sistemas operativos:
- Linux
Lurch lite para linux Etiquetas
Lurch lite para linux Descripción
Software para enseñar y aprender pruebas matemáticas donde la mayoría del software a prueba de matemáticas se concentra en la lógica formal (o algún otro área especializada de matemáticas), la licuada tiene como objetivo ser un propósito verdaderamente general, con una interfaz de usuario attracitve. Estado de características Procesador de palabras habilitado para Tex funcional con unos pocos bichos conocidos Construido en OpenMath por semántica inequívoca. hecho y probado a fondo Motor JavaScript para personalizar la validación. hecho y probado a fondo Varios temas matemáticos incorporados Solo unos pocos, más viniendo Los usuarios pueden agregar nuevos temas de matemáticas.
Lurch lite para linux Software relacionado