N. Magaud , A. Chollet , L. Fuchs
Annals of Mathematics and Artificial Intelligence , Volume 74 , Number 3-4 , page 309-332 - 2015
International journal
Formalizing a Discrete Model of the Continuum in Coq from a Discrete Geometry Perspective, Annals of Mathematics and Artificial Intelligence, Springer Verlag (Germany) ( IF : 1.019, SNIP : 0.974, SJR : 0.42 ), pages 309-332, Volume 74, n° 3-4, janvier 2015, doi:10.1007/s10472-014-9434-6
Research team : IGG
@Article{2-MCF15, author = {Magaud, N. and Chollet, A. and Fuchs, L.}, title = {Formalizing a Discrete Model of the Continuum in Coq from a Discrete Geometry Perspective}, journal = {Annals of Mathematics and Artificial Intelligence}, number = {3-4}, volume = {74}, pages = {309-332}, month = {Jan}, year = {2015}, doi = {10.1007/s10472-014-9434-6}, x-international-audience = {Yes}, x-language = {EN}, url = {http://publis.icube.unistra.fr/2-MCF15} }