Tuan Minh Pham, Yves Bertot. A combination of a dynamic geometry software with a proof assistant for interactive formal proofs.
9th International Workshop On User Interfaces for Theorem Provers FLOC'10 Satellite Workshop, Jul 2010, Edinburgh, Scotland, United Kingdom. Elsevier, 2010, Electronic Notes in Theoretical Computer Science (ENTCS).
〈inria-00585400〉