论文信息 - Computer-Assisted Theorem Proving in Synthetic Geometry - 字舞流文

Computer-Assisted Theorem Proving in Synthetic Geometry

Meera Sitharam | Jessica Sidman | Audrey St. John

[1] Jesse Alama,et al. Euler's Polyhedron Formula , 2008, Formaliz. Math..