Sciweavers

3

JSC
2002

39views more JSC 2002»

Continuously Parameterized Symmetries and Buchberger's Algorithm

13 years 5 months ago

Continuously Parameterized Symmetries and Buchberger's Algorithm

Download www.ricam.oeaw.ac.at

Ralf Hemmecke

claim paper

Read More »

4

JSC
2002

58views more JSC 2002»

Computing Rational Forms of Integer Matrices

13 years 5 months ago

Computing Rational Forms of Integer Matrices

Download www.cs.uwaterloo.ca

Mark Giesbrecht, Arne Storjohann

claim paper

Read More »

15

JSC
2002

84views more JSC 2002»

A Constructive Algebraic Hierarchy in Coq

13 years 5 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 »

7

JSC
2002

56views more JSC 2002»

Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic

13 years 5 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 »

14

JSC
2002

68views more JSC 2002»

Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups

13 years 5 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 »

6

JSC
2002

58views more JSC 2002»

Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices

13 years 5 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 »

3

JSC
2002

42views more JSC 2002»

Linear Differential Operators for Polynomial Equations

13 years 5 months ago

Linear Differential Operators for Polynomial Equations

Download www4.ncsu.edu

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

claim paper

Read More »

5

JSC
2002

40views more JSC 2002»

A Fast Euclidean Algorithm for Gaussian Integers

13 years 5 months ago

A Fast Euclidean Algorithm for Gaussian Integers

Download www.csie.nuk.edu.tw

George E. Collins

claim paper

Read More »

5

JSC
2002

51views more JSC 2002»

Identities for the Associator in Alternative Algebras

13 years 5 months ago

Identities for the Associator in Alternative Algebras

Download math.usask.ca

Murray R. Bremner, Irvin Roy Hentzel

claim paper

Read More »

10

JSC
2002

51views more JSC 2002»

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

13 years 5 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 »