Nevins, Arthur J. Plane geometry theorem proving using forward chaining. (Russian) Zbl 0446.68080 Kibern. Sb., Nov. Ser. 16, 145-170 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Keywords:plane geometry; forward chaining Citations:Zbl 0301.68086 PDFBibTeX XMLCite \textit{A. J. Nevins}, Kibern. Sb., Nov. Ser. 16, 145--170 (1979; Zbl 0446.68080)