On the public citation graph
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
0 signed · 421 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-7091-5740-4openalex-snapshot
Moderne Algebraische Geometrie
inferredcites →https://doi.org/10.1007/bf01206635openalex-snapshot
Die Frage der endlich vielen Schritte in der Theorie der Polynomideale
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/mana.19861250114openalex-snapshot
Eigenschaften von Polynomidealen in Abhängigkeit von der Charakteristik
inferred← citeshttps://doi.org/10.1006/aama.1997.0527openalex-snapshot
Algorithms forb-Functions, Restrictions, and Algebraic Local Cohomology Groups ofD-Modules
inferred← citeshttps://doi.org/10.1006/aima.1997.1679openalex-snapshot
Ladder Determinantal Rings Have Rational Singularities
inferred← citeshttps://doi.org/10.1006/inco.2001.2965openalex-snapshot
Finding Recursions for Multidimensional Arrays
inferred← citeshttps://doi.org/10.1006/jabr.1996.6903openalex-snapshot
Gotzmann Theorems for Exterior Algebras and Combinatorics
inferred← citeshttps://doi.org/10.1006/jabr.1998.7810openalex-snapshot
Gröbner–Shirshov Bases for Lie Superalgebras and Their Universal Enveloping Algebras
inferred← citeshttps://doi.org/10.1006/jcom.1997.0432openalex-snapshot
Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case
inferred← citeshttps://doi.org/10.1006/jfan.1996.3029openalex-snapshot
Bernstein Inequalities and Applications to Analytic Geometry and Differential Equations
inferred← citeshttps://doi.org/10.1006/jsco.1999.0275openalex-snapshot
A Modular Method to Compute the Rational Univariate Representation of Zero-dimensional Ideals
inferred← citeshttps://doi.org/10.1006/jsco.1999.0415openalex-snapshot
Computing Gröbner Bases by FGLM Techniques in a Non-commutative Setting
inferred← citeshttps://doi.org/10.1006/jsco.2000.0370openalex-snapshot
Challenges of Symbolic Computation: My Favorite Open Problems
inferred← citeshttps://doi.org/10.1006/jsco.2001.0487openalex-snapshot
Algorithm for Computing Bernstein–Sato Ideals Associated with a Polynomial Mapping
inferred← citeshttps://doi.org/10.1007/0-387-26325-x_28openalex-snapshot
Multidimensional Systems, Signals, Circuits, and Repetitive Processes: Theory, Applications, and Future Trends
inferred← citeshttps://doi.org/10.1007/10721975_16openalex-snapshot
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
inferred← citeshttps://doi.org/10.1007/11617983_7openalex-snapshot
A General Framework for Applying FGLM Techniques to Linear Codes
inferred← citeshttps://doi.org/10.1007/11618027_18openalex-snapshot
Computational Origami of a Morley’s Triangle
inferred← citeshttps://doi.org/10.1007/11832225_36openalex-snapshot
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
inferred← citeshttps://doi.org/10.1007/3-540-09519-5_52openalex-snapshot
A criterion for detecting unnecessary reductions in the construction of Gröbner-bases
inferred← citeshttps://doi.org/10.1007/3-540-12868-9_101openalex-snapshot
An algorithm for constructing detaching bases in the ring of polynomials over a field
inferred← citeshttps://doi.org/10.1007/3-540-12868-9_98openalex-snapshot
A note on the complexity of constructing Gröbner-bases
inferred← citeshttps://doi.org/10.1007/3-540-12868-9_99openalex-snapshot
Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations
inferred← citeshttps://doi.org/10.1007/3-540-13331-3_39openalex-snapshot
A critical-pair/completion algorithm for finitely generated ideals in rings
inferred← citeshttps://doi.org/10.1007/3-540-15976-2_1openalex-snapshot
Basic features and development of the critical-pair/completion procedure
inferred← citeshttps://doi.org/10.1007/3-540-15984-3_322openalex-snapshot
An algorithmic approach to local rings
inferred← citeshttps://doi.org/10.1007/3-540-16767-6_64openalex-snapshot
Computational aspects of reduction strategies to construct resolutions of monomial ideals
inferred← citeshttps://doi.org/10.1007/3-540-18170-9_156openalex-snapshot
Closure relations, Buchberger's algorithm, and polynomials in infinitely many variables
inferred← citeshttps://doi.org/10.1007/3-540-34824-7_13openalex-snapshot
Computer Algebra and C k Spline Functions: A Combined Tools toSolve Nonlinear Differential Problems
inferred← citeshttps://doi.org/10.1007/3-540-45654-6_1openalex-snapshot
Gröbner Bases: A Short Introduction for Systems Theorists
inferred← citeshttps://doi.org/10.1007/3-540-51081-8_110openalex-snapshot
Generalized Gröbner bases: Theory and applications. A condensation
inferred← citeshttps://doi.org/10.1007/3-540-51083-4_46openalex-snapshot
Computer and commutative algebra
inferred← citeshttps://doi.org/10.1007/3-540-51083-4_54openalex-snapshot
Some new effectivity bounds in computational geometry
inferred← citeshttps://doi.org/10.1007/3-540-51084-2_13openalex-snapshot
Solving systems of algebraic equations
inferred← citeshttps://doi.org/10.1007/3-540-51084-2_14openalex-snapshot
Groebner bases in non-commutative algebras
inferred← citeshttps://doi.org/10.1007/3-540-51084-2_15openalex-snapshot
Greater easy common divisor and standard basis completion algorithms
inferred← citeshttps://doi.org/10.1007/3-540-52531-9_120openalex-snapshot
CoCoA: A user-friendly system for commutative algebra
inferred← citeshttps://doi.org/10.1007/3-540-56686-4_34openalex-snapshot
Using Groebner bases to determine the algebraic and transcendental nature of field extensions: Return of the killer tag variables
inferred← citeshttps://doi.org/10.1007/3-7643-7429-2_20openalex-snapshot
On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier—Janet Theory
inferred← citeshttps://doi.org/10.1007/978-0-585-33247-5_10openalex-snapshot
Gröbner Bases for Polynomial Ideals
inferred← citeshttps://doi.org/10.1007/978-0-85729-974-1_3openalex-snapshot
Identifiability, and Beyond
inferred← citeshttps://doi.org/10.1007/978-1-4612-0351-3_10openalex-snapshot
An Algorithm to Compute Floating Point Groebner Bases
inferred← citeshttps://doi.org/10.1007/978-1-4612-0441-1_9openalex-snapshot
Noetherian Properties and Growth of some Associative Algebras
inferred← citeshttps://doi.org/10.1007/978-1-4612-2752-6_21openalex-snapshot
An Elimination Method Based on Seidenberg’s Theory and Its Applications
inferred← citeshttps://doi.org/10.1007/978-1-4612-4088-4_5openalex-snapshot
A Survey of Geometric Reasoning Using Algebraic Methods
inferred← citeshttps://doi.org/10.1007/978-1-4684-7074-1_3openalex-snapshot
Applications of Gröbner Bases in Non-Linear Computational Geometry
inferred← citeshttps://doi.org/10.1007/978-3-030-17502-3_10openalex-snapshot
The Termination and Complexity Competition
inferred← citeshttps://doi.org/10.1007/978-3-030-26454-3_1openalex-snapshot
From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
inferred← citeshttps://doi.org/10.1007/978-3-030-26454-3_4openalex-snapshot
Noncommutative Gröbner Bases: Applications and Generalizations
inferred← citeshttps://doi.org/10.1007/978-3-030-67080-1_7openalex-snapshot
Automated Analytic Combinatorics
inferred← citeshttps://doi.org/10.1007/978-3-030-85165-1_19openalex-snapshot
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-32009-5_30openalex-snapshot
Two-Sided Noncommutative Gröbner Basis on Quiver Algebras
inferred← citeshttps://doi.org/10.1007/978-3-0348-8266-8_13openalex-snapshot
Applications of Computer Algebra to Algebraic Geometry, Singularity Theory and Symbolic-Numerical Solving
inferred← citeshttps://doi.org/10.1007/978-3-0348-8658-1_4openalex-snapshot
Der Kenntnisstand in der konstruktiven Galoisschen Theorie
inferred← citeshttps://doi.org/10.1007/978-3-319-22704-7_1openalex-snapshot
Elements of Noncommutative Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-22704-7_2openalex-snapshot
Poincaré-Birkhoff-Witt Basis
inferred← citeshttps://doi.org/10.1007/978-3-319-22704-7_3openalex-snapshot
Quantizations of Kac-Moody Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-22704-7_4openalex-snapshot
Algebra of Skew-Primitive Elements
inferred← citeshttps://doi.org/10.1007/978-3-319-22704-7_8openalex-snapshot
Algebra of Primitive Nonassociative Polynomials
inferred← citeshttps://doi.org/10.1007/978-3-319-26389-2_10openalex-snapshot
Octahedron Configuration for a Displacement Noise-Canceling Gravitational Wave Detector in Space
inferred← citeshttps://doi.org/10.1007/978-3-319-27998-5_24openalex-snapshot
A Memory Efficient Variant of an Implementation of the F $$_4$$ Algorithm for Computing Gröbner Bases
inferred← citeshttps://doi.org/10.1007/978-3-319-46825-9_1openalex-snapshot
Multivariate Polynomial Fundamentals for Multidimensional Systems
inferred← citeshttps://doi.org/10.1007/978-3-322-93997-5_9openalex-snapshot
Automatisches Programmieren
inferred← citeshttps://doi.org/10.1007/978-3-322-96690-2_1openalex-snapshot
Computer-Algebra für den Ingenieur
inferred← citeshttps://doi.org/10.1007/978-3-540-30210-0_1openalex-snapshot
The Algorithmization of Physics: Math Between Science and Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-30210-0_12openalex-snapshot
Proving and Constraint Solving in Computational Origami
inferred← citeshttps://doi.org/10.1007/978-3-540-45146-4_3openalex-snapshot
Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Using Gröbner Bases
inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_4openalex-snapshot
Theorem Proving for Verification (Invited Tutorial)
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_3openalex-snapshot
Context Aware Calculation and Deduction
inferred← citeshttps://doi.org/10.1007/978-3-540-73433-8_24openalex-snapshot
A Short Survey of Automated Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-85110-3_2openalex-snapshot
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra
inferred← citeshttps://doi.org/10.1007/978-3-540-89994-5_10openalex-snapshot
Invited Talk: Decoding Cyclic Codes: The Cooper Philosophy
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_10openalex-snapshot
The BMS Algorithm and Decoding of AG Codes
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_11openalex-snapshot
A Tutorial on AG Code Decoding from a Gröbner Basis Perspective
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_12openalex-snapshot
FGLM-Like Decoding: from Fitzpatrick’s Approach to Recent Developments
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_14openalex-snapshot
Gröbner Bases over Commutative Rings and Applications to Coding Theory
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_15openalex-snapshot
Overview of Cryptanalysis Techniques in Multivariate Public Key Cryptography
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_16openalex-snapshot
A Survey on Polly Cracker Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_18openalex-snapshot
Algebraic Attacks on Stream Ciphers with Gröbner Bases
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_3openalex-snapshot
The FGLM Problem and Möller’s Algorithm on Zero-dimensional Ideals
inferred← citeshttps://doi.org/10.1007/978-3-540-93806-4_6openalex-snapshot
A Tutorial on AG Code Construction from a Gröbner Basis Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-01960-9_6openalex-snapshot
Some Meeting Points of Gröbner Bases and Combinatorics
inferred← citeshttps://doi.org/10.1007/978-3-642-02127-5_1openalex-snapshot
Hagenberg Research: Introduction
inferred← citeshttps://doi.org/10.1007/978-3-642-02127-5_2openalex-snapshot
Algorithms in Symbolic Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-04103-7_27openalex-snapshot
Computing Gröbner Bases within Linear Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-16342-5_19openalex-snapshot
Algebraic Cryptanalysis of Curry and Flurry Using Correlated Messages
inferred← citeshttps://doi.org/10.1007/978-3-642-21493-6_4openalex-snapshot
Some Combinatorial Applications of Gröbner Bases
inferred← citeshttps://doi.org/10.1007/978-3-642-22241-2_15openalex-snapshot
Algebraic Solutions of Systems of Equations
inferred← citeshttps://doi.org/10.1007/978-3-642-31374-5_19openalex-snapshot
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
inferred← citeshttps://doi.org/10.1007/978-3-642-59048-1_2openalex-snapshot
Introduction to Groebner Bases
inferred← citeshttps://doi.org/10.1007/978-3-658-16241-2_4openalex-snapshot
Die Dissertation von Grete Hermann: Effiziente algorithmische Methoden für Polynomringe auf dem Weg zur Computeralgebra
inferred← citeshttps://doi.org/10.1007/978-3-658-16241-2_5openalex-snapshot
Die Dissertation von Grete Hermann
inferred← citeshttps://doi.org/10.1007/978-3-7091-0794-2_13openalex-snapshot
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1openalex-snapshot
Loewy Decomposition of Linear Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_1openalex-snapshot
Loewy’s Results for Ordinary Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_2openalex-snapshot
Rings of Partial Differential Operators
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_3openalex-snapshot
Equations with Finite-Dimensional Solution Space
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_4openalex-snapshot
Decomposition of Second-Order Operators
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_5openalex-snapshot
Solving Second-Order Equations
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_6openalex-snapshot
Decomposition of Third-Order Operators
inferred← citeshttps://doi.org/10.1007/978-3-7091-1286-1_7openalex-snapshot
Solving Homogeneous Third-Order Equations
inferred← citeshttps://doi.org/10.1007/978-3-7091-6604-8_2openalex-snapshot
An Algorithm for Solving Systems of Algebraic Equations in Three Variables
inferred← citeshttps://doi.org/10.1007/978-3-7643-7984-1_9openalex-snapshot
An Algorithm of Real Root Isolation for Polynomial Systems with Applications to the Construction of Limit Cycles
inferred← citeshttps://doi.org/10.1007/978-3-7643-8858-4_21openalex-snapshot
On Shirshov’s Papers for Lie Algebras
inferred← citeshttps://doi.org/10.1007/978-4-431-68413-8_17openalex-snapshot
Some algorithmic aspects of the D-module theory
inferred← citeshttps://doi.org/10.1007/978-93-86279-12-5_21openalex-snapshot
Some Topics in Computational Algebraic Geometry
inferred← citeshttps://doi.org/10.1007/978-94-009-5225-6_6openalex-snapshot
Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
inferred← citeshttps://doi.org/10.1007/978-94-010-1011-5_6openalex-snapshot
Computational Algebraic Geometry Today
inferred← citeshttps://doi.org/10.1007/978-94-015-8238-4_10openalex-snapshot
Algebraic and Geometric Aspects of the Theory of Polynomial Vector Fields
inferred← citeshttps://doi.org/10.1007/978-94-017-0337-6_1openalex-snapshot
A Survey on Polynomials and Polynomial and Compatible Functions
inferred← citeshttps://doi.org/10.1007/978-94-017-0337-6_2openalex-snapshot
Gröbner-Shirshov Bases for Algebras, Groups, and Semigroups
inferred← citeshttps://doi.org/10.1007/bf00126392openalex-snapshot
Global bifurcation sets and stable projections of nonsingular algebraic surfaces
inferred← citeshttps://doi.org/10.1007/bf00271645openalex-snapshot
Finite complete rewriting systems and the complexity of the word problem
inferred← citeshttps://doi.org/10.1007/bf01196621openalex-snapshot
On Gr�bner bases under specialization
inferred← citeshttps://doi.org/10.1007/bf01202038openalex-snapshot
Standard bases, critical tropisms and flatness
inferred← citeshttps://doi.org/10.1007/bf01205079openalex-snapshot
Computing combinatorial decompositions of rings
inferred← citeshttps://doi.org/10.1007/bf01258295openalex-snapshot
Algebraic methods for computing inverse kinematics
inferred← citeshttps://doi.org/10.1007/bf02328448openalex-snapshot
Proving geometry theorems with rewrite rules
inferred← citeshttps://doi.org/10.1007/bf02390521openalex-snapshot
A combined method for enclosing all solutions of nonlinear systems of polynomial equations
inferred← citeshttps://doi.org/10.1007/bf02512370openalex-snapshot
Runge-Kutta methods for quadratic ordinary differential equations
inferred← citeshttps://doi.org/10.1007/bf02924906openalex-snapshot
On set-theoretic complete intersections in the projective space
inferred← citeshttps://doi.org/10.1007/bf03167233openalex-snapshot
Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients
inferred← citeshttps://doi.org/10.1007/bf03167920openalex-snapshot
Gröbner basis and the problem of contiguous relations
inferred← citeshttps://doi.org/10.1007/bf03322623openalex-snapshot
Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Bases Method
inferred← citeshttps://doi.org/10.1007/bfb0032839openalex-snapshot
Some effectivity problems in polynomial ideal theory
inferred← citeshttps://doi.org/10.1007/bfb0032841openalex-snapshot
On the complexity of the Gröbner-bases algorithm over K[x,y,z]
inferred← citeshttps://doi.org/10.1007/bfb0061654openalex-snapshot
Some curves in ℙ3 are set-theoretic complete intersections
inferred← citeshttps://doi.org/10.1007/jhep04(2017)006openalex-snapshot
Transforming differential equations of multi-loop Feynman integrals into canonical form
inferred← citeshttps://doi.org/10.1007/jhep08(2016)164openalex-snapshot
Adaptive integrand decomposition in parallel and orthogonal space
inferred← citeshttps://doi.org/10.1007/s00200-006-0019-4openalex-snapshot
The big Mother of all dualities 2: Macaulay bases
inferred← citeshttps://doi.org/10.1007/s00200-007-0054-9openalex-snapshot
Parametrizing compactly supported orthonormal wavelets by discrete moments
inferred← citeshttps://doi.org/10.1007/s00200-020-00428-wopenalex-snapshot
Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures
inferred← citeshttps://doi.org/10.1007/s00200-023-00618-2openalex-snapshot
Further perspectives on elimination
inferred← citeshttps://doi.org/10.1007/s00220-017-2859-0openalex-snapshot
An Improved Semidefinite Programming Hierarchy for Testing Entanglement
inferred← citeshttps://doi.org/10.1007/s10231-008-0068-3openalex-snapshot
An algebraic foundation for factoring linear boundary problems
inferred← citeshttps://doi.org/10.1007/s10472-013-9365-7openalex-snapshot
Representing and solving finite-domain constraint problems using systems of polynomials
inferred← citeshttps://doi.org/10.1007/s10587-011-0041-yopenalex-snapshot
Some remarks on the Akivis algebras and the Pre-Lie algebras
inferred← citeshttps://doi.org/10.1007/s10623-021-00873-9openalex-snapshot
Cryptanalysis of the extension field cancellation cryptosystem
inferred← citeshttps://doi.org/10.1007/s10958-010-9875-3openalex-snapshot
Gröbner–Shirshov bases for Vinberg–Koszul–Gerstenhaber right-symmetric algebras
inferred← citeshttps://doi.org/10.1007/s11128-020-02688-4openalex-snapshot
An approach to constructing genuinely entangled subspaces of maximal dimension
inferred← citeshttps://doi.org/10.1007/s11202-010-0097-1openalex-snapshot
Gröbner-Shirshov bases for Rota-Baxter algebras
inferred← citeshttps://doi.org/10.1007/s11425-008-0168-yopenalex-snapshot
Anti-commutative Gröbner-Shirshov basis of a free Lie algebra
inferred← citeshttps://doi.org/10.1007/s11786-017-0291-7openalex-snapshot
Automaticity of One-Relator Semigroups with Length Less Than or Equal to Three
inferred← citeshttps://doi.org/10.1007/s13373-014-0054-6openalex-snapshot
Gröbner–Shirshov bases and their calculation
inferred← citeshttps://doi.org/10.1007/s40863-023-00386-4openalex-snapshot
Gröbner–Shirshov basis theory and word problems for metatrivial Poisson algebras
inferred← citeshttps://doi.org/10.1016/0001-8708(89)90053-4openalex-snapshot
Gröbner bases and invariant theory
inferred← citeshttps://doi.org/10.1016/0004-3702(88)90050-1openalex-snapshot
A refutational approach to geometry theorem proving
inferred← citeshttps://doi.org/10.1016/0004-3702(88)90058-6openalex-snapshot
A multi-level geometric reasoning system for vision
inferred← citeshttps://doi.org/10.1016/0021-8693(91)90166-6openalex-snapshot
The reduction ring property is hereditary
inferred← citeshttps://doi.org/10.1016/0021-8693(91)90189-fopenalex-snapshot
On the noetherianity of some associative finitely presented algebras
inferred← citeshttps://doi.org/10.1016/0022-314x(78)90019-7openalex-snapshot
Über B. Buchbergers verfahren, systeme algebraischer gleichungen zu lösen
inferred← citeshttps://doi.org/10.1016/0022-314x(83)90021-5openalex-snapshot
On constructing bases for ideals in polynomial rings over the integers
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90028-gopenalex-snapshot
Stability and buchberger criterion for standard bases in power series rings
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90159-fopenalex-snapshot
Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields
inferred← citeshttps://doi.org/10.1016/0025-5564(85)90100-2openalex-snapshot
Identifiability and distinguishability testing via computer algebra
inferred← citeshttps://doi.org/10.1016/0166-218x(91)90109-aopenalex-snapshot
The membership problem for unmixed polynomial ideals is solvable in single exponential time
inferred← citeshttps://doi.org/10.1016/0166-218x(91)90113-bopenalex-snapshot
A new method for solving algebraic systems of positive dimension
inferred← citeshttps://doi.org/10.1016/0167-6423(91)90001-eopenalex-snapshot
Synchronous programming with events and relations: the SIGNAL language and its semantics
inferred← citeshttps://doi.org/10.1016/0304-3975(89)90131-xopenalex-snapshot
On the Knuth-Bendix completion for concurrent processes
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90003-zopenalex-snapshot
Word problems over traces which are solvable in linear time
inferred← citeshttps://doi.org/10.1016/0747-7171(92)90008-ropenalex-snapshot
Application of ordered standard bases to catastrophe theory
inferred← citeshttps://doi.org/10.1016/0747-7171(92)90014-uopenalex-snapshot
Solutions of systems of algebraic equations and linear maps on residue class rings
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90039-kopenalex-snapshot
Extension of the Berlekamp-Massey algorithm to N dimensions
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00081-5openalex-snapshot
Application of algebraic methods to the calculation of steady states in continuous culture
inferred← citeshttps://doi.org/10.1016/b978-0-08-034929-9.50011-xopenalex-snapshot
THE TESTING OF STRUCTURAL PROPERTIES THROUGH SYMBOLIC COMPUTATION
inferred← citeshttps://doi.org/10.1016/b978-0-12-400466-5.50013-5openalex-snapshot
Wronskian Determinants and the Gröbner Representation of a Linear Differential Equation: An Approach to Nonlinear Integrable Systems
inferred← citeshttps://doi.org/10.1016/j.aam.2010.04.006openalex-snapshot
Ideal intersections in rings of partial differential operators
inferred← citeshttps://doi.org/10.1016/j.biosystems.2004.09.013openalex-snapshot
Dynamic modeling of biochemical reactions with application to signal transduction: principles and tools using Mathematica
inferred← citeshttps://doi.org/10.1016/j.cagd.2016.05.002openalex-snapshot
Efficient computation of dual space and directional multiplicity of an isolated point
inferred← citeshttps://doi.org/10.1016/j.camwa.2008.04.009openalex-snapshot
1:−3 resonant centers on C2 with homogeneous cubic nonlinearities
inferred← citeshttps://doi.org/10.1016/j.disc.2007.09.011openalex-snapshot
Gröbner–Shirshov basis of the Adyan extension of the Novikov group
inferred← citeshttps://doi.org/10.1016/j.disc.2011.03.008openalex-snapshot
Gröbner–Shirshov bases of some monoids
inferred← citeshttps://doi.org/10.1016/j.exmath.2019.05.003openalex-snapshot
Dickson’s Lemma, Higman’s Theorem and Beyond: A survey of some basic results in order theory
inferred← citeshttps://doi.org/10.1016/j.exmath.2024.125627openalex-snapshot
Strong Gröbner bases and linear algebra in multivariate polynomial rings over Euclidean domains
inferred← citeshttps://doi.org/10.1016/j.ijnonlinmec.2021.103757openalex-snapshot
A computational algebraic geometry technique for determining nonlinear normal modes of structural systems
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2008.10.007openalex-snapshot
Gröbner–Shirshov basis for the Braid group in the Birman–Ko–Lee generators
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2010.02.021openalex-snapshot
Composition–Diamond lemma for tensor product of free algebras
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2011.04.020openalex-snapshot
Gröbner–Shirshov bases for Lie algebras over a commutative algebra
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2013.03.013openalex-snapshot
Gröbner–Shirshov bases for semirings
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2014.09.040openalex-snapshot
Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2014.10.010openalex-snapshot
New approaches to plactic monoid via Gröbner–Shirshov bases
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2017.02.027openalex-snapshot
On the homological dimensions of Leavitt path algebras with coefficients in commutative rings
inferred← citeshttps://doi.org/10.1016/j.jco.2017.08.003openalex-snapshot
A topological view on algebraic computation models
inferred← citeshttps://doi.org/10.1016/j.jde.2008.07.026openalex-snapshot
The cyclicity of a cubic system with nonradical Bautin ideal
inferred← citeshttps://doi.org/10.1016/j.jmaa.2009.09.013openalex-snapshot
Linearizability conditions of time-reversible cubic systems
inferred← citeshttps://doi.org/10.1016/j.jnt.2005.08.012openalex-snapshot
On the number of distinct multinomial coefficients
inferred← citeshttps://doi.org/10.1016/j.jpaa.2009.05.005openalex-snapshot
Gröbner–Shirshov bases for associative algebras with multiple operators and free Rota–Baxter algebras
showing the first 200 of 419 · page through all 419
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.