Show simple item record

Formalization and automation of Euclidean geometry

dc.contributor.advisorJaničić, Predrag
dc.contributor.otherЛучић, Зоран
dc.contributor.otherМарић, Филип
dc.contributor.otherБорисављевић, Мирјана
dc.contributor.otherNarbu, Žilijen
dc.creatorStojanović, Sana
dc.date.accessioned2017-04-22T09:37:03Z
dc.date.available2017-04-22T09:37:03Z
dc.date.issued2016-09-07
dc.identifier.urihttp://eteze.bg.ac.rs/application/showtheses?thesesId=4836
dc.identifier.urihttps://fedorabg.bg.ac.rs/fedora/get/o:15164/bdef:Content/download
dc.identifier.urihttp://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=48817679
dc.identifier.urihttp://nardus.mpn.gov.rs/123456789/7972
dc.description.abstractНапредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом...sr
dc.description.abstractThe 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...en
dc.formatapplication/pdf
dc.languagesr
dc.publisherУниверзитет у Београду, Математички факултетsr
dc.rightsAutorstvo 3.0 Srbija (CC BY 3.0)
dc.sourceУниверзитет у Београдуsr
dc.subjectкохерентна логикаsr
dc.subjectcoherent logicen
dc.subjectформализација геометријеsr
dc.subjectаутоматско доказивање теоремаsr
dc.subjectинтерактивно доказивање теоремаsr
dc.subjectаутоматско генерисање читљивих доказаsr
dc.subjectformalization of geometryen
dc.subjectautomated theorem provingen
dc.subjectinteractive theorem provingen
dc.subjectautomated generation of readable proofsen
dc.titleФормализација и аутоматско доказивање теорема еуклидске геометријеsr
dc.title.alternativeFormalization and automation of Euclidean geometryen
dc.typePhD thesis
dcterms.abstractЈаничић, Предраг; Marić, Filip; Lučić, Zoran; Borisavljević, Mirjana; Нарбу, Жилијен; Стојановић, Сана; Formalizacija i automatsko dokazivanje teorema euklidske geometrije;


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record