scientific article

zbMath0519.51001MaRDI QIDQ3668379

Wen-tsün Wu

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Pappos configurations

Mathematics Subject Classification ID

Configuration theorems in linear incidence geometry (51A20)

Related Items (8)

Automated production of traditional proofs in solid geometry ⋮ On the application of Buchberger's algorithm to automated geometry theorem proving ⋮ Geometric constraint solving with geometric transformation ⋮ Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle ⋮ On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems ⋮ The parallel numerical method of mechanical theorem proving ⋮ Computer assistance for ``discovering formulas in system engineering and operator theory

This page was built for publication: