Result 1 to 12 of 12 total
Constructive $D$-module theory with {\tt Singular}. (English)
Math. Comput. Sci. 4, No. 2-3, 359-383 (2010).
1
Computations in the ring of quaternionic polynomials. (English)
J. Symb. Comput. 45, No. 1, 38-45 (2010).
2
Computing one of Victor Moll’s irresistible integrals with computer algebra. (English)
Comput. Sci. J. Mold. 16, No. 1, 35-49 (2008).
3
Effective scalar products of D-finite symmetric functions. (English)
J. Comb. Theory, Ser. A 112, No. 1, 1-43 (2005).
4
On the finiteness of Gröbner bases computation in quotients of the free algebra. (English)
Appl. Algebra Eng. Commun. Comput. 11, No. 3, 157-180 (2001).
5
Canonical subalgebra bases in non-commutative polynomial rings. (English)
Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13‒15, 1998. New York, NY: ACM Press. 140-146 (1998).
6
On some basic applications of Gröbner bases in non-commutative polynomial rings. (English)
Buchberger, Bruno (ed.) et al., Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases", Linz, Austria, February 2-4, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 463-472 (1998).
7
The ideal membership problem in non-commutative polynomial rings. (English)
J. Symb. Comput. 22, No.1, 27-48 (1996).
8
Gröbner bases in Clifford and Grassmann algebras. (English)
J. Symb. Comput. 20, No.2, 197-205 (1995).
9
Finite Gröbner bases in non-Noetherian skew polynomial rings. (English)
Wang, Paul S. (ed.), International symposium on Symbolic and algebraic computation 92. ISSAC 92. Berkeley, CA, USA, July 27‒29, 1992. Baltimore, MD: ACM Press. 329-334 (1992).
10
Non-commutative Gröbner bases in algebras of solvable type. (English)
J. Symb. Comput. 9, No. 1, 1-26 (1990).
11
Standard bases and non-noetherianity: Non-commutative polynomial rings. (English)
Applicable algebra, error-correcting codes, combinatorics and computer algebra, Proc. 4th Int. Conf., Karlsruhe/FRG 1986, Lect. Notes Comput. Sci. 307, 98-109 (1988).
12
Result 1 to 12 of 12 total