Zobrazeno 1 - 4
of 4
pro vyhledávání: '"formalization of geometry"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Stojanović, Sana
Publikováno v:
Универзитет у Београду
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=nardusnacion::3b4f4c2975a9f4ef2ff96a2838dd3dc6
http://nardus.mpn.gov.rs/bitstream/id/6385/IzvestajKomisije8316.pdf
http://nardus.mpn.gov.rs/bitstream/id/6385/IzvestajKomisije8316.pdf
Autor:
Pham, Tuan Minh
Publikováno v:
Logic in Computer Science [cs.LO]. Univeristé Nice Sophia Antipolis, 2011. English
Synthetic geometry, sometimes also called axiomatic geometry, deals purely with geometric objects. Relying on axioms and theorems relating the basic concepts of geometry makes it possible to highlight the geometrical properties during the proofs.This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::14bf215f55fc5c78db73554b347387f9
https://tel.archives-ouvertes.fr/tel-01112334/file/PhamThesis.pdf
https://tel.archives-ouvertes.fr/tel-01112334/file/PhamThesis.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.