Report copyright - Formalizing a Discrete Model of the Continuum in Coq from ... · geometric systems. 1 Introduction Dealing with geometric problems (geometric constraints solving, geometric mod-eling)
Please pass captcha verification before submit form