Формализација и аутоматско доказивање теорема еуклидске геометрије
Formalization and automation of Euclidean geometry
Author
Stojanović, SanaMentor
Janičić, PredragCommittee members
Лучић, ЗоранМарић, Филип
Борисављевић, Мирјана
Narbu, Žilijen
Metadata
Show full item recordAbstract
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...
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...