On the automatic derivation of a set of geometric formulae

DOI10.1007/BF01224042MaRDI QIDQ1895166zbMATH OpenFDO

Authors Dingkang 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

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

Recommendations

• How to compute a triangle with prescribed lengths of its internal angle bisectors
• The Existence of a Triangle with Prescribed Angle Bisector Lengths
• The triangle construction \(\{\alpha, b-c, t_A\}\)
• A set of formulae regarding centres of a triangle
• On the existence of triangles with given lengths of two angle bisectors and of the cevian from the third angle vertex

Cites work

• scientific article; zbMATH DE number 4050980 (Why is no real title available?)
• A method for the mechanical derivation of formulas in elementary geometry
• A new theorem discovered by computer prover
• Über die Bestimmung eines Dreiecks aus seinen Winkelhalbierenden.

Cited in

(2)

• Geometry machines: from AI to SMC
• Area of a triangle and angle bisectors

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1895166)