Results 1  10
of
296
A New Efficient Algorithm for Computing Gröbner Bases (F4)
 IN: ISSAC ’02: PROCEEDINGS OF THE 2002 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
, 2002
"... This paper introduces a new efficient algorithm for computing Gröbner bases. To avoid as much as possible intermediate computation, the algorithm computes successive truncated Gröbner bases and it replaces the classical polynomial reduction found in the Buchberger algorithm by the simultaneous reduc ..."
Abstract

Cited by 372 (56 self)
 Add to MetaCart
(Show Context)
This paper introduces a new efficient algorithm for computing Gröbner bases. To avoid as much as possible intermediate computation, the algorithm computes successive truncated Gröbner bases and it replaces the classical polynomial reduction found in the Buchberger algorithm by the simultaneous reduction of several polynomials. This powerful reduction mechanism is achieved by means of a symbolic precomputation and by extensive use of sparse linear algebra methods. Current techniques in linear algebra used in Computer Algebra are reviewed together with other methods coming from the numerical field. Some previously untractable problems (Cyclic 9) are presented as well as an empirical comparison of a first implementation of this algorithm with other well known programs. This comparison pays careful attention to methodology issues. All the benchmarks and CPU times used in this paper are frequently updated and available on a Web page. Even though the new algorithm does not improve the worst case complexity it is several times faster than previous implementations both for integers and modulo computations.
Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Gröbner bases
"... ..."
(Show Context)
REDLOG Computer Algebra Meets Computer Logic
 ACM SIGSAM Bulletin
, 1996
"... . redlog is a package that extends the computer algebra system reduce to a computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of firstorder formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods applied know a ..."
Abstract

Cited by 131 (30 self)
 Add to MetaCart
(Show Context)
. redlog is a package that extends the computer algebra system reduce to a computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of firstorder formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods applied know about the underlying algebraic theory and make use of it. Though the focus is on simplification, parametric linear optimization, and quantifier elimination, redlog is designed as a generalpurpose system. We describe the functionality of redlog as it appears to the user, and explain the design issues and implementation techniques. ? The second author was supported by the dfg (Schwerpunktprogramm: Algorithmische Zahlentheorie und Algebra) 1 Introduction redlog stands for reduce logic system. It provides an extension of the computer algebra system (cas) reduce to a computer logic system (cls) implementing symbolic algorithms on firstorder formulas w.r.t. temporarily fixed firstorder languag...
Using the Groebner basis algorithm to find proofs of unsatisfiability
, 1996
"... A propositional proof system can be viewed as a nondeterministic algorithm for the (coNP complete) unsatisfiability problem. Many such proof systems, such as resolution, are also used as the basis for heuristics which deterministically search for short proofs in the system. We discuss a propositio ..."
Abstract

Cited by 117 (5 self)
 Add to MetaCart
A propositional proof system can be viewed as a nondeterministic algorithm for the (coNP complete) unsatisfiability problem. Many such proof systems, such as resolution, are also used as the basis for heuristics which deterministically search for short proofs in the system. We discuss a propositional proof system based on algebraic reasoning, which we call the Groebner proof system because of a tight connection to the Groebner basis algorithm. For an appropriate measure of proof size, we show that (a degreelimited implementation of) the Groebner basis algorithm finds a Groebner proof of a tautology in time polynomial in the size of the smallest such proof, In other words, unlike most proof systems, the nondeterministic algorithm can be converted to a deterministic one without loss in power. We then compare the power of the Groebner proof system to more studied systems. We show that the Groebner system polynomially simulates Horn clause resolution, quasipolynomially simulates tree...
On the complexity of Gröbner basis computation of semiregular overdetermined . . .
, 2004
"... ..."
Noncommutative Elimination in Ore Algebras Proves Multivariate Identities
 J. SYMBOLIC COMPUT
, 1996
"... ... In this article, we develop a theory of @finite sequences and functions which provides a unified framework to express algorithms proving and discovering multivariate identities. This approach is vindicated by an implementation. ..."
Abstract

Cited by 109 (13 self)
 Add to MetaCart
... In this article, we develop a theory of @finite sequences and functions which provides a unified framework to express algorithms proving and discovering multivariate identities. This approach is vindicated by an implementation.
An introduction to commutative and noncommutative Gröbner bases
 Theoretical Computer Science
, 1994
"... In 1965, Buchberger introduced the notion of Gröbner bases for a polynomial ideal and an algorithm (Buchberger Algorithm) for their computation ([B1],[B2]). Since the end of the Seventies, Gröbner bases have been an essential tool in the development of computational ..."
Abstract

Cited by 97 (3 self)
 Add to MetaCart
(Show Context)
In 1965, Buchberger introduced the notion of Gröbner bases for a polynomial ideal and an algorithm (Buchberger Algorithm) for their computation ([B1],[B2]). Since the end of the Seventies, Gröbner bases have been an essential tool in the development of computational
A Geometric Constraint Solver
, 1995
"... We report on the development of a twodimensional geometric constraint solver. The solver is a major component of a new generation of CAD systems that we are developing based on a highlevel geometry representation. The solver uses a graphreduction directed algebraic approach, and achieves interact ..."
Abstract

Cited by 72 (10 self)
 Add to MetaCart
(Show Context)
We report on the development of a twodimensional geometric constraint solver. The solver is a major component of a new generation of CAD systems that we are developing based on a highlevel geometry representation. The solver uses a graphreduction directed algebraic approach, and achieves interactive speed. We describe the architecture of the solver and its basic capabilities. Then, we discuss in detail how to extend the scope of the solver, with special emphasis placed on the theoretical and human factors involved in finding a solution  in an exponentially large search space  so that the solution is appropriate to the application and the way of finding it is intuitive to an untrained user. 1 Introduction Solving a system of geometric constraints is a problem that has been considered by several communities, and using different approaches. For example, the symbolic computation community has considered the general problem, in the Supported in part by ONR contract N0001490J...
Gröbner Bases Of Ideals Defined By Functionals With An Application To Ideals Of Projective Points
, 1996
"... In this paper we study Odimensional polynomial ideals defined by a dual basis, i.e. as the set of polynomials which are in the kernel of a set of linear morhpisms from the polynomial ring to the base field. For such ideals, we give polynomial complexity algorithms to compute a Gröbner basis, genera ..."
Abstract

Cited by 51 (5 self)
 Add to MetaCart
In this paper we study Odimensional polynomial ideals defined by a dual basis, i.e. as the set of polynomials which are in the kernel of a set of linear morhpisms from the polynomial ring to the base field. For such ideals, we give polynomial complexity algorithms to compute a Gröbner basis, generalizing the BuchbergerMöller algorithm for computing a basis of an ideals vanishing at a set of points and the FGLM basis conversion algorithm. As an application