Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Narboux, J. (Julien)"'
The area method for Euclidean constructive geometry was proposed by Chou, Gao and Zhang in the early 1990’s. The method can efficiently prove many non-trivial geometry theorems and is one of the most interesting and most successful methods for auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4060::4a74e75559bc304d0496b5225a5d850d
http://link.springer.com/10.1007/s10817-010-9209-7
http://link.springer.com/10.1007/s10817-010-9209-7
