On the automatic derivation of a set of geometric formulae

DOI10.1007/BF01224042zbMath0830.51004MaRDI QIDQ1895166

Ding-Kang Wang, Xiao-Shan Gao

Publication date: 17 September 1995

Published in: Journal of Geometry (Search for Journal in Brave)

zbMATH Keywords

triangleangleexternal bisectorinternal bisectormechanical formula derivation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Geometric constructions in real or complex geometry (51M15) Euclidean analytic geometry (51N20)

Cites Work

• Unnamed Item
• A new theorem discovered by computer prover
• A method for the mechanical derivation of formulas in elementary geometry
• Über die Bestimmung eines Dreiecks aus seinen Winkelhalbierenden.

This page was built for publication: On the automatic derivation of a set of geometric formulae