On the automatic derivation of a set of geometric formulae

DOI10.1007/BF01224042zbMATH Open0830.51004MaRDI QIDQ1895166FDOQ1895166

Xiao-Shan Gao, Dingkang Wang

Publication date: 17 September 1995

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

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

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)

Cites Work

• A new theorem discovered by computer prover
• A method for the mechanical derivation of formulas in elementary geometry
• Title not available (Why is that?)
• Über die Bestimmung eines Dreiecks aus seinen Winkelhalbierenden.

Cited In (1)

• Geometry machines: from AI to SMC

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)