Geometric Proofs of Some Recent Results of Yang Lu (Q4306110)
From MaRDI portal
scientific article; zbMATH DE number 639777
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Geometric Proofs of Some Recent Results of Yang Lu |
scientific article; zbMATH DE number 639777 |
Statements
12 March 1995
0 references
spherical octant
0 references
automated theorem-proving
0 references
tetrahedron
0 references
altitudes
0 references
bialtitudes
0 references
spherical triangle
0 references
medial triangle
0 references
Geometric Proofs of Some Recent Results of Yang Lu (English)
0 references
