GeoProof voor Linux Het project bestaat uit het produceren van een interactieve bewijssoftware voor geometrie.
Download nu

GeoProof voor Linux Rangschikking & Samenvatting

GeoProof voor Linux Tags

Linux wassup software Nokia N73-software MP3 Cutter software antivirus jar-software c linux Navigator voor Linux bde linux x ymailisg yahoo gratis sd disk tar linux RATDVD LINUX jar software Sony

GeoProof voor Linux Beschrijving

Dit programma is een interactieve geometriesoftware met bewijsgerelateerde functies. Het project bestaat uit het produceren van een interactieve bewijssoftware voor geometrie. GeoProof kan communiceren met de CoQ-proefassistent om automatische en interactieve bewijzen van geometrie-stellingen uit te voeren. GeoProof voor Linux is voornamelijk ontwikkeld door Julien Narboux uit een project genaamd DRGEOCAML geïnitieerd door Nicolas François. Functies Gedetailleerde functielijst: -Five-soorten geometrische objecten: punten, lijnen, cirkels, vectoren en segmenten -Drie transformaties: centrale symmetrie, vertaling en axiale symmetrie - negen manieren om een punt te bouwen -Five manieren om een lijn te bouwen -Drie manieren om een cirkel te bouwen -Text-labels met dynamische onderdelen die het volgende kunnen zijn -Automated theorem bewijzen met behulp van

GeoProof voor Linux Gerelateerde software