-
1
-
-
0002803133
-
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
-
2
-
-
4243929099
-
Combining computer algebra and rule based reasoning
-
Bündgen, R.: Combining computer algebra and rule based reasoning. In: Proc. AISMC-2 (Cambridge, UK, August 3-5, 1994), LNCS 958, pp. 209-223 (1995).
-
(1995)
Proc. AISMC-2 (Cambridge, UK, August 3-5, 1994), LNCS
, vol.958
, pp. 209-223
-
-
Bündgen, R.1
-
3
-
-
0039749938
-
Clifford term rewriting for geometric reasoning in 3D
-
Boy de la Tour, T., Fèvre, S., Wang, D.: Clifford term rewriting for geometric reasoning in 3D. In: Automated deduction in geometry (X.-S. Gao, D. Wang, L. Yang, eds.), LNAI 1669, pp. 130-155 (1999).
-
(1999)
Automated Deduction in Geometry (X.-S. Gao, D. Wang, L. Yang, eds.), LNAI
, vol.1669
, pp. 130-155
-
-
Boy De La Tour, T.1
Fèvre, S.2
Wang, D.3
-
4
-
-
84956993981
-
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
-
5
-
-
84957050186
-
Proving geometric theorems using Clifford algebra and rewrite rules
-
Fèvre, S., Wang, D.: Proving geometric theorems using Clifford algebra and rewrite rules. In: Proc. CADE-15 (Lindau, Germany, July 5-10, 1998), LNAI 1421, pp. 17-32.
-
(1998)
Proc. CADE-15 (Lindau, Germany, July 5-10, 1998), LNAI
, vol.1421
, pp. 17-32
-
-
Fèvre, S.1
Wang, D.2
-
6
-
-
84961375238
-
Combining algebraic computing and term-rewriting for geometry theorem proving
-
Fèvre, S., Wang, D.: Combining algebraic computing and term-rewriting for geometry theorem proving. In: Proc. AISC '98 (Plattsburgh, USA, September 16-18, 1998), LNAI 1476, pp. 145-156.
-
(1998)
Proc. AISC '98 (Plattsburgh, USA, September 16-18, 1998), LNAI
, vol.1476
, pp. 145-156
-
-
Fèvre, S.1
Wang, D.2
-
8
-
-
84957085683
-
Combining theorem proving and symbolic mathematical computing
-
Homann, K., Calmet, J.: Combining theorem proving and symbolic mathematical computing. In: Proc. AISMC-2 (Cambridge, UK, August 3-5, 1994), LNCS 958, pp. 18-29 (1995).
-
(1994)
Proc. AISMC-2 (Cambridge, UK, August 3-5, 1994), LNCS
, vol.958
, pp. 18-29
-
-
Homann, K.1
Calmet, J.2
-
10
-
-
0039157546
-
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
-
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
-
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
-
13
-
-
84957636799
-
GEOTHER: A geometry theorem prover
-
Wang, D.: GEOTHER: A geometry theorem prover. In: Proc. CADE-13 (New Brunswick, USA, July 30 - August 3, 1996), LNAI 1104, pp. 166-170.
-
(1996)
Proc. CADE-13 (New Brunswick, USA, July 30 - August 3, 1996), LNAI
, vol.1104
, pp. 166-170
-
-
Wang, D.1
-
14
-
-
84957043074
-
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
|