Otomatik geometrik teorem ispatlama
2011
0 views
0 downloads
Advisor: Yrd. Doç. Dr. Erol Yılmaz
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
Dr. İbrahim Eser
How to Cite
İbrahim Eser (Master Thesis). Otomatik geometrik teorem ispatlama, 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
- Social sciences teacher candidates democratic participation levels and their views on democratic participation(2023)
- Sociological analysis of the Turkish army in the context of modernization and social change(2025)
- The impact of americanization on voter behavior in election campaigns-The case of Düzce(2025)
- The effects of concrete-representational-abstract teaching strategy on the multiplication skills of children with intellectual disability(2016)
- The determination of the science education teacher cadidates? views about the environmental problems by using different technicals(2010)
- Bolu and banditry in Bolu According to Muhimme Defters (from 1553 to 1585)(2010)