Sciweavers

13

JSC
2002

39views more JSC 2002»

Continuously Parameterized Symmetries and Buchberger's Algorithm

13 years 11 months ago

Continuously Parameterized Symmetries and Buchberger's Algorithm

Download www.ricam.oeaw.ac.at

Ralf Hemmecke

claim paper

Read More »

20

JSC
2002

58views more JSC 2002»

Computing Rational Forms of Integer Matrices

13 years 11 months ago

Computing Rational Forms of Integer Matrices

Download www.cs.uwaterloo.ca

Mark Giesbrecht, Arne Storjohann

claim paper

Read More »

40

JSC
2002

84views more JSC 2002»

A Constructive Algebraic Hierarchy in Coq

13 years 11 months ago

A Constructive Algebraic Hierarchy in Coq

Download www.cs.ru.nl

We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan ...

claim paper

Read More »

12

JSC
2002

56views more JSC 2002»

Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic

13 years 11 months ago

Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic

Download www.ricam.oeaw.ac.at

Elisabetta Fortuna, Patrizia M. Gianni, Barry M. T...

claim paper

Read More »

31

JSC
2002

68views more JSC 2002»

Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups

13 years 11 months ago

Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups

Download www.lib.uoi.gr

, Allen C.) see Innovations in teaching abstract algebra, 2003b:00019 Littlewood, D. E. The skeleton key of mathematics. (English summary) 2003j:01046 Magnin, Louis Quelques questi...

Bettina Eick

claim paper

Read More »

18

JSC
2002

58views more JSC 2002»

Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices

13 years 11 months ago

Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices

Download comet.lehman.cuny.edu

Ioannis Z. Emiris, Victor Y. Pan

claim paper

Read More »

16

JSC
2002

42views more JSC 2002»

Linear Differential Operators for Polynomial Equations

13 years 11 months ago

Linear Differential Operators for Polynomial Equations

Download www4.ncsu.edu

Olivier Cormier, Michael F. Singer, Barry M. Trage...

claim paper

Read More »

12

JSC
2002

40views more JSC 2002»

A Fast Euclidean Algorithm for Gaussian Integers

13 years 11 months ago

A Fast Euclidean Algorithm for Gaussian Integers

Download www.csie.nuk.edu.tw

George E. Collins

claim paper

Read More »

16

JSC
2002

51views more JSC 2002»

Identities for the Associator in Alternative Algebras

13 years 11 months ago

Identities for the Associator in Alternative Algebras

Download math.usask.ca

Murray R. Bremner, Irvin Roy Hentzel

claim paper

Read More »

21

JSC
2002

51views more JSC 2002»

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

13 years 11 months ago

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

Download www.ginac.de

Christian Bauer, Alexander Frink, Richard Kreckel

claim paper

Read More »