Ito ang Linux app na pinangalanang alphageometry na ang pinakabagong release ay maaaring ma-download bilang alphageometrysourcecode.tar.gz. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang alphageometry gamit ang OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA SCREENSHOT:
alphageometry
DESCRIPTION:
Ang AlphaGeometry, na binuo ng Google DeepMind, ay isang theorem-proving system na pinagsasama ang simbolikong pangangatwiran sa malalim na pag-aaral upang malutas ang mga mapanghamong problema sa geometry, gaya ng mga makikita sa mathematical Olympiads. Ang repositoryo ay nagbibigay ng buong pagpapatupad ng DDAR (Deductive Difference and Abductive Reasoning) at AlphaGeometry, dalawang automated na geometry solver na inilarawan sa 2024 Nature paper na "Solving Olympiad Geometry without Human Demonstration." Ang AlphaGeometry ay isinasama ang isang simbolikong deduction engine na may isang modelo ng wika na nakabatay sa transpormer upang magmungkahi at magpatunay ng mga geometric na konstruksyon sa isang hakbang-hakbang na proseso ng patunay. Ang DDAR solver ay purong nakatuon sa pangangatwiran na nakabatay sa panuntunan, habang pinapahusay ito ng AlphaGeometry sa pamamagitan ng paggamit ng isang natutunang modelo upang magmungkahi ng mga pantulong na konstruksyon kapag ang lohikal na pangangatwiran lamang ay hindi sapat. Kasama sa repository ang mga paunang sinanay na timbang, mga file ng bokabularyo, at mga detalyadong opsyon sa pagsasaayos para sa pag-reproduce ng mga eksperimento.
Mga tampok
- Nagpapatupad ng DDAR at AlphaGeometry, dalawang state-of-the-art na geometry theorem prover
- Pinagsasama ang simbolikong lohika at pagmomodelo ng wikang batay sa transpormer para sa mga geometric na patunay
- May kasamang pre-trained na timbang ng modelo at mga file ng bokabularyo para sa muling paggawa
- Nagbibigay ng kumpletong mga halimbawa para sa paglutas ng mga problema sa geometry na istilo ng IMO
- Modular Python code na may tahasang mga kahulugan, panuntunan, at mga kagamitan sa pangangatwiran
- Ganap na scriptable na kapaligiran para sa pagsubok, benchmarking, at pagpapalawak ng mga solver ng theorem
Wika ng Programming
Python, Unix Shell
Kategorya
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/alphageometry.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.