Otomatik geometrik teorem ispatlama
Bu tez size mi ait?
Bu kayıt toplu arşivden geldi. Sizinse profilinize bağlayın.
Özet (EN)
The aim of this thesis is to show how the polynomial rings and computationalmethods designed for them can be help in proving plane geometry theorems.The Gröbner basis techniqes are used to do this. The automatic geometrytheorem discovering are also covered. The both subject are illustrated withseveral examples.
Yazar
İbrahim Eser
Bu Yayına Nasıl Atıf Yapılır
İbrahim Eser (Master Thesis). Otomatik geometrik teorem ispatlama, 2011, Bolu Abant İzzet Baysal University.
Anahtar Kelimeler
Lisans
Tüm Hakları Saklıdır
Bu eser belirtilen lisans koşulları altında paylaşılmaktadır.
Bolu Abant İzzet Baysal University tezlerinden daha fazlası
- In social studies students and teachers opinions on the training of cultural heritage(2014)
- Echocardiographic evaluation of right ventricular function in patients with coronary slow flow(2023)
- The relationship between emotional intelligence, marital satisfaction, and religiosity in married individuals(2024)
- An example of the charitable women sultans of the Ottoman Empire: Hurrem Sultan(2019)
- A review of the trajectory of teaching the history of science in social studies and other textbooks(2023)
- Gerund in Kumuk Turkish(2025)