Automated geometry theorem proving
Is this your thesis?
This record came from a bulk archive import. If it’s yours, link it to your profile.
Abstract (TR)
Bu tezin amaçı polinom halkalarının ve onlar için dizan edilen hesaplamametodlarının düzlem geometrisi teoremlerinin ispatlanmasında nasıl yararlıolacağını göstermektir. Bu yapılırken Gröbner taban teknikleri kullanılmıştır.Geometri teoremlerinin otomatik keşfi de ayrıca tartışılmıştır. Her iki konudaörneklerle açıklanmaya çalışılmıştır.
Author
İbrahim Eser
How to Cite
İbrahim Eser (Yüksek Lisans Tezi). Automated geometry theorem proving, 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
- Sosyal bilgiler dersinde kültürel miras eğitimine ilişkin öğrenci ve öğretmen görüşleri(2014)
- Koroner yavaş akım fenomeni olan hastaların ekokardiyografik olarak sağ ventrikül fonksiyonunun değerlendirilmesi(2023)
- Evli bireylerde duygusal zekâ, evlilik doyumu ve dindarlık ilişkisi(2024)
- Osmanlı Devleti'nde hayırsever hanım sultanlara bir örnek: Hürrem Sultan(2019)
- Bı̇lı̇m tarı̇hı̇ öğretı̇mı̇nı̇n sosyal bı̇lgı̇ler ve dı̇ğer ders kı̇taplarındakı̇ yörüngesı̇ne daı̇r bı̇r ı̇nceleme(2023)
- Kumuk Türkçesinde zarf-fiiller(2025)