Формализација и аутоматско доказивање теорема еуклидске геометрије
Formalization and automation of Euclidean geometry
Doktorand
Stojanović, SanaMentor
Janičić, PredragČlanovi komisije
Лучић, ЗоранМарић, Филип
Борисављевић, Мирјана
Narbu, Žilijen
Metapodaci
Prikaz svih podataka o disertacijiSažetak
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...
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...