Java Geometry Expert
☆52Oct 24, 2026Updated this week
Alternatives and similar repositories for Java-Geometry-Expert
Users that are interested in Java-Geometry-Expert are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GeoGebra Discovery☆34Oct 21, 2026Updated last week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆73Oct 22, 2026Updated last week
- ☆13Oct 31, 2021Updated 4 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 8 months ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆38Oct 22, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Formal representation and solving for Euclidean plane geometry problems.☆45Jul 1, 2026Updated 3 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆210Oct 18, 2026Updated last week
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆64Jan 9, 2025Updated last year
- Checklist to Keep Track of Progress in Solving Mathematical Olympiad Problems☆12Jan 27, 2026Updated 9 months ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- Help me analyze bandaged Rubik's cubes.☆12Oct 19, 2026Updated last week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆145Oct 13, 2026Updated 2 weeks ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- Automatic solver for plane geometry problems.☆99Feb 24, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Auto math prover.☆10Jul 10, 2024Updated 2 years ago
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆16Sep 23, 2025Updated last year
- Tool for euclidean geometry aware of logic☆91Jun 4, 2024Updated 2 years ago
- LoveFlipTimer 是一个浪漫主题的恋爱计时网页项目，使用 HTML、CSS 和 JavaScript 构建。项目集成了 Fliptimer 库，实现精美的翻页式倒计时效果，并参考了 Responsive Image Gallery 设计图片展示区域。☆15Sep 15, 2026Updated last month
- A heuristic procedure for proving inequalities☆35Sep 4, 2018Updated 8 years ago
- 几何画板 5.06☆13Apr 6, 2023Updated 3 years ago
- 2048, but the RNG is always against you☆10Aug 4, 2023Updated 3 years ago
- AlphaGeometry Re-engineered☆43Mar 11, 2026Updated 7 months ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆177Mar 29, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Very slowly rethinking Jython through toy implementations☆19Oct 3, 2026Updated 3 weeks ago
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆19Feb 3, 2024Updated 2 years ago
- An app for editing and analyzing continuous beam structures☆28May 30, 2021Updated 5 years ago
- ☆13Sep 25, 2026Updated last month
- ☆14Jul 27, 2026Updated 3 months ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- Random variate generation library in C☆10Oct 21, 2026Updated last week
- Framework for numerical computations, data analysis and visualisation☆31Oct 13, 2026Updated 2 weeks ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Learn core concepts of Structured Query Language by examples (ENG/RUS)☆19May 30, 2023Updated 3 years ago
- A number guessing game with a p-adic twist.☆13Oct 13, 2023Updated 3 years ago
- Automated generation of planar geometry olympiad problems☆112May 3, 2026Updated 5 months ago
- ☆13Oct 10, 2024Updated 2 years ago
- ☆14Jul 15, 2025Updated last year
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- Models That Prove Their Own Correctness☆11Dec 11, 2024Updated last year