-
2
-
-
0242305848
-
Geometric proofs of recent results of Yang Lu
-
Cairns, G., McIntyre, M., Strantzen, J.: Geometric proofs of recent results of Yang Lu. Math. Mag. 66, 263-265 (1993)
-
(1993)
Math. Mag
, vol.66
, pp. 263-265
-
-
Cairns, G.1
McIntyre, M.2
Strantzen, J.3
-
3
-
-
38549117662
-
-
Gröbner, W.: Matrizenrechnung, Bibliographisches Institut AG, Mannheim, F. R. G, pp. 119-126 (1966)
-
Gröbner, W.: Matrizenrechnung, Bibliographisches Institut AG, Mannheim, F. R. G, pp. 119-126 (1966)
-
-
-
-
5
-
-
38549119266
-
-
Lee, J.R.: The Law of Cosines in a Tetrahedron. J. Korea Soc. Math. Ed. Ser. B: Pure Appl. Math. 4, 1-6 (1997)
-
Lee, J.R.: The Law of Cosines in a Tetrahedron. J. Korea Soc. Math. Ed. Ser. B: Pure Appl. Math. 4, 1-6 (1997)
-
-
-
-
7
-
-
0004290323
-
A Treatise on the Theory of Determinants
-
Longmans, W.H, ed, Green, New York, pp
-
Muir, T.: A Treatise on the Theory of Determinants. In: Longmans, W.H. (ed.) revised by. Green, New York, pp. 166-170 (1933)
-
(1933)
revised by
, pp. 166-170
-
-
Muir, T.1
-
8
-
-
0022704535
-
Cayley-Menger coordinates
-
Sippl, M.J., Scheraga, H.A.: Cayley-Menger coordinates. In: Proc. Natl. Acad., USA, vol. 83, pp. 2283-2287 (1986)
-
(1986)
Proc. Natl. Acad., USA
, vol.83
, pp. 2283-2287
-
-
Sippl, M.J.1
Scheraga, H.A.2
-
9
-
-
7444235996
-
-
Yang, L.: Distance coordinates used in geometric constraint solving. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), 2930, pp. 216-229. Springer, Heidelberg (2004)
-
Yang, L.: Distance coordinates used in geometric constraint solving. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 216-229. Springer, Heidelberg (2004)
-
-
-
-
10
-
-
38549171687
-
A new method of automated theorem proving
-
Johnson, J.H, Loomes, M.J, eds, Oxford University Press, New York
-
Yang, L.: A new method of automated theorem proving. In: Johnson, J.H., Loomes, M.J. (eds.) The Mathematical Revolution Inspired by Computing, pp. 115-126. Oxford University Press, New York (1991)
-
(1991)
The Mathematical Revolution Inspired by Computing
, pp. 115-126
-
-
Yang, L.1
-
11
-
-
33750706214
-
Solving spatial constraints with global distance coordinate system
-
Yang, L.: Solving spatial constraints with global distance coordinate system. International Journal of Computational Geometry & Applications 16(5-6), 533-548 (2006)
-
(2006)
International Journal of Computational Geometry & Applications
, vol.16
, Issue.5-6
, pp. 533-548
-
-
Yang, L.1
-
12
-
-
0042150619
-
A class of geometric inequalities on finite points
-
Yang, L., Zhang, J.Z.: A class of geometric inequalities on finite points. Acta Math. Sinica 23(5), 740-749 (1980)
-
(1980)
Acta Math. Sinica
, vol.23
, Issue.5
, pp. 740-749
-
-
Yang, L.1
Zhang, J.Z.2
-
14
-
-
23044513704
-
Metric equations in geometry and their applications. I.C.T.P
-
IC/89/281, International Centre for Theoretical Physics, Trieste, Italy
-
Yang, L., Zhang, J.Z.: Metric equations in geometry and their applications. I.C.T.P. Research Report, IC/89/281, International Centre for Theoretical Physics, Trieste, Italy (1989)
-
(1989)
Research Report
-
-
Yang, L.1
Zhang, J.Z.2
-
15
-
-
0042122889
-
The realization of elementary configurations in Euclidean space
-
Zhang, J.Z., Yang, L., Yang, X.C.: The realization of elementary configurations in Euclidean space. Science in China A 37(1), 15-26 (1994)
-
(1994)
Science in China A
, vol.37
, Issue.1
, pp. 15-26
-
-
Zhang, J.Z.1
Yang, L.2
Yang, X.C.3
|