• Publications
  • Influence
Gröbner bases - a computational approach to commutative algebra
1: Commutative Rings with Unity. 2: Polynomial Rings. 3: Vector Spaces and Modules. 4: Orders and Abstract Reduction Relations. 5: Gr bner Bases. 6: First Applications of Gr bner Bases. 7: FieldExpand
  • 1,062
  • 83
Solvable polynomial rings
  • 86
  • 12
Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases
TLDR
Some notes on the computation of Groebner Bases using Buchberger's algorithm over different coefficient domains and the solution of systems of algebraic equations. Expand
  • 141
  • 6
Computing Dimension and Independent Sets for Polynomial Ideals
TLDR
We present an algorithm that computes the dimension and maximal independent sets for a polynomial ideal I from a Grobner basis for I with respect to a lexicographical term order, and extends Buchberger's test for zero-dimensionality. Expand
  • 83
  • 6
  • PDF
On a Java computer algebra system, its performance and applications
  • H. Kredel
  • Computer Science
  • Sci. Comput. Program.
  • 1 February 2008
TLDR
This paper considers Java as an implementation language for a starting part of computer algebra library. Expand
  • 18
  • 1
Mas Modula-2 Algebra System
TLDR
Modula-2 replaces the ALDES language and the FORTRAN implementation system of SAC-2 for computer algebra system . Expand
  • 20
  • 1
On the design of a Java computer algebra system
  • H. Kredel
  • Computer Science
  • PPPJ '06
  • 30 August 2006
TLDR
This paper considers Java as an implementation language for a starting part of a computer algebra library that is type-safe and thread-safe. Expand
  • 16
  • 1
  • PDF
Unique Factorization Domains in the Java Computer Algebra System
  • H. Kredel
  • Computer Science
  • Automated Deduction in Geometry
  • 22 September 2008
TLDR
This paper describes the implementation of recursive algorithms in unique factorization domains, namely multivariate polynomial greatest common divisors (gcd) and factorization into irreducible parts in the Java computer algebra library (JAS). Expand
  • 7
  • 1
Primary ideal decomposition
  • H. Kredel
  • Mathematics, Computer Science
  • EUROCAL
  • 2 June 1987
TLDR
We present a set of algorithms which are already implemented in the SAC-2 Computer Algebra System and a complete example of a primary decomposition using these programs. Expand
  • 11
  • 1
Parametric Solvable Polynomial Rings and Applications
  • H. Kredel
  • Mathematics, Computer Science
  • CASC
  • 14 September 2015
TLDR
In this paper we explore novel areas of solvable polynomial rings which have partly been addressed in theory, but lack implementations in computer algebra systems. Expand
  • 6
  • 1
...
1
2
3
4
5
...