Luch Lite pour Linux Logiciel d'enseignement et d'apprentissage des preuves mathématiques.
Télécharger maintenant

Luch Lite pour Linux Classement & Résumé

Luch Lite pour Linux Mots clés

Microsoft Word 2003 logiciel de film intelligent téléphone portable gratuit Logiciel d'antivirus mobile logiciel antivirus jar Lite 4 g.lite Ares Lite 2.0.9 k Lite .com facture lite Samsung Mobile Softw BearShare Lite 4.7.0 outp .com insérer USB après

Luch Lite pour Linux La description

Logiciels d'enseignement et d'apprentissage des preuves mathématiques où la plupart des logiciels de preuve mathématiques se concentrent sur la logique formelle (ou une autre zone de spécialité de mathématiques), Lurch vise à être vraiment à l'usage général, avec une interface utilisateur attracit. Caractéristiques Statut Processeur de texte activé par TeX fonctionnel avec quelques insectes connus Construit sur OpenMath pour la sémantique sans ambiguïté fait et minutieusement testé Moteur JavaScript pour la personnalisation de la validation fait et minutieusement testé plusieurs sujets de mathématiques construits dans juste quelques-uns maintenant, plus à venir Les utilisateurs peuvent ajouter de nouveaux sujets de calcul

Luch Lite pour Linux Logiciels associés