search

michaelzenz / MICHAEL-ZENZ.github.io

0 stars 0 forks source link

Backward Theorem Proving Innovated Geometry Problem Solver | Zenz #2

Open michaelzenz opened 5 years ago

michaelzenz commented 5 years ago

https://michael-zengzf.github.io/2018/12/13/Backward-Theorem-Proving-Innovated-Geometry-Problem-Solver/