यह अल्फाजियोमेट्री नाम का एक लिनक्स ऐप है जिसका नवीनतम संस्करण alphageometrysourcecode.tar.gz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ़्त होस्टिंग प्रदाता OnWorks पर ऑनलाइन चलाया जा सकता है।
अल्फाजियोमेट्री नामक इस ऐप को ऑनवर्क्स के साथ मुफ्त में डाउनलोड करें और ऑनलाइन चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट:
अक्षरज्यामिति
विवरण:
गूगल डीपमाइंड द्वारा विकसित अल्फाजियोमेट्री, एक प्रमेय-सिद्ध प्रणाली है जो गणितीय ओलंपियाड जैसी चुनौतीपूर्ण ज्यामिति समस्याओं को हल करने के लिए प्रतीकात्मक तर्क को गहन शिक्षण के साथ जोड़ती है। यह रिपॉजिटरी DDAR (डिडक्टिव डिफरेंस एंड एबडक्टिव रीजनिंग) और अल्फाजियोमेट्री, दो स्वचालित ज्यामिति सॉल्वर, जिनका वर्णन 2024 के नेचर पेपर "सॉल्विंग ओलंपियाड ज्योमेट्री विदाउट ह्यूमन डेमोस्ट्रेशन" में किया गया है, का पूर्ण कार्यान्वयन प्रदान करती है। अल्फाजियोमेट्री एक प्रतीकात्मक निगमन इंजन को एक ट्रांसफॉर्मर-आधारित भाषा मॉडल के साथ एकीकृत करती है ताकि चरणबद्ध प्रमाण प्रक्रिया में ज्यामितीय निर्माणों का प्रस्ताव और सत्यापन किया जा सके। DDAR सॉल्वर पूरी तरह से नियम-आधारित तर्क पर केंद्रित है, जबकि अल्फाजियोमेट्री एक सीखे हुए मॉडल का उपयोग करके सहायक निर्माणों का सुझाव देकर इसे और बेहतर बनाती है जब केवल तार्किक तर्क अपर्याप्त हो। रिपॉजिटरी में पूर्व-प्रशिक्षित भार, शब्दावली फ़ाइलें और प्रयोगों को पुन: प्रस्तुत करने के लिए विस्तृत कॉन्फ़िगरेशन विकल्प शामिल हैं।
विशेषताएं
- दो अत्याधुनिक ज्यामिति प्रमेय सिद्धक, DDAR और अल्फाजियोमेट्री को क्रियान्वित करता है
- ज्यामितीय प्रमाणों के लिए प्रतीकात्मक तर्क और ट्रांसफार्मर-आधारित भाषा मॉडलिंग को संयोजित करता है
- पुनरुत्पादन के लिए पूर्व-प्रशिक्षित मॉडल भार और शब्दावली फ़ाइलें शामिल हैं
- IMO-शैली की ज्यामिति समस्याओं को हल करने के लिए संपूर्ण उदाहरण प्रदान करता है
- स्पष्ट परिभाषाओं, नियमों और तर्क उपयोगिताओं के साथ मॉड्यूलर पायथन कोड
- परीक्षण, बेंचमार्किंग और प्रमेय सॉल्वरों के विस्तार के लिए पूर्णतः स्क्रिप्ट योग्य वातावरण
प्रोग्रामिंग भाषा
पायथन, यूनिक्स शैल
श्रेणियाँ
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/alphageometry.mirror/ से भी प्राप्त किया जा सकता है। इसे हमारे किसी भी निःशुल्क ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाने के लिए OnWorks में होस्ट किया गया है।