Old Web
English
Sign In
Acemap
>
authorDetail
>
Tuan Minh Pham
Tuan Minh Pham
French Institute for Research in Computer Science and Automation
Geometry
Mathematical proof
Mathematics
Algorithm
Proof assistant
5
Papers
21
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
2012
Electronic Notes in Theoretical Computer Science
Tuan Minh Pham
Yves Bertot
Show All
Source
Cite
Save
Citations (7)
New Results - Type theory and formalization ofmathematics
2011
J Grimm
Loïc Pottier
Georges Gonthier
Laurence Rideau
Laurent Théry
Tuan Minh Pham
Yves Bertot
Maxime Dénès
Guillaume Cano
Jorge Luis Sacchini
Benjamin Grégoire
Mathieu Boespflug
Show All
Source
Cite
Save
Citations (0)
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
2010
SAC | ACM Symposium on Applied Computing
Tuan Minh Pham
Show All
Source
Cite
Save
Citations (1)
A combination of a dynamic geometry software with a proof assistant for interactive formal proofs
2010
Tuan Minh Pham
Yves Bertot
Show All
Source
Cite
Save
Citations (6)
A coq-based library for interactive and automated theorem proving in plane geometry
2007
ICCSA | International Conference on Computational Science and Its Applications
Tuan Minh Pham
Yves Bertot
Julien Narboux
Show All
Source
Cite
Save
Citations (7)
1