Формализација и аутоматско доказивање теорема еуклидске геометрије
Formalization and automation of Euclidean geometry
Докторанд
Stojanović, SanaМентор
Janičić, PredragЧланови комисије
Лучић, ЗоранМарић, Филип
Борисављевић, Мирјана
Narbu, Žilijen
Метаподаци
Приказ свих података о дисертацијиСажетак
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...
The advance of geometry over the centuries can be observed through the
development of dierent axiomatic systems that describe it. The use of axiomatic
systems begins with Euclid, continues with Hilbert and Tarski, but it doesn't end
there. Even today, new axiomatic systems for Euclidean geometry are developed...