Browse Code
parse geometric statements in a human-readable language
from command line arguments or stdin
and decide their truth
by use of Gröbner bases
License
GNU General Public License version 3.0 (GPLv3)Follow Geometric Theorem Proving
You Might Also Like
SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Geometric Theorem Proving!