메뉴 건너뛰기




Volumn 4869 LNAI, Issue , 2007, Pages 203-211

Constructing a tetrahedron with prescribed heights and widths

Author keywords

Generalized cayley menger algebra; Geometric constraint solving; Widths of a tetrahedron

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; PROBLEM SOLVING;

EID: 38549121758     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77356-6_13     Document Type: Conference Paper
Times cited : (3)

References (15)
  • 2
    • 0242305848 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 9
    • 7444235996 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.