Ini ialah apl Linux bernama alphageometry yang keluaran terbarunya boleh dimuat turun sebagai alphageometrysourcecode.tar.gz. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama alphageometry ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN:
alfageometri
HURAIAN:
AlphaGeometry, dibangunkan oleh Google DeepMind, ialah sistem pembuktian teorem yang menggabungkan penaakulan simbolik dengan pembelajaran mendalam untuk menyelesaikan masalah geometri yang mencabar, seperti yang terdapat dalam Olimpik matematik. Repositori menyediakan pelaksanaan penuh DDAR (Perbezaan Deduktif dan Penaakulan Abduktif) dan AlphaGeometry, dua penyelesai geometri automatik yang diterangkan dalam kertas Alam 2024 "Menyelesaikan Geometri Olimpik tanpa Demonstrasi Manusia." AlphaGeometry menyepadukan enjin potongan simbolik dengan model bahasa berasaskan pengubah untuk mencadangkan dan mengesahkan pembinaan geometri dalam proses bukti langkah demi langkah. Penyelesai DDAR menumpukan semata-mata pada penaakulan berasaskan peraturan, manakala AlphaGeometry meningkatkan ini dengan menggunakan model yang dipelajari untuk mencadangkan pembinaan tambahan apabila penaakulan logik sahaja tidak mencukupi. Repositori termasuk pemberat pra-latihan, fail perbendaharaan kata dan pilihan konfigurasi terperinci untuk menghasilkan semula eksperimen.
Ciri-ciri
- Melaksanakan DDAR dan AlphaGeometry, dua pembukti teorem geometri terkini
- Menggabungkan logik simbolik dan pemodelan bahasa berasaskan pengubah untuk pembuktian geometri
- Termasuk pemberat model terlatih dan fail perbendaharaan kata untuk kebolehulangan
- Menyediakan contoh lengkap untuk menyelesaikan masalah geometri gaya IMO
- Kod Python modular dengan takrifan eksplisit, peraturan dan utiliti penaakulan
- Persekitaran boleh skrip sepenuhnya untuk menguji, menanda aras, dan melanjutkan penyelesai teorem
Bahasa Pengaturcaraan
Python, Unix Shell
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/alphageometry.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.