메뉴 건너뛰기




Volumn 39, Issue 1-2, 1999, Pages 85-104

Combining Clifford algebraic computing and term-rewriting for geometric theorem proving

Author keywords

Algebraic computing; Clifford algebra; Geometric theorem proving; System combination; Term rewriting

Indexed keywords


EID: 17544404472     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-391205     Document Type: Article
Times cited : (1)

References (15)
  • 1
    • 0002803133 scopus 로고
    • Gröbner bases: An algorithmic method in polynomial ideal theory
    • N. K. Bose, ed., D. Reidel, Dordrecht Boston
    • Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Multidimensional systems theory (N. K. Bose, ed.), D. Reidel, Dordrecht Boston, pp. 184-232 (1985).
    • (1985) Multidimensional Systems Theory , pp. 184-232
    • Buchberger, B.1
  • 4
    • 84956993981 scopus 로고    scopus 로고
    • Integration of reasoning and algebraic calculus in geometry
    • Fèvre, S.: Integration of reasoning and algebraic calculus in geometry. In: Automated deduction in geometry (D. Wang, ed.), LNAI 1360, pp. 218-234 (1998).
    • (1998) Automated Deduction in Geometry (D. Wang, ed.), LNAI , vol.1360 , pp. 218-234
    • Fèvre, S.1
  • 10
    • 0039157546 scopus 로고    scopus 로고
    • Vectorial equations-solving for mechanical geometry theorem proving
    • to appear
    • Li, H.: Vectorial equations-solving for mechanical geometry theorem proving. J. Automat. Reason, (to appear).
    • J. Automat. Reason
    • Li, H.1
  • 11
    • 0040342025 scopus 로고    scopus 로고
    • Proving theorems in elementary geometry with Clifford algebraic method
    • Li, H., Cheng, M.-t.: Proving theorems in elementary geometry with Clifford algebraic method. Chinese Math. Progress 26: 357-371 (1997).
    • (1997) Chinese Math. Progress , vol.26 , pp. 357-371
    • Li, H.1    Cheng, M.-T.2
  • 12
    • 0030101584 scopus 로고    scopus 로고
    • Normalized rewriting: An alternative to rewriting modulo a set of equations
    • Marché, C.: Normalized rewriting: An alternative to rewriting modulo a set of equations. J. Symb. Comput. 3: 253-288 (1996).
    • (1996) J. Symb. Comput. , vol.3 , pp. 253-288
    • Marché, C.1
  • 14
    • 84957043074 scopus 로고    scopus 로고
    • Clifford algebraic calculus for geometric reasoning with application to computer vision
    • Wang, D.: Clifford algebraic calculus for geometric reasoning with application to computer vision. In: Automated deduction in geometry (D. Wang, ed.), LNAI 1360, pp. 115-140 (1998).
    • (1998) Automated Deduction in Geometry (D. Wang, ed.), LNAI , vol.1360 , pp. 115-140
    • Wang, D.1


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