Documents Xiao-Shan Gao MMRC Institute of System Science, Academia Sinica MMP/Geometer Automated Generation...

 Xiao-Shan Gao MMRC Institute of System Science, Academia Sinica MMP/Geometer Automated Generation for Geometric Diagrams and Theorem Proofs Outline of the talk MMP: A Brief…

Documents Xiao-Shan Gao MMRC Institute of System Science, Academia Sinica

 Xiao-Shan Gao MMRC Institute of System Science, Academia Sinica MMP/Geometer Automated Generation for Geometric Diagrams and Theorem Proofs Outline of the talk MMP: A Brief…