Bu, en son sürümü alphageometrysourcecode.tar.gz olarak indirilebilen alphageometry adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Alphageometry isimli bu uygulamayı OnWorks ile ücretsiz olarak çevrimiçi indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN GÖRÜNTÜLERİ:
alfageometri
AÇIKLAMA:
Google DeepMind tarafından geliştirilen AlphaGeometry, sembolik akıl yürütmeyi derin öğrenmeyle birleştirerek matematik olimpiyatlarında karşılaşılanlar gibi zorlu geometri problemlerini çözen bir teorem ispatlama sistemidir. Bu depo, 2024 Nature dergisinde yayınlanan "İnsan Gösterimi Olmadan Olimpiyat Geometrisini Çözmek" başlıklı makalede açıklanan iki otomatik geometri çözücü olan DDAR (Tümdengelimli Fark ve Tümevarımsal Akıl Yürütme) ve AlphaGeometry'nin tam uygulamasını sunar. AlphaGeometry, adım adım bir ispat sürecinde geometrik yapıları önermek ve doğrulamak için sembolik bir tümdengelim motorunu transformatör tabanlı bir dil modeliyle entegre eder. DDAR çözücü tamamen kural tabanlı akıl yürütmeye odaklanırken, AlphaGeometry, mantıksal akıl yürütmenin tek başına yeterli olmadığı durumlarda yardımcı yapılar önermek için öğrenilmiş bir model kullanarak bunu geliştirir. Depo, önceden eğitilmiş ağırlıklar, kelime dosyaları ve deneyleri yeniden üretmek için ayrıntılı yapılandırma seçenekleri içerir.
Özellikler
- En son teknoloji geometri teoremi kanıtlayıcıları olan DDAR ve AlphaGeometry'yi uygular
- Geometrik kanıtlar için sembolik mantığı ve transformatör tabanlı dil modellemesini birleştirir
- Yeniden üretilebilirlik için önceden eğitilmiş model ağırlıkları ve sözlük dosyaları içerir
- IMO tarzı geometri problemlerini çözmek için eksiksiz örnekler sağlar
- Açık tanımlar, kurallar ve akıl yürütme yardımcı programlarına sahip modüler Python kodu
- Teorem çözücülerini test etmek, kıyaslamak ve genişletmek için tamamen betiklenebilir ortam
Programlama dili
Python, Unix Kabuğu
Kategoriler
Bu uygulama, https://sourceforge.net/projects/alphageometry.mirror/ adresinden de indirilebilir. Ücretsiz İşletim Sistemlerimizden birinden çevrimiçi olarak en kolay şekilde çalıştırılabilmesi için OnWorks'te barındırılmıştır.