Naslov (srp)

Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема : докторска дисертација

Autor

Simić, Danijela. 1986-

Doprinosi

Marić, Filip, 1978-
Janičić, Predrag, 1968-
Vukmirović, Srđan, 1972-
Maksimović, Petar.

Opis (eng)

In this thesis is presented interactive formalization of various models of geometry and algebraic methods for automated proving geometry theorems....

Opis (srp)

У овој тези представљена је интерактивна формализација модела разних геометрија и алгебарских метода аутоматског доказивања геометријских те- орема...

Opis (srp)

рачунарство - аутоматско резоновање / computer science - automated reasoning Datum odbrane: 08.08.2017.

Jezik

srpski

Datum

2017

Licenca

Ovo delo je licencirano pod uslovima licence
Creative Commons CC BY-NC-SA 2.0 AT - Creative Commons Autorstvo - Nekomercijalno - Deliti pod istim uslovima 2.0 Austria License.

http://creativecommons.org/licenses/by-nc-sa/2.0/at/legalcode

Predmet

OSNO - Opšta sistematizacija naučnih oblasti, Matematička kibernetika. Automati

асистент за доказивање теорема, геометрија, интерактивно доказивање у геометрији, аутоматско доказивање у геометрији, хиперболичка геометрија, стереометрија, аксиоматски систем Тарског, аксиоматски систем Хилберта, Декартов координатни систем

OSNO - Opšta sistematizacija naučnih oblasti, Matematička kibernetika. Automati

proof assistants, geometry, interactive proving in geometry, automated proving in geometry, hyperbolic geometry, spatial geometry, Tarski axiom system, Hilbert axiom system, Cartesian coordinate system