This is the Linux app named alphageometry whose latest release can be downloaded as alphageometrysourcecode.tar.gz. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named alphageometry with OnWorks for free.
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
अक्षरज्यामिति
वर्णन
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.
विशेषताएं
- Implements DDAR and AlphaGeometry, two state-of-the-art geometry theorem provers
- Combines symbolic logic and transformer-based language modeling for geometric proofs
- Includes pre-trained model weights and vocabulary files for reproducibility
- Provides complete examples for solving IMO-style geometry problems
- Modular Python code with explicit definitions, rules, and reasoning utilities
- Fully scriptable environment for testing, benchmarking, and extending theorem solvers
प्रोग्रामिंग भाषा
पायथन, यूनिक्स शैल
श्रेणियाँ
This is an application that can also be fetched from https://sourceforge.net/projects/alphageometry.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
