Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Result of the search:

3421 publications found.

# Year Title Author(s) File Bibtex URL
0001 1964 Current status of the resolution problem Shreeram Abhyankar
Go To Publication
0002 1965 Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal Bruno Buchberger
Go To Publication
0003 1970 Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems Bruno Buchberger
Go To Publication
0004 1975 Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition George E. Collins
Go To Publication
0005 1976 A Theoretical Basis for the Reduction of Polynomials to Canonical Forms Bruno Buchberger
Go To Publication
0006 1976 Some Properties of Gröbner Bases for Polynomial Ideals Bruno Buchberger
Go To Publication
0007 1978 An Improved Algorithmic Construction of Gröbner Bases for Polynomial Ideals Bruno Buchberger, Christoph Kollreider
Go To Publication
0008 1978 Generalized Groebner Bases in Commutative Polynomial Rings Greg L. Zacharias
Go To Publication
0009 1979 A criterion for Detecting Unnecessary Reductions in the Construction of Groebner Bases Bruno Buchberger
Go To Publication
0010 1979 Miscellaneous Results on the Construction of Gröbner-Bases for Polynomial Ideals Bruno Buchberger, Franz Winkler
Go To Publication
0011 1980 A Simplified Proof of the Characterization Theorem for Groebner-Bases Leo Bachmair, Bruno Buchberger
Go To Publication
0012 1981 H-bases and Groebner-Bases for Polynomial Ideals Bruno Buchberger
Go To Publication
0013 1981 Mathematik für Informatik I – Die Methode der Mathematik Bruno Buchberger, Franz Lichtenberger
Go To Publication
0014 1981 On Solving Systems of Algebraic Equations via ideal Bases and Elimination Theory Michael E. Pohst, David Y. Y. Yun
Go To Publication
0015 1982 Computer Algebra - Symbolic and Algebraic Computation Bruno Buchberger, George E. Collins, Rüdiger Loos
Go To Publication
0016 1982 The complexity of the word problems for commutative semigroups and polynomial ideals Ernst W. Mayr, Albert Meyer
Go To Publication
0017 1982 The Construction of Multivariate Polynomials with Preassigned Zeros Bruno Buchberger, Hans Michael Möller
Go To Publication
0018 1983 A constructive characterization of standard bases Ferdinando Mora
Go To Publication
0019 1983 A Critical-Pair/Completion Algorithm in Reduction Rings Bruno Buchberger
Go To Publication
0020 1983 A Note on the Complexity of Constructing Gröbner-Bases Bruno Buchberger
Go To Publication
0021 1983 Algorithmes de calcul de base standard Andre Galligo
Go To Publication
0022 1983 An Algorithm for Construction Detaching Bases in the Ring of Polynomials over a Field Franz Winkler
Go To Publication
0023 1983 Efficient Computation of Fundamental Invariants an Approach Usnig Buchberger’s Groebner Bases Method Bernd Sturmfels, Neil White
Go To Publication
0024 1983 Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations Daniel Lazard
Go To Publication
0025 1983 Miscellaneous Results on the Gröbner-Bases for Polynomial Ideals II Bruno Buchberger
Go To Publication
0026 1983 On constructing bases for ideals in polynomial rings over the integers Christine W Ayoub
Go To Publication
0027 1984 A critical-pair/completion algorithm for finitely generated ideals in rings Bruno Buchberger
Go To Publication
0028 1984 A Practical Algorithms for Computing the Grobner Basis of a Polynomial Ideals over a Euclidian Rings Abdelilah Kandri-Rody, Deepak Kapur
Go To Publication
0029 1984 Algorithms for Computing Grobner Basis of Polynomial Ideals over Various Euclidian Rings Abdelilah Kandri-Rody, Deepak Kapur
Go To Publication
0030 1984 An Algorithm for Computing the Grb'bner Basis of a Polynomial Ideal over an Euclidean Ring Abdelilah Kandri-Rody, Deepak Kapur
Go To Publication
0031 1984 Computing the Groebner basis of an ideal in polynomial rings over the integers Abdelilah Kandri-Rody, Deepak Kapur
Go To Publication
0032 1984 Implicit equation for a parametric surface by Groebner basis Dennis S. Arnon, Thomas W. Sederberg
Go To Publication
0033 1984 On computing the determinant in small parallel time using a small number of processors Stuart J. Berkowitz
Go To Publication
0034 1984 On the Complexity of the Groebner-Bases Algorithm over K[x, y, z] Franz Winkler
Go To Publication
0035 1984 On the Complexity of the Groebner-Bases Algorithm over K[x,y,z] Franz Winkler
Go To Publication
0036 1984 Primality of Ideals in polynomial Rings Abdelilah Kandri-Rody, B. David Saunders
Go To Publication
0037 1984 Some Effectivity Problems in Polynomial Ideal Theory Marc Giusti
Go To Publication
0038 1985 An Algorithm for Calculations in Enveloping Algebras Joachim Apel, Wolfgang Lassner
Go To Publication
0039 1985 An Algorithm for Constructing Canonical Bases of Polynomial Ideals Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek, Franz Winkler
Go To Publication
0040 1985 An Algorithm for Determining Polynomial First Integrals of Autonomous Systems of Ordinary Differential Equations Fritz Schwarz
Go To Publication
0041 1985 Existence and construction of a Grobner basis for a polynomial ideal Deepak Kapur, Paliath Narendran
Go To Publication
0042 1985 Gröbner-Bases: An Algorithmic Method in Polynomial Ideal Theory. Bruno Buchberger
Go To Publication
0043 1985 Ideal bases and primary decomposition: case of two variables Daniel Lazard
Go To Publication
0044 1985 On Improving Approximate Results of Buchberger’s Algorithm by Newton’s Method W. Trinks
Go To Publication
0045 1985 Reducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches” Franz Winkler
Go To Publication
0046 1986 A new Algorithm for Computing Groebner Bases H. Lombardi
Go To Publication
0047 1986 A superexponential lower bound for Gröbner bases and church-Rosser Commutative Thue systems Dung T Huynh
Go To Publication
0048 1986 Automated geometry theorem proving using Buchberger's algorithm Bernhard Kutzler, Sabine Stifter
Go To Publication
0049 1986 Buchberger's algorithm and staggered linear bases Rüdiger Gebauer, Hans Michael Möller
Go To Publication
0050 1986 Canonical Forms in Finitely Presented Algebras, an Application to Groups Philippe Le Chenadec
Go To Publication
0051 1986 Computation of Reduced Gröbner Bases and Syzygies in Enveloping Algebras Joachim Apel, Wolfgang Lassner
Go To Publication
0052 1986 Computer Algebra: Past and Future B. F. Caviness
Go To Publication
0053 1986 Constructing universal unfoldings using Gröbner bases D. Armbruster, Heinz Kredel
Go To Publication
0054 1986 Geometry Theorem Proving Using Hilbert’s Nullstellensatz Deepak Kapur
Go To Publication
0055 1986 Groebner Bases for Non-Commutative Polynomial Rings Ferdinando Mora
Go To Publication
0056 1986 Ideal bases and valuation rings Moss Sweedler
Go To Publication
0057 1986 New constructive methods in classical ideal theory Ferdinando Mora, Hans Michael Möller
Go To Publication
0058 1986 Notes on Groebner Bases Bud Mishra, Chee-K. K. Yap
Go To Publication
0059 1986 On implementing Buchberger's algorithm for Grobner bases Stephen R. Czapor, Keith O. Geddes
Go To Publication
0060 1986 On the application of Buchberger's algorithm to automated geometry theorem proving Bernhard Kutzler, Sabine Stifter
Go To Publication
0061 1986 On the Theory of Graded Structures Lorenzo Robbiano
Go To Publication
0062 1986 Some examples for solving systems of algebraic equations by calculating Groebner W. Boege, Rüdiger Gebauer, Heinz Kredel
Go To Publication
0063 1986 Standard Bases in Non-Commutative Polynomial Rings Ferdinando Mora
Go To Publication
0064 1986 The Complexity of the Membership Problem for Two Subclasses of Polynomial Ideals Dung T Huynh
Go To Publication
0065 1986 The Gröbner Basis of a Module over K[X1,...,Xn] and Polynomial Solutions of a System of Linear Equations Akio Furukawa, Hidetsune Kobayashi, Tateaki Sasaki
Go To Publication
0066 1986 Using Gröbner bases to reason about geometry problems Deepak Kapur
Go To Publication
0067 1987 A new implementation of Buchberger's algorithm Rüdiger Gebauer, Hans Michael Möller
Go To Publication
0068 1987 Algebraic Solution of Systems of Polynomial Equations Using Groebner Bases Patrizia M. Gianni, Ferdinando Mora
Go To Publication
0069 1987 An Algebraic Approach to Unification Under Associativity and Commutativity Albrecht Fortenbacher
Go To Publication
0070 1987 Applications of Groebner Bases Michael Kalkbrener
Go To Publication
0071 1987 Associative-Commutative Unification F. Fages
Go To Publication
0072 1987 Closure Relations, Buchberger's Algorithm, and Polynomials in Infinitely Many Variables Daniel E. Cohen
Go To Publication
0073 1987 Construction of Groebner Bases Over Special Rings Deepak Kapur, Klaus Madlener
Go To Publication
0074 1987 Groebner bases and differential algebra Giuseppa Carrà Ferro
Go To Publication
0075 1987 Groebner Bases and the Word Problem Ferdinando Mora
Go To Publication
0076 1987 Groebner bases, Ritt's algorithm and decision procedures for algebraic theories Giuseppa Carrà Ferro, Giorgio Gallo
Go To Publication
0077 1987 History and Basic Features of the Critical-Pair/Completion Procedure Bruno Buchberger
Go To Publication
0078 1987 Mechanical geometry theorem proving Shang-Ching Chou
Go To Publication
0079 1987 Seven Variations on Standard Bases Ferdinando Mora
Go To Publication
0080 1987 Solving Algebraic Equations via Buchberger's Algorithm Stephen R. Czapor
Go To Publication
0081 1987 Standard Bases and Non-Noetherianity, Non-Commutative Polynomial Rings Ferdinando Mora
Go To Publication
0082 1987 Standard Bases, Macaulay Bases, Groebner Bases Lorenzo Robbiano
Go To Publication
0083 1987 Synthesis of two-dimensional linear feedback shift registers and Groebner bases Shojiro Sakata
Go To Publication
0084 1987 The theory of idempotent semigroups is of unification type zero Franz Baader
Go To Publication
0085 1988 A course in constructive algebra. Ray Mines, Fred Richman, Wim Ruitenburg
Go To Publication
0086 1988 A generalization of reduction rings Sabine Stifter
Go To Publication
0087 1988 A Note on Proofs for the Main Theorem in Gröbner Bases Theory Bruno Buchberger
Go To Publication
0088 1988 A p-adic approach to the computation of Gröbner bases Franz Winkler
Go To Publication
0089 1988 Admissible term orderings used in Computer Algebra Systems Heinz Kredel
Go To Publication
0090 1988 Algebraic Decomposition of Regular Curves Stefan Arnborg, Huichun Feng
Go To Publication
0091 1988 Algorithmische Aspekte zur Theorie der Gröbnerbasen Uwe Meinhold
Go To Publication
0092 1988 An Algorithm to compute Standard Bases Ferdinando Mora
Go To Publication
0093 1988 An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras Joachim Apel, Wolfgang Lassner
Go To Publication
0094 1988 Boolean Groebner Bases Ko Sakai, Yosuke Sato
Go To Publication
0095 1988 Combinatorial dimension theory of algebraic varieties Marc Giusti
Go To Publication
0096 1988 Computing a Gröbner basis of a polynomial ideal over a Euclidian domain Abdelilah Kandri-Rody, Deepak Kapur
Go To Publication
0097 1988 Computing dimension and independent sets for polynomial ideals Heinz Kredel, Volker Weispfenning
Go To Publication
0098 1988 Computing Dimension and Independent Sets for Polynomial Ideals Heinz Kredel, Volker Weispfenning
Go To Publication
0099 1988 Constructive lifting in graded structures: a unified view of Buchberger and Hensel methods A. Miola, Ferdinando Mora
Go To Publication
0100 1988 Critical Pair Criteria for Completion Leo Bachmair, Nachum Dershowitz
Go To Publication
0101 1988 Finding a Minimal Set of Linear Recurring Relations Capable of Generating a Given Finite Two-Dimensional Array Shojiro Sakata
Go To Publication
0102 1988 Greater Easy Common Divisor and Standard Basis Completion Algorithms Andre Galligo, Loïc Pottier, Carlo Traverso
Go To Publication
0103 1988 Groebner Bases Associated with Finite Monoids Miguel A. Borges-Trenard, Alejandro Lopez Ruiz
Go To Publication
0104 1988 Groebner Bases in Non-Commutative Algebras Ferdinando Mora
Go To Publication
0105 1988 Groebner Bases of Determinantal Ideals Bernd Sturmfels
Go To Publication
0106 1988 Gröbner bases and Hilbert schemes. I Giuseppa Carrà Ferro
Go To Publication
0107 1988 Gröbner bases and primary decomposition of polynomial ideals Patrizia M. Gianni, Barry M. Trager, Gail Zacharias
Go To Publication
0108 1988 Lifting canonical algorithms from a ring R to the ring R[x] R. Shtokhamer
Go To Publication
0109 1988 On an installation of Buchberger's algorithm Rüdiger Gebauer, Hans Michael Möller
Go To Publication
0110 1988 On Groebner Bases Computation on a Supercomputer Using REDUCE Herbert Melenk, Hans Michael Möller, Winfried Neun
Go To Publication
0111 1988 On recognisable properties of associative algebras Tatiana Gateva-Ivanova, Victor Latyshev
Go To Publication
0112 1988 On Solving a System of Algebraic Equitions by using Groebner Bases Shuichi Moritsugu
Go To Publication
0113 1988 On the applications of multi-equational resultants Chanderjit Bajaj, Thomas Garrity, Joe Warren
Go To Publication
0114 1988 On the Complexity of Computing Syzygies David Bayer, Michael Stillman
Go To Publication
0115 1988 On the computation of generalised standard bases Michela Brundu, Fabio Rossi
Go To Publication
0116 1988 On the construction of Gröbner bases using syzygies Hans Michael Möller
Go To Publication
0117 1988 Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure Deepak Kapur, David R. Musser, Paliath Narendran
Go To Publication
0118 1988 Parallel Polynomial Operations in the Buchberger Algorithm Herbert Melenk, Winfried Neun
Go To Publication
0119 1988 Pseudo-Natural Algorithms for Finitely Generated Presentations of Monoids and Groups Klaus Madlener, Friedrich Otto
Go To Publication
0120 1988 Solving Systems of Algebraic Equations by a General Elimination Method Tetsuro Fujise, Akio Furukawa, Hidetsune Kobayashi
Go To Publication
0121 1988 Some Bounds for the Construction of Gröbner Bases Volker Weispfenning
Go To Publication
0122 1988 Standard bases and geometric invariant theory. I. Initial ideals and state polytopes David Bayer, Ian Morrison
Go To Publication
0123 1988 The complexity of linear problems in fields Volker Weispfenning
Go To Publication
0124 1988 The Gröbner fan of an ideal Ferdinando Mora, Lorenzo Robbiano
Go To Publication
0125 1988 Unification in commutative idempotent monoids Franz Baader, Wolfram Büttner
Go To Publication
0126 1988 Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence David Shannon, Moss Sweedler
Go To Publication
0127 1989 A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm Franz Winkler
Go To Publication
0128 1989 An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal Klaus-Peter Schemmel
Go To Publication
0129 1989 CAL: a theoretical background of constraint logic programming and its applications Akira Aiba, Ko Sakai
Go To Publication
0130 1989 Careful Algebraic Translations of Geometry Theorems Bernhard Kutzler
Go To Publication
0131 1989 Computation of the cohomology of BSO_n <16> for 23<=n<=26 using REDUCE Tze Beng Ng
Go To Publication
0132 1989 Computing Primitive Elements of Extension Fields Masayuki Noro, Taku Takeshima, Kazuhiro Yokoyama
Go To Publication
0133 1989 Computing with Algebraic Series Alonso M. E., Raimondo M., Teo Mora
Go To Publication
0134 1989 Decomposing algebraic sets using Gröbner bases C. Andrew Neff
Go To Publication
0135 1989 Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity Porter S. C.
Go To Publication
0136 1989 Divisor Theory Harold M. Edwards
Go To Publication
0137 1989 Experimenting the GrÖBner Basis Algorithm with the A1PI System Donati L., Carlo Traverso
Go To Publication
0138 1989 Groebner Bases and Automorphisms of Polynomial Rings Wei Li
Go To Publication
0139 1989 Gröbner basis and the problem of contiguous relation Nobuki Takayama
Go To Publication
0140 1989 Gröbner Trace Algorithms Carlo Traverso
Go To Publication
0141 1989 How to compute the projective closure of an affine algebraic variety in subexponential time Leandro Caniglia, Andre Galligo, Joos Heintz
Go To Publication
0142 1989 Inversibility of Rational Mappings and Structural Identifiability in Automatics Francois Ollivier
Go To Publication
0143 1989 Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis Abdelilah Kandri-Rody, Deepak Kapur, Franz Winkler
Go To Publication
0144 1989 Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis Franz Winkler
Go To Publication
0145 1989 Membership in polynomial ideals over $Q$ is exponential space complete Ernst W. Mayr
Go To Publication
0146 1989 Notes on Gröbner Basis Bud Mishra, Chee-K. K. Yap
Go To Publication
0147 1989 On Hilbertian ideals Shreeram Abhyankar, Devadatta Kulkarni
Go To Publication
0148 1989 On radial zero-dimensional ideals Robert W. Hogan, Hidetsune Kobayashi, Shuichi Moritsugu
Go To Publication
0149 1989 On the Castelnuovo Regularity for Curves Marc Giusti
Go To Publication
0150 1989 On the Computer Solution of Symmetric Homogeneous Triangle Inequalities Ruiz S.
Go To Publication
0151 1989 On the D-Basis of Polynomial Ideals over Principal Ideal Domains Luquan Pan
Go To Publication
0152 1989 On the Jacobian conjecture: a new ap-proach via Groebner bases Shreeram Abhyankar, Wei Li
Go To Publication
0153 1989 Parallel evaluation of the determinant and of the inverse of a matrix Zvi Galil, Victor Y. Pan
Go To Publication
0154 1989 Properties of Gröbner bases under specializations Patrizia M. Gianni
Go To Publication
0155 1989 Solving Algebraic Equations: Combining Buchberger's Algorithm with Multivariate Factorization Stephen R. Czapor
Go To Publication
0156 1989 Solving systems of algebraic equations by using Gröbner bases Michael Kalkbrener
Go To Publication
0157 1989 Solving Systems of Non-Linear Polynomial Equations Faster John F. Canny, Erich Kaltofen, Y N Lakshman
Go To Publication
0158 1989 Solving Systems of Nonlinear Polynomial Equations Faster Castro-Jiménez, F., Erich Kaltofen, Yagati L.
Go To Publication
0159 1989 Some New Effectivity Bounds in Computational Geometry Leandro Caniglia, Andre Galligo, Joos Heintz
Go To Publication
0160 1989 Stability of Groebner Bases Niels Schwartz
Go To Publication
0161 1989 Unification in commutative theories Franz Baader
Go To Publication
0162 1989 Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups Wittkopf Allan D., Avenhaus J.
Go To Publication
0163 1990 A distributed Version of Buchberger’s Algorithm Jean-Philippe Vidal
Go To Publication
0164 1990 A Parallelization of the Buchberger Algorithm Bremner Murray R.
Go To Publication
0165 1990 An algorithm for the construction of matrix representations for finitely presented non-commutative algebras Gilles Labonté
Go To Publication
0166 1990 An Algorithm of Constructing the Integral of a module an Infinite dimensional Analog of Groebner Basis Nobuki Takayama
Go To Publication
0167 1990 An Algorithm of Constructing the Integral of a Module--an Infinite Dimensional Analog of GrÖBner Basis Nobuki Takayama
Go To Publication
0168 1990 An Introduction to the Theory of Groebner Bases from a Combinatorial Viewpoint A. Kovacec
Go To Publication
0169 1990 Applications of Groebner Bases in Commutative Group Theory Miguel A. Borges-Trenard
Go To Publication
0170 1990 Applications of {G}r{\"o}bner bases in commutative group theory Miguel A. Borges-Trenard
Go To Publication
0171 1990 Automated Reasoning in Geometries Using the Characteristic Set Method and Groebner Basis Method Shang-Ching Chou
Go To Publication
0172 1990 Automated Reasoning in Geometries Using the Characteristic Set Method and GrÖBner Basis Method Shang-Ching Chou
Go To Publication
0173 1990 Canonical Bases: Relation with Standard Bases, Finiteness Conditions and Application to Tame Automorphisms Francois Ollivier
Go To Publication
0174 1990 Computer Generation of Necessary Integrability Conditions for Polynomial-nonlinear Evolution Systems Gerdt Vladimir P., Zharkov A. Y.
Go To Publication
0175 1990 Finding a Basis for the Characteristic Ideal of an n-Dimensional Linear Recurring Sequence Patrick Fitzpatrick, Graham H. Norton
Go To Publication
0176 1990 Generalised Characteristic Polynomials John F. Canny
Go To Publication
0177 1990 Groebner Bases and Stanley Decompositions of Determinantal Rings Bernd Sturmfels
Go To Publication
0178 1990 Groebner Bases in Geometry Theorem Proving and Simplest Degeneracy Conditions Franz Winkler
Go To Publication
0179 1990 Gröbner Bases Computation in Strand: A Case Study for Concurrent Symbolic Computation in Logic Programming Languages Kurt Siegl
Go To Publication
0180 1990 Gröbner bases in exterior algebra Timothy Stokes
Go To Publication
0181 1990 Gröbner basis, integration and transcendental functions Nobuki Takayama
Go To Publication
0182 1990 Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm Charles C. Sims
Go To Publication
0183 1990 Implicitization by Using Groebner Bases Michael Kalkbrener
Go To Publication
0184 1990 Implicitization of Rational parametric Curves and Surfaces Michael Kalkbrener
Go To Publication
0185 1990 Intersection theorems and mod p rank of inclusion matrices P. Frankl
Go To Publication
0186 1990 Methods for Mechanical Geometry Formula Deriving Shang-Ching Chou, Xiao Shan Gao
Go To Publication
0187 1990 Minimum Degree Solutions for the Inverse Kinematics Problem by Application of the Groebner-Algorithm Péter Tamás Kovács
Go To Publication
0188 1990 Non-commutative Gröbner bases in algebras of solvable type Abdelilah Kandri-Rody, Volker Weispfenning
Go To Publication
0189 1990 On the Complexity of Computing Grobner Bases for the Radical of a Zero-Dimensional Ideal Y N Lakshman
Go To Publication
0190 1990 On the Conditions of Kukles for the Existence of a Centre Xiaofan Jin, Dongming Wang
Go To Publication
0191 1990 On the Construction of Groebner Basis of a Polynomial Ideal based on Riquier-Janet Theory, Wu Wen-tsun
Go To Publication
0192 1990 On the Isomorphism Problem for Finite-dimensional Binomial Algebras Kiyoshi Shirayanagi
Go To Publication
0193 1990 Parametric Groebner bases for non-commutative Polynomials Heinz Kredel, Volker Weispfenning
Go To Publication
0194 1990 Refutational Proofs of Geometry Theorems via Characteristic Set Computation Wan H. K., Deepak Kapur
Go To Publication
0195 1990 Solution of Equations I: Polynomial Ideals and Groebner Bases Franz Winkler
Go To Publication
0196 1990 Solving algebraic systems which arise as necessary integrability conditions for polynomial-nonlinear evolution equations Vladimir P. Gerdt, Nikolai V. Khutornoy, Alexey Yu. Zharkov
Go To Publication
0197 1990 Solving systems of bivariate algebraic equations by using primitive polynomial remainder sequences
Go To Publication
0198 1990 Stability and Buchberger Criterion for Standard Bases in Power Series Ring Thomas Becker
Go To Publication
0199 1990 Standard Bases and Some Computations in Rings of Power Series Thomas Becker
Go To Publication
0200 1990 Symbolic Solution Polynomial Equation Systems with Symmetry Gatemann K.
Go To Publication
0201 1990 The Concept of Gröbner Algebras P. Beckmann, Jürgen Stückrad
Go To Publication
0202 1990 The Extension of Groebner bases Theory and A Synthesis Algorithm of Two-Dimensional Arrays over Ring Z/(m) Zhou Jinjun, Zhou Yujie, Wang Zhenfa
Go To Publication
0203 1990 The Method of Differentiating under the Integral Sign Gert Almkvist, Doron Zeilberger
Go To Publication
0204 1990 The structure of polynomial ideals and Grobner bases Thomas W. Dubé
Go To Publication
0205 1991 "One Sugar Cube, Please" or Selection Strategies in the Buchberger Algorithm Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
Go To Publication
0206 1991 &Ldquo;One Sugar Cube, Please&Rdquo; or Selection Strategies in the Buchberger Algorithm Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
Go To Publication
0207 1991 2D shift-Register Synthesis and Groebner Bases of Polynomial Ideals over the Integer Residue Ring Shojiro Sakata
Go To Publication
0208 1991 A Dimension Series for Multivariate Splines Louis J. Billera, Lauren L. Rose
Go To Publication
0209 1991 A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic Equations, with Applications to Cyclic $n$-Roots Göran Björck, Ralph Fröberg
Go To Publication
0210 1991 A heuristic selection strategy for lexicographic Gröbner bases? Stephen R. Czapor
Go To Publication
0211 1991 A Heuristic Selection Strategy for Lexicographic GrÖNer Bases? Czapor S. R.
Go To Publication
0212 1991 A network implementation of Buchberger algorithm Giuseppe Attardi, Carlo Traverso
Go To Publication
0213 1991 A new Lower Bound Construction for Commutative Thue Systems with Applications Chee K. Yap
Go To Publication
0214 1991 A New Lower Bound Construction for the Word Problem for Commutative Thue Systems Chee-K. K. Yap
Go To Publication
0215 1991 A New Notion of Reduction: Generating Universal Gröbner Bases for K[x,y] W. Herfort, H. Penz
Go To Publication
0216 1991 A new notion of reduction: generating universal Gröbner bases of ideals in K[x,y] W. Herfort, H. Penz
Go To Publication
0217 1991 A Rewrite Approach to Polynomial Ideal Theory Mirjana Starvcevic
Go To Publication
0218 1991 A Theory for Parametric Linear Systems Sit William Y.
Go To Publication
0219 1991 An Algorithm for the Computation of the Radical of an Ideal in the Ring of Polynomials Teresa Krick, Alessandro Logar
Go To Publication
0220 1991 Application of Groebner Bases to the Resolution of Systems of Norm Equations Attila Pethö
Go To Publication
0221 1991 Application of GrÖBner Bases to the Resolution of Systems of Norm Equations Attila Pethö
Go To Publication
0222 1991 Applications of Gröbner Bases to Nonlinear Systems Krister Forsman
Go To Publication
0223 1991 Automating Inductionless Induction using Test Sets Deepak Kapur, Paliath Narendran, Hantao Zhang
Go To Publication
0224 1991 Basic results on ideals and varieties in finite fields Roger Germundsson
Go To Publication
0225 1991 Bounds for Degrees and Number of Elements in Gröbner Bases Lorenzo Robbiano
Go To Publication
0226 1991 Buchberger Algorithm and Integer Programming Pasqualina Conti, Carlo Traverso
Go To Publication
0227 1991 Calculation of polynomial GCD by Groebner basis E.A. Gaydar
Go To Publication
0228 1991 Canonical bases: relations with standard bases, finiteness conditions and application to tame automorphisms Francois Ollivier
Go To Publication
0229 1991 CASA: A Computer Algebra Package for Constructive Algebraic Geometry Wall B., Rüdiger Gebauer, Michael Kalkbrener, Franz Winkler
Go To Publication
0230 1991 Completion of Integral Polynomials by AC-term Completion Reinhard Bündgen
Go To Publication
0231 1991 Computational Algebraic Geometry of Projective Configurations Bernd Sturmfels
Go To Publication
0232 1991 Computations with Parametric Equations Shang-Ching Chou, Xiao Shan Gao
Go To Publication
0233 1991 Computing combinatorial decompositions of rings Bernd Sturmfels, Neil White
Go To Publication
0234 1991 Construction of Lyapunov Functions Using Gröbner Bases Krister Forsman
Go To Publication
0235 1991 Efficient Techniques for Multipolynomial Resultant Algorithms John F. Canny, Dinesh Manocha
Go To Publication
0236 1991 Elimination of Composite Superpositions May Cause Abortion Andrea Sattler-Klein
Go To Publication
0237 1991 FELIX - an assistant for alebraists Joachim Apel, Uwe Klaus
Go To Publication
0238 1991 FELIX&Mdash;an Assistant for Alebraists Joachim Apel, Uwe Klaus
Go To Publication
0239 1991 Finding a Groebner Basis of a Module Defined by a Vector of nD Arrays Shojiro Sakata
Go To Publication
0240 1991 Groebner Bases for Polynomial Ideals Keith O. Geddes
Go To Publication
0241 1991 Gröbner bases of ideals given by dual bases
Go To Publication
0242 1991 Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation Wolfgang Windsteiger
Go To Publication
0243 1991 Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation 3 Wolfgang Windsteiger
Go To Publication
0244 1991 Hodge Algebras and Standard Bases Hans-Gert Gräbe
Go To Publication
0245 1991 Homogenity, Pseudo-Homogenity, and Groebner Basis Computations Thomas Becker
Go To Publication
0246 1991 How to explain Buchberger’s Algorithm to Someone who does not know about Rewrite Rules Pedro Abelardo Garcia Sanchez
Go To Publication
0247 1991 How We Proved That There Are Exactly 924 Cyclic 7-roots J. Backelin, Ralph Fröberg
Go To Publication
0248 1991 Implicitization and Birational Projection of Varieties Michael Kalkbrener
Go To Publication
0249 1991 Lie-BÄCklund Symmetries of Coupled Nonlinear SchrÖDinger Equations Gerdt Vladimir P., Kornyak Vladimir V., Zjarkov A. Yu.
Go To Publication
0250 1991 Mechanical Manipulation for a Class of Differential Systems Dongming Wang
Go To Publication
0251 1991 Monomial orderings and Gröbner bases Fritz Schwarz
Go To Publication
0252 1991 Multi-valued logic and Gröbner bases with applications to modal logic Jose Antonio Alonso, Emilio Briales, Jaques Chazarain, Agustin Riscos
Go To Publication
0253 1991 New Methods for the Change-of-Ordering in Groebner Basis Computation Masayuki Noro, Kazuhiro Yokoyama
Go To Publication
0254 1991 Obtaining Exact Steady-state Responses in Driven Undamped Oscillators Cohen Ian, Thylwe Karl-Erik
Go To Publication
0255 1991 On the Complexity of Computing Groebner Bases for Zero Dimensional Polynomial Ideals Y N Lakshman
Go To Publication
0256 1991 On the computation of Hilbert-Poincar\'e Series Anna M. Bigatti, Massimo Caboara, Lorenzo Robbiano
Go To Publication
0257 1991 On the Synthetic Factorization of Projectively Invariant Polynomials Bernd Sturmfels, Walter Whiteley
Go To Publication
0258 1991 Parallel Multiplication and Powering of Polynomials Carl G. Ponder
Go To Publication
0259 1991 Parametric Gröbner bases in rings of solvable type Heinz Kredel, Volker Weispfenning
Go To Publication
0260 1991 Partial cylindrical algebraic decomposition for quantifier elimination George E. Collins, Hoon Hong
Go To Publication
0261 1991 Searching for Integrable PDE Hietarinta Jarmo
Go To Publication
0262 1991 Simulating Buchberger's algorithm by Knuth-Bendix completion Reinhard Bündgen
Go To Publication
0263 1991 Some Constructions in Rings of Defferential Polynomials Giovanni Gallo, Bud Mishra
Go To Publication
0264 1991 Some Theoretical Problems When Solving Systems of Polynomial Equations Using Groebner Bases S. Alasdair Buchanan
Go To Publication
0265 1991 Speeding-up Quantifier Elimination by Gröbner Bases Bruno Buchberger, Hoon Hong
Go To Publication
0266 1991 Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert Carl Jacobsson, Clas Löfwall
Go To Publication
0267 1991 Standard Bases of Differential Ideals Francois Ollivier
Go To Publication
0268 1991 Symbolic Simplification of Tensor Expressions Using Symmetries, Dummy Indices and Identities Ilyin V. A., Kryukov A. P.
Go To Publication
0269 1991 The Chinese remainder problem, multivariate interpolation, and Gröbner bases
Go To Publication
0270 1991 The membership Problem for Unmixed Polynomial Ideals is Solvable in Subexponential Time Alicia Dickenstein, Noa Fitchas, Marc Giusti, Carmen Sessa
Go To Publication
0271 1991 ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm Alessandro Giovini, Ferdinando Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
Go To Publication
0272 1992 A Gröbner Basis Technique for Pad Patrick Fitzpatrick, John Flynn
Go To Publication
0273 1992 A Gröbner basis technique for Pade' approximation Patrick Fitzpatrick, John Flynn
Go To Publication
0274 1992 A Relationship Between Gr\"{o}bner Bases of Ideals and Modules of G-Algebras Joachim Apel
Go To Publication
0275 1992 Algorithm for implicitizing rational parametric surfaces John F. Canny, Dinesh Manocha
Go To Publication
0276 1992 Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs Barkatou M. A., Wittkopf Allan D., Lisle I. G., Reid Gregory J.
Go To Publication
0277 1992 Algorithms for Computer Algebra Stephen R. Czapor, Keith O. Geddes, George Labahn
Go To Publication
0278 1992 An Algorithm for Solving Parametric Linear Systems William Y. Sit
Go To Publication
0279 1992 An Approach to the Zero Recognition Problem by Buchberger Algorithm Nobuki Takayama
Go To Publication
0280 1992 Application of Ordered Standard Bases to Catastrophe Theory R. G. Cowell
Go To Publication
0281 1992 Chow Polytopes and General Resultants Mikhail M. Kapranov, Bernd Sturmfels, Andrei Zelevinsky
Go To Publication
0282 1992 Comprehensive Gröbner bases Volker Weispfenning
Go To Publication
0283 1992 Computation of Hilbert Functions David Bayer, Michael Stillman
Go To Publication
0284 1992 Computation of zero-dimensional lexicographical Gröbner basis in time polynomial in the factored basis size Gaston H Gonnet
Go To Publication
0285 1992 Computing a Quasi-Groebner Basis of a Polynomial Ideal over a Domain and Independent Variables Set Modulo Ideal Zhang Chuan Lin
Go To Publication
0286 1992 Don't Panic - The Hitch Hiker's Guide to Gröbner Bases: commutative algebra for amateurs Krister Forsman
Go To Publication
0287 1992 Finite Gröbner bases in non-Noetherian skew polynomial rings Volker Weispfenning
Go To Publication
0288 1992 Grobner Basis Technique, Homogeneity and Solving Polynomial Equations Vladimir P. Gerdt, Nikolai V. Khutornoy, Alexey Yu. Zharkov
Go To Publication
0289 1992 Gröbner bases and extension of scalars David Bayer, Andre Galligo, Michael Stillman
Go To Publication
0290 1992 Gröbner bases and primary decomposition of modules Elizabeth W. Rutman
Go To Publication
0291 1992 Gröbner bases computation using syzygies
Go To Publication
0292 1992 Gröbner Bases in Mathematica: Enthusiasm and Frustration Bruno Buchberger
Go To Publication
0293 1992 Implicit Representation of Rational Parametric Surfaces John F. Canny, Dinesh Manocha
Go To Publication
0294 1992 Implicitization of Rational Parametric Equations Shang-Ching Chou, Xiao Shan Gao
Go To Publication
0295 1992 Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases Dongming Wang
Go To Publication
0296 1992 Linear Ordinary Differential Equations: Breaking Through the Order 2 Barrier Bronstein Manuel
Go To Publication
0297 1992 Multipolynomial Resultants and Linear Algebra Castro-Jiménez, F., Dinesh Manocha
Go To Publication
0298 1992 NODES: Non Linear Ordinary Differential Equations Solver Corless Robert M.
Go To Publication
0299 1992 On lucky ideals for Gröbner basis computations Franz Pauer
Go To Publication
0300 1992 On the Derivation and Reduction of C^1 Trigonometric Basis Functions Using Maple Stephen R. Czapor, J. E. F. Guimaraes, G. R. Heppler
Go To Publication
0301 1992 Parallel Gröbner Basis Computation in MAPLE Kurt Siegl
Go To Publication
0302 1992 Polynomial Ideals and Applications Ernst W. Mayr
Go To Publication
0303 1992 Products of Polynomials and a Priori Estimates for Coefficients in Polynomial Decompositions: A Sharp Result Bernard Beauzamy
Go To Publication
0304 1992 Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract) Jaime Gutierrez, Tomás Recio
Go To Publication
0305 1992 Reduction and Completion Algorithms for Partial Differential Equations Fritz Schwarz
Go To Publication
0306 1992 Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination Hoon Hong
Go To Publication
0307 1992 Solutions of Systems of Algebraic Equations and Linear Maps on Residue Class Rings Masayuki Noro, Taku Takeshima, Kazuhiro Yokoyama
Go To Publication
0308 1992 Solving Parametric Algebraic Systems Shang-Ching Chou, Xiao Shan Gao
Go To Publication
0309 1992 Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing GrÖBner Basis Computations Hietarinta Jarmo
Go To Publication
0310 1992 Solving Zero-Dimensional Algebraic Systems Daniel Lazard
Go To Publication
0311 1992 Some results on Gröbner bases over commutative rings William W. Adams, Ann K. Boyle
Go To Publication
0312 1992 Some results on Gröbner bases over commutative rings William W. Adams, Ann K. Boyle
Go To Publication
0313 1992 Symmetries and Groebner Bases Johannes Grabmeier, Volker Weispfenning
Go To Publication
0314 1992 The Elementary Constant Problem Richardson Daniel
Go To Publication
0315 1992 The Inverse of an Automorphism in Polynomial Time Matthew Dickerson
Go To Publication
0316 1992 Three New Algorithms for Multivariate Polynomial GCD Tateaki Sasaki, Masayuki Suzuki
Go To Publication
0317 1992 Using Gröbner Bases for Detecting Polynomial Identities. A Case Study on Fermat's Ideal Bruno Buchberger, Juan Elias
Go To Publication
0318 1992 Verifying Isomorphisms of Finite Dimensional Lie Algebras By Groebner Basis Technique Vladimir P. Gerdt, Wolfgang Lassner
Go To Publication
0319 1993 A Combinatorial Proof of the Effective Nullstellensatz Thomas W. Dubé
Go To Publication
0320 1993 A Dynamic Algorithm for Gröbner basis computation
Go To Publication
0321 1993 A generalization of the binary GCD algorithm Tudor Jebelean
Go To Publication
0322 1993 A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties Michael Kalkbrener
Go To Publication
0323 1993 A Note on Polynomial Reduction Alyson A. Reeves, Bernd Sturmfels
Go To Publication
0324 1993 A Practical Method for the Sparse Resultant John F. Canny, Ioannis Z. Emiris
Go To Publication
0325 1993 A Zero Structure Theorem for Exponential Polynomials Richardson Daniel
Go To Publication
0326 1993 Algebraic Solution of Nonlinear Equation Systems in REDUCE Herbert Melenk
Go To Publication
0327 1993 Algorithmic Algebra Bud Mishra
Go To Publication
0328 1993 An algorithm for constructing Gröbner and free Schreier bases in free group algebras Amnon Rosenmann
Go To Publication
0329 1993 An algorithm to compute floating point Gröbner bases Kiyoshi Shirayanagi
Go To Publication
0330 1993 An algorithm to compute the invariant ring of a G_a-action on an affine variety Arno van den Essen
Go To Publication
0331 1993 An Elimination Method for Polynomial Systems Dongming Wang
Go To Publication
0332 1993 Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite Gutnik Sergey A.
Go To Publication
0333 1993 Aspect graphs of algebraic surfaces
Go To Publication
0334 1993 Buchberger Algorithm in Theorem proving Doina Tatar
Go To Publication
0335 1993 Computing Gröbner bases in monoid and group rings Klaus Madlener, Birgit Reinert
Go To Publication
0336 1993 Computing in Polynomial rings of Solvable type Heinz Kredel
Go To Publication
0337 1993 Differential Term-orders Volker Weispfenning
Go To Publication
0338 1993 Direct characterisation grobner bases clifford grassmann algebras David Hartley, Philip A. Tuckey
Go To Publication
0339 1993 Efficient Algorithms for MultiPolynomial Resultant Dinesh Manocha
Go To Publication
0340 1993 Efficient computation of zero-dimensional Gröbner bases by change of ordering Jean-Charles Faugère, Patrizia M. Gianni, Daniel Lazard, Ferdinando Mora
Go To Publication
0341 1993 Geometry theorem proving in vector spaces by means of Gröbner bases Sabine Stifter
Go To Publication
0342 1993 Groebner Bases and Operational Mathematics Moss Sweedler
Go To Publication
0343 1993 Gröbner bases and standard monomial theory Arjeh M. Cohen, Richard H. Cushman
Go To Publication
0344 1993 Gröbner bases: a computational approach to commutative algebra Thomas Becker, Heinz Kredel, Volker Weispfenning
Go To Publication
0345 1993 Gröbner Bases: Strategies and Applications Eric Monfroy
Go To Publication
0346 1993 Implementing an Irregular Application on a Distributed Memory Multiprocessor Soumen Chakrabarti, Katherine A. Yelick
Go To Publication
0347 1993 Implicit Curves and Surfaces in CAGD Christoph M. Hoffmann
Go To Publication
0348 1993 Minkowski addition of polytopes: computational complexity and applications to Gröbner bases Peter Gritzmann, Bernd Sturmfels
Go To Publication
0349 1993 Multipolynomial Resultant Algorithms John F. Canny, Dinesh Manocha
Go To Publication
0350 1993 Numerical conditioning of a system of algebraic equations with a finite number of solutions using Gröbner bases Antonio Montes
Go To Publication
0351 1993 On Algebraic Solutions of First Order Riccatti Equation Alexey Yu. Zharkov
Go To Publication
0352 1993 On factorizing the symbolic U-resultant---application of the $rm ddet$ operator Tetsuro Fujise, Hidetsune Kobayashi, Hirokazu Murao
Go To Publication
0353 1993 On Gröbner Bases in Monoid and Group Rings Klaus Madlener, Birgit Reinert
Go To Publication
0354 1993 On Lucky Primes Hans-Gert Gräbe
Go To Publication
0355 1993 On the Correctness of a Distributed Memory Gröbner Basis Algorithm Soumen Chakrabarti, Katherine A. Yelick
Go To Publication
0356 1993 On the intrinsic complexity of elimination theory Joos Heintz, Jacques Morgenstern
Go To Publication
0357 1993 PACLIB - A System for Parallel Algebraic Computation on Shared Memory Computers Hoon Hong, Wolfgang Schreiner
Go To Publication
0358 1993 Primary Decomposition of Modules: Two Variables over a Field Elizabeth W. Rutman
Go To Publication
0359 1993 Reduction of constraint systems Samy Ait-Aoudia, Roland Jegou, Dominique Michelucci
Go To Publication
0360 1993 Solvable polynomial rings Heinz Kredel
Go To Publication
0361 1993 Solving the ARE Symbolically Jan Eriksson, Krister Forsman
Go To Publication
0362 1993 Some generic results on algebraic observability and connections with realization theory Krister Forsman
Go To Publication
0363 1993 Some questions concerning computer-generated proofs of a binomial double-sum identity George E. Andrews, Peter Paule
Go To Publication
0364 1993 Some Remarks on Universal Standard Bases Abdallah Assi
Go To Publication
0365 1993 Standard Bases in Power Series Rings: Uniqueness and Superfluous Critical Pairs Thomas Becker
Go To Publication
0366 1993 Standard Bases, Critical Tropisms and Flatness Abdallah Assi
Go To Publication
0367 1993 The 40 &Ldquo;Generic&Rdquo; Positions of a Parallel Robot Bernard Mourrain
Go To Publication
0368 1993 Transitivity for weak and strong Gröbner bases William W. Adams, Ann K. Boyle, Philippe Loustaunau
Go To Publication
0369 1993 Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases Franz Baader
Go To Publication
0370 1993 Using Groebner Bases to Determine the Algebraic and Transcendental Nature of Field Extensions: Return of the Killer Tag Variables Moss Sweedler
Go To Publication
0371 1994 A Case Where Choosing a Product Order Makes the Calculations of a Gröbner Basis Much Faster Freyja Hreinsdottir
Go To Publication
0372 1994 A Computer Algebra Approach to the Discrete Dirichlet Problem Craig R. Orr, Doron Zeilberger
Go To Publication
0373 1994 A Fine-grained Parallel Completion Procedure Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Go To Publication
0374 1994 A Generic Computer Algebra Library in Oberon Dominik Gruntz, Wolfgang Weck
Go To Publication
0375 1994 A Gröbner basis method for modules over rings of differential operators Toshinori Oaku, Takeshi Shimoyama
Go To Publication
0376 1994 A Parallel Factorization Tree Gröbner Basis Algorithm Kurt Siegl
Go To Publication
0377 1994 A strategy-accurate parallel Buchberger algorithm Giuseppe Attardi, Carlo Traverso
Go To Publication
0378 1994 Algebraic and Geometric Reasoning Using Dixon Resultants Deepak Kapur, Tushar Saxena, Lu Yang
Go To Publication
0379 1994 Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction Ferreira Placid M., Ruiz S.
Go To Publication
0380 1994 Algebraic Geometry and Object Representation in Computer Vision Sylvain Petitjean
Go To Publication
0381 1994 Algorithms for Finding the Structure of Solutions of a System of Linear Partial Differential Equations Toshinori Oaku
Go To Publication
0382 1994 An Algorithm for Complexes Roberto La Scala
Go To Publication
0383 1994 An Algorithm for Converting a Degree Gröbner basis to a Lexicographic Gröbner basis Deepak Kapur, Tushar Saxena
Go To Publication
0384 1994 An introduction to commutative and non-commutative Gröbner bases Ferdinando Mora
Go To Publication
0385 1994 An Introduction to Gröbner Bases William W. Adams, Philippe Loustaunau
Go To Publication
0386 1994 Application of Gröbner bases to problems of movement of a particle Eleni G. Anastasselou, Nikolaos I. Ioakimidis
Go To Publication
0387 1994 ASYS2: a New Version of Computer Algebra Package ASYS for Analysis and Simplification of Polynomial Systems Vladimir P. Gerdt, Nikolai V. Khutornoy, Alexey Yu. Zharkov
Go To Publication
0388 1994 Automatic Identification of Time Scales in Enzyme Kinetics Models Russo Mark F., Char Bruce W.
Go To Publication
0389 1994 Buchberger's Algorithm: A Constraint-Based Completion Procedure Leo Bachmair, Harald Ganzinger
Go To Publication
0390 1994 Computing Selected Solutions of Polynomial Equations Dinesh Manocha
Go To Publication
0391 1994 Constraint Logic Programming on Boolean, Integer and Real Intervals Frederic Benhamou, William J. Older, Andre Vellino
Go To Publication
0392 1994 Constraint Logic Programming: A Survey Joxan Jaffar, Michael J. Maher
Go To Publication
0393 1994 Constructing Groebner Bases by Interpolation Thomas Sauer
Go To Publication
0394 1994 Direct reduction and differential constraints Peter J. Olver
Go To Publication
0395 1994 Examples of Automatic Theorem Proving a Real Geometry Guergueb Ahmed, Mainguené Jean, Marie-Françoise Roy
Go To Publication
0396 1994 Gröbner Bases of Toric Ideals Loïc Pottier
Go To Publication
0397 1994 Gröbner Bases, H-Bases And Interpolation Thomas Sauer
Go To Publication
0398 1994 Hilbert functions and Buchberger algorithm Patrizia M. Gianni, Ferdinando Mora, Lorenzo Robbiano, Carlo Traverso
Go To Publication
0399 1994 Hilbert Series for Ideals Generated by Generic Forms Ralph Fröberg, Joachim Hollman
Go To Publication
0400 1994 Hilbert Series of Group Representations and Gröbner Bases for Generic Modules Shmuel Onn
Go To Publication
0401 1994 Holonomic Systems and Automatic Proofs of Identities Frederic Chyzak
Go To Publication
0402 1994 How to Make AXIOM into a Scratchpad Jenks Richard D., Trager Barry M.