Otomatik geometrik teorem ispatlama
Is this your thesis?
This record came from a bulk archive import. If it’s yours, link it to your profile.
Abstract (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.
Author
İbrahim Eser
How to Cite
İbrahim Eser (Master Thesis). Otomatik geometrik teorem ispatlama, 2011, Bolu Abant İzzet Baysal University.
Keywords
License
Tüm Hakları Saklıdır
This work is shared under the specified license terms.
More theses from Bolu Abant İzzet Baysal University
- 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)