Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski's Geometry

Webpage : http://link.springer.com/article/10.1007%2Fs10472-014-9443-5

S. Stojanovic Durdevic , J. Narboux , P. Janicic

Annals of Mathematics and Artificial Intelligence , Volume 74 , Number 3-4 , page 249-269 - 2015

International journal Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski's Geometry, Annals of Mathematics and Artificial Intelligence, Springer Verlag (Germany) ( IF : 0.778, SNIP : 1.431, SJR : 0.498 ), pages 249-269, Volume 74, n° 3-4, janvier 2015. SJR Q2, doi:10.1007/s10472-014-9443-5 Research team : IGG

@Article{2-SNJ15,
 author = {Stojanovic Durdevic, S. and Narboux, J. and Janicic, P.},
 title = {Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski's Geometry},
 journal = {Annals of Mathematics and Artificial Intelligence},
 number = {3-4},
 volume = {74},
 pages = {249-269},
 month = {Jan},
 year = {2015},
 note = {SJR Q2},
 doi = {10.1007/s10472-014-9443-5},
 x-international-audience = {Yes},
 x-language = {EN},
 url = {http://icube-publis.unistra.fr/2-SNJ15}
}

See publications of the same authors