Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема
Formalization of various geometry models and applications in verification of automated theorem provers
Докторанд
Simić, DanijelaМентор
Marić, FilipЧланови комисије
Janičić, PredragVukmirović, Srđan
Maksimović, Petar
Метаподаци
Приказ свих података о дисертацијиСажетак
У овој тези представљена је интерактивна формализација модела разних
геометрија и алгебарских метода аутоматског доказивања геометријских те-
орема...
In this thesis is presented interactive formalization of various models of geometry
and algebraic methods for automated proving geometry theorems....
Факултет:
Универзитет у Београду, Математички факултетДатум одбране:
08-08-2017Кључне речи:
асистент за доказивање теорема / proof assistants / геометрија / интерактивно доказивање у геометрији / аутоматско доказивање у геометрији / хиперболичка геометрија / стереометрија / аксиоматски систем Тарског / аксиоматски систем Хилберта / Декартов координатни систем / geometry / interactive proving in geometry / automated proving in geometry / hyperbolic geometry / spatial geometry / Tarski axiom system / Hilbert axiom system / Cartesian coordinate systemRelated items
Showing items related by title, author, creator and subject.
-
Određivanje kvaliteta geometrije koloseka primenom fraktalne analize mernih podataka / Assessment of track geometry quality using fractal analysis of measured data
Lazarević, Luka M. (Универзитет у Београду, Грађевински факултет, 05-07-2016) -
Efficient algorithms for discrete geometry problems / Efikasni algoritmi za probleme iz diskretne geometrije
Savić, Marko (Универзитет у Новом Саду, Природно-математички факултет, 25-10-2018) -
Брзина течности у двофазним и трофазним пнеуматским реакторима са спољашњом циркулацијом / Liquid velocity in a three and two phase external loop airlift reactors
Milivojević, Milan (Универзитет у Београду, Технолошко-металуршки факултет, 18-03-2011)