Geometric Proofs of Some Recent Results of Yang Lu

@inproceedings{Cairns1993GeometricPO,
  title={Geometric Proofs of Some Recent Results of Yang Lu},
  author={Grant Cairns and Michael Andrew Mcintyre and John B. Strantzen},
  year={1993}
}
Computer-aided theorem-proving has been the object of recent research in China. The pioneering work of Wu Wentsun [5] described an algebraic algorithm that was successful in proving nontrivial theorems in fields including elementary geometry. More recently, Zhang Jingzhong and Yang Lu [8] have devised an algorithm that replaces most of the symbolic algebra used in the usual methods of automated theorem-proving with numerical computation. The Zhang-Yang method truthfully can be described as a… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

Constructing a Tetrahedron with Prescribed Heights and Widths

  • Automated Deduction in Geometry
  • 2006
VIEW 1 EXCERPT
CITES BACKGROUND
HIGHLY INFLUENCED

The average-case area of Heilbronn-type triangles

  • Random Struct. Algorithms
  • 1999
VIEW 1 EXCERPT
CITES BACKGROUND

The expected size of Heilbronn's triangles

  • Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317)
  • 1999
VIEW 1 EXCERPT
CITES BACKGROUND

Similar Papers

Loading similar papers…