Author:
Wang Dongming,Huang Bo,Chen Xiaoyu
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Reference19 articles.
1. Morley, F.: On the metric geometry of the plane $$n$$-line. Trans. Am. Math. Soc. 1, 97–115 (1900)
2. Morley, F.: On the intersections of the trisectors of the angles of a triangle. J. Math. Assoc. Japan 6, 260–262 (1924)
3. Wu, W.-T.: Basic principles of mechanical theorem proving in elementary geometries. J. Syst. Sci. Math. Sci. 4, 207–235 (1984)
4. Wu, W.-T.: Basic principles of mechanical theorem proving in elementary geometries. J. Autom. Reason. 2, 221–252 (1986)
5. Wang, D.: Elimination procedures for mechanical theorem proving in geometry. Ann. Math. Artif. Intell. 13, 1–24 (1995)