Hilbert II

Controleer Math Axioms en maak uw eigen kennisdatabase
Download nu

Hilbert II Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • GPL
  • Naam uitgever:
  • Michael Meyling
  • Besturingssystemen:
  • June 2nd, 2013, 02:14 UTC
  • Bestandsgrootte:
  • 7.9 MB

Hilbert II Tags


Hilbert II Beschrijving

Hilbert II biedt u een intuïtieve applicatie waarmee u wiskundige theorieën en axioma's voor nauwkeurigheid kunt verifiëren en deze kunt opnemen in een kennisbasis. Hilbert II integreert een reeks modellen, waardoor de toepassing gemakkelijk de twee formules kan confronteren en controleren of het invoerbestand geldig is. De geladen Qedeq-modules kunnen worden geconverteerd naar tekstindeling Latex en UTF-8.


Hilbert II Gerelateerde software

Over ons