Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Gröbner Bases and Systems Theory
Multidimensional Systems and Signal Processing
A Constructive Approach to Stabilizability and Stabilization of a Class of nD Systems
Multidimensional Systems and Signal Processing
Gröbner Bases: A Short Introduction for Systems Theorists
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Remarks on Geometric Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
The integration of systems of linear PDEs using conservation laws of syzygies
Journal of Symbolic Computation - Special issue: Algebra and computer analysis
Computer algebra handbook
Transform methods for the hypergeometric distribution
Statistics and Computing
Admissible orderings and finiteness criteria for differential standard bases
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Computational communicative algebra
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Are Buchberger's criteria necessary for the chain condition?
Journal of Symbolic Computation
Controlled Markov chains, graphs, and Hamiltonicity
Foundations and Trends® in Stochastic Systems
Gröbner bases and Diophantine analysis
Journal of Symbolic Computation
Algebraic Attacks on the Courtois Toy Cipher
Cryptologia
Estimate-based goodness-of-fit test for large sparse multinomial distributions
Computational Statistics & Data Analysis
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Expressing combinatorial problems by systems of polynomial equations and hilbert's nullstellensatz
Combinatorics, Probability and Computing
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
Modular Algorithms for Computing a Generating Set of the Syzygy Module
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Computing zero-dimensional schemes
Journal of Symbolic Computation
Generic initial ideals of points and curves
Journal of Symbolic Computation
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
CoCoALib: a C++ library for computations in commutative algebra ... and beyond
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Space-efficient Gröbner basis computation without degree bounds
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders
Theoretical Computer Science
Sequential importance sampling of binary sequences
Statistics and Computing
Journal of Symbolic Computation
Sudokus and Gröbner bases: not only a divertimento
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Complexity of Gröbner basis detection and border basis detection
Theoretical Computer Science
Simple varieties for limited precision points
Theoretical Computer Science
The termination of the F5 algorithm revisited
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hi-index | 0.00 |
This is a book about Grbner bases and their applications. It contains 3 chapters, 20 sections, 44 tutorials, 165 exercises, and numerous further amusements. It is going to help you bridge the gap between theoretical computer algebra and actual computation. We hope you will have as much fun reading it as the authors had writing it! From the reviews: "This is one of the most refreshing mathematical books I have ever held in my hands. This is academic teaching at its best;" (H.Stetter, IMN 2003) "Every paragraph of the book shows how much the authors have enjoyed translating into printed matter the outcome of a long, large, deep and personal relation with computationally oriented commutative algebra." (L.Gonzlez-Vega and T.Recio, ACM SIGSAM Bull. 2004) "Each section begins with a quotation and an overview in which "Italian imagination overtakes German rigor". These introductions and the following main bodies of each section are well written, engaging and often amusing. The book is a pleasure to read." (J.Little, Math. Reviews 2001)