TheoremProving – GeoGebra. As of version 5.0, we officially support theorem proving for GeoGebra. There were several preliminary planning steps until we implemented theorem proving facility. User documentation ¶ Please read the following articles to learn more about the current state: How it works ¶ GeoGebra command interface ¶ Please read the official documentation first: These commands were added into GeoGebra as explained at HowToAddANewCommand. The prover engine, the construction, the statement, the timeout (used only in the desktop version yet) in initialCompute(), which calls the compute() method of the Prover class. The prover engines ¶ The Prover class (and its API) has support for multiple prover engines. AUTO: GeoGebra automatically decides which prover is to be used. Fine tuning of the provers via command line configuration ¶ There is no convenient way in GeoGebra to fine tune how the prover engines should work.
Java -jar geogebra.jar --proverhelp Here we provide the description for the possible settings: Secure Social Learning Network for Teachers and Students. Udutu | Create simulations online with ease. Elgg - Open Source Social Networking Engine.