M. Beeson , J. Narboux , F. Wiedijk
Annals of Mathematics and Artificial Intelligence , Volume 85 , Number 2-4 , page 213-257 - 2019
International journal
Proof-checking Euclid, Annals of Mathematics and Artificial Intelligence, Springer Verlag (Germany) ( IF : 1.019, SNIP : 0.974, SJR : 0.42 ), pages 213-257, Volume 85, n° 2-4, 2019, doi:10.1007/s10472-018-9606-x
Research team : IGG
@Article{2-BNW19, author = {Beeson, M. and Narboux, J. and Wiedijk, F.}, title = {Proof-checking Euclid}, journal = {Annals of Mathematics and Artificial Intelligence}, number = {2-4}, volume = {85}, pages = {213-257}, year = {2019}, doi = {10.1007/s10472-018-9606-x}, x-international-audience = {Yes}, x-language = {EN}, url = {http://publis.icube.unistra.fr/2-BNW19} }