Geometric Theorem Proving download

parse geometric statements in a human-readable language
from command line arguments or stdin
and decide their truth
by use of Gröbner bases

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow Geometric Theorem Proving

Geometric Theorem Proving Web Site

Other Useful Business Software

Application Monitoring That Won't Slow Your App Down

AppSignal's Rust-based agent is lightweight and stable. Already running in thousands of production apps.

Full APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Geometric Theorem Proving!

Additional Project Details

Languages

English

Intended Audience

Education

User Interface

Command-line

Registered

2022-01-09

Similar Business Software

Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Wrike

Wrike’s powerful work management platform enables distributed teams to collaborate in real-time on complex projects. Our versatile, cloud-based software is trusted by top tech companies across the globe, including Siemens and Fitbit. Wrike’s award-winning features include cross-tagging,...

See Software
Google Cloud BigQuery

BigQuery is a serverless, multicloud data warehouse that simplifies the process of working with all types of data so you can focus on getting valuable business insights quickly. At the core of Google’s data cloud, BigQuery allows you to simplify data integration, cost effectively and securely...

See Software
LTX

Control every aspect of your video using AI, from ideation to final edits, on one holistic platform. We’re pioneering the integration of AI and video production, enabling the transformation of a single idea into a cohesive, AI-generated video. LTX empowers individuals to share their visions,...

See Software
LM-Kit.NET

LM-Kit.NET is a cutting-edge, high-level inference SDK designed specifically to bring the advanced capabilities of Large Language Models (LLM) into the C# ecosystem. Tailored for developers working within .NET, LM-Kit.NET provides a comprehensive suite of powerful Generative AI tools, making...

See Software
JAMS

JAMS is an automation orchestration and job scheduling solution that works across applications, APIs, and scripting languages. Run, monitor, and manage critical IT processes—from simple batch jobs to cross-platform workflows—from a single pane of glass. JAMS can automate jobs on any...

See Software