Automated geometry theorem proving
2011
0 views
0 downloads
Advisor: Yrd. Doç. Dr. Erol Yılmaz
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
Dr. İbrahim Eser
How to Cite
İbrahim Eser (Yüksek Lisans Tezi). Automated geometry theorem proving, 2011, Bolu Abant Izzet Baysal University.
Keywords
License
Tüm Hakları Saklıdır
This work is shared under the specified license terms.
More theses from Bolu Abant Izzet Baysal University
- Sosyal bilgiler öğretmen adaylarının demokratik katılım düzeyleri ve demokratik katılıma ilişkin görüşleri(2023)
- Modernleşme ve toplumsal değişim bağlamında Türk ordusunun sosyolojik analizi(2025)
- Seçim kampanyalarında amerikanlaşmanın seçmenin oy verme davranışına etkisi-Düzce örneği(2025)
- Zihinsel yetersizliği olan öğrencilere çarpma öğretiminde somut-yarı somut-soyut öğretim stratejisinin etkililiği(2016)
- Fen bilgisi öğretmen adaylarının çevre sorunlarına ilişkin görüşlerinin farklı teknikler kullanılarak tespit edilmesi(2010)
- Mühimme Defterleri'nde Bolu Sancağı ve Bolu'da eşkıyalık ( H961-993, M 1553-1585)(2010)