Proof-checking Euclid

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}
}

See publications of the same authors