Publication:3714165
From MaRDI portal
zbMath0587.13009MaRDI QIDQ3714165
Publication date: 1985
68W30: Symbolic computation and algebraic computation
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
13A15: Ideals and multiplicative ideal theory in commutative rings
Related Items
The structure of certain ideal transforms, Extension of the Berlekamp-Massey algorithm to N dimensions, On the Jacobian conjecture: A new approach via Gröbner bases, Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants, Two computational techniques for singularity resolution, Second syzygy of determinantal ideals generated by minors of generic symmetric matrices, A behavioral approach to identifiability of 2D scalar systems, Constructions of standard bases of right \(K\langle A\rangle\)- modules, Elliptic solitons with free constants and their isospectral deformations, Non-standard approaches to integer programming, A dimensionality paradigm for surface interrogations, Non-commutative Gröbner bases in algebras of solvable type, Multidimensional constant linear systems, The method of differentiating under the integral sign, Algebraic properties of plane offset curves, Multi-valued logic and Gröbner bases with applications to modal logic, Parallel multiplication and powering of polynomials, Robust gamma-stability analysis in a plant parameter space, Distance between two arbitrary unperturbed orbits, \textit{Theorema}: Towards computer-aided mathematical theory exploration, CAL: A theoretical background of constraint logic programming and its applications, On radical zero-dimensional ideals, Gröbner bases and invariant theory, On the construction of Gröbner bases using syzygies, On computing the intersection of a pair of algebraic surfaces, On the computation of generalized standard bases, An algorithm for the construction of matrix representations for finitely presented non-commutative algebras, An algorithm for constructing Gröbner bases from characteristic sets and its application to geometry, Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm, Generalised characteristic polynomials, Computer classification of integrable coupled KdV-like systems, A geometric consistency theorem for a symbolic perturbation scheme, Kinematic analysis of linkages based on finite elements and the geometric stiffness matrix, Counting positive solutions for polynomial systems with real coefficients, Computer algebra application for classification of integrable non-linear evolution equations, An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations, Some examples for solving systems of algebraic equations by calculating Gröbner bases, On the theory of graded structures, New constructive methods in classical ideal theory, Constructing universal unfoldings using Gröbner bases, On the application of Buchberger's algorithm to automated geometry theorem proving, Using Gröbner bases to reason about geometry problems, A note on output feedback stabilizability of multivariable 2D systems, Computer algebra: Past and future, Proving geometry theorems with rewrite rules, Small degree solutions for the polynomial Bezout equation, History and basic features of the critical-pair/completion procedure, Finding a minimal set of linear recurring relations capable of generating a given finite two-dimensional array, Solving systems of algebraic equations by a general elimination method, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, Computation of the cohomology of \(B\widehat{SO}_ n<16>\) for \(23\leq n\leq 26\) using REDUCE, An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras, Stability of Gröbner bases, Computing dimension and independent sets for polynomial ideals, A multi-level geometric reasoning system for vision, Algebraic decomposition of regular curves, Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods, Gröbner bases and primary decomposition of polynomial ideals, Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization, A p-adic approach to the computation of Gröbner bases, Analytic Bezout identities, Lifting canonical algorithms from a ring R to the ring R[x], Symbolic powers of monomial curves, On an installation of Buchberger's algorithm, 2D systems feedback compensation: An approach based on commutative linear transformations, A refutational approach to geometry theorem proving, A novel method for analyzing enzyme kinetic systems, A holonomic systems approach to special functions identities, On superG-bases, Algebraic varieties characterizing matroids and oriented matroids, Some examples of the use of distances as coordinates for euclidean geometry, Computational algebraic geometry of projective configurations, On the number of term orders, Equations for the projective closure and effective Nullstellensatz, The membership problem for unmixed polynomial ideals is solvable in single exponential time, A new method for solving algebraic systems of positive dimension, Two-dimensional shift register synthesis and Gröbner bases for polynomial ideals over an integer residue ring, Computing combinatorial decompositions of rings, A Gröbner basis criterion for isomorphisms of algebraic varieties, Algorithms for the Quillen-Suslin theorem, A computational model for algebraic power series, Application of ordered standard bases to catastrophe theory, A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots, Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, A new notion of reduction: Generating universal Gröbner bases of ideals in \(K[x,y\)], Symbolic parametrization of curves, Mechanical manipulation for a class of differential systems, The inverse of an automorphism in polynomial time, An algorithm for solving parametric linear systems, Three new algorithms for multivariate polynomial GCD, Algorithm for implicitizing rational parametric surfaces, Banded matrices with banded inverses, Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases, Nonlinear reduction for solving deficient polynomial systems by continuation methods, On the reconstruction of polynomial automorphisms from their face polynomials, On the derivation and reduction of \(C^ 1\) trigonometric basis functions using Maple\(^{TM}\), Comprehensive Gröbner bases, Computation of Hilbert functions, An approach to the zero recognition problem by Buchberger algorithm, Using Gröbner bases for detecting polynomial identities: A case study on Fermat's ideal, Solutions of systems of algebraic equations and linear maps on residue class rings, Analysis of approximate factorization algorithm. I, Automorphisms from face polynomials via two Gröbner bases, Implicitization of rational parametric equations, Gröbner bases and primary decomposition of modules, Notes on Gröbner bases, A note on observability tests for general polynomial and simple Wiener-Hammerstein systems, Minimum lag descriptions and minimal Gröbner bases, A new efficient algorithm for computing Gröbner bases \((F_4)\), A categorical critical-pair completion algorithm, A computational method for determining strong stabilizability of \(n\)-D systems, On normal affine semigroups, An algorithm to obtain laws of families of filiform Lie algebras, Computation of the solutions of nonlinear polynomial systems, Output feedback stabilizability and stabilization algorithms for 2D systems, Hilbert series of group representations and Gröbner bases for generic modules, A solution of the Cauchy problem for multidimensional discrete linear shift-invariant systems, A cubic system with eight small-amplitude limit cycles, On the complexity of computing Gröbner bases in characteristic 2, An introduction to commutative and noncommutative Gröbner bases, Primeness of multivariate polynomial matrices, Buchberger's algorithm: The term rewriter's point of view, Deriving some new conditions on the existence of eight limit cycles for a cubic system, Sets of convergent power series given by differential conditions, Computation of Hilbert-Poincaré series, Bounds for the postulation numbers of Hilbert functions, Gröbner bases and involutive methods for algebraic and differential equations, Review of symbolic software for Lie symmetry analysis, Gröbner bases of powers of ideals of maximal minors, A Gröbner basis criterion for birational equivalence of affine varieties, A formal theory of matrix primeness, Implementation of the Painlevé test for ordinary differential systems, Indexed types, On the walk, Modular algorithms for computing Gröbner bases., An algorithm for computing invariants of linear actions of algebraic groups up to a given degree., Involutive bases of polynomial ideals, Minimal involutive bases, Application of Gröbner bases theory to derive rate equations for enzyme catalysed reactions with two or more substrates or products, A complete algorithm for counting real solutions of polynomial systems of equations and inequalities., Limits of theory sequences over algebraically closed fields and applications., The term orderings which are compatible with composition. II., Examples of using dynamic constructible closure., Homogeneity of integrability conditions for multi-parametric families of polynomial-nonlinear evolution equations., Floating point Gröbner bases., Computational ideal theory in finitely generated extension rings, Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey, Computer algebra and algebraic geometry -- achievements and perspectives, Multivariate spline and algebraic geometry, Computing ideals of points, Automated resolution of singularities for hypersurfaces, A fast algorithm for Gröbner basis conversion and its applications, Global methods for solving systems of nonlinear algebraic equations, A new approach for finding all zeros for systems of nonlinear functions, Continuously parameterized symmetries and Buchberger's algorithm, Regular Gröbner bases, A new algorithm for discussing Gröbner bases with parameters., Symmetry in planar dynamical systems, Traveling wave solutions for nonlinear equations using symbolic computation, On robust stability of polynomials with polynomial parameter dependency: Two/three parameter cases, Reconstructing birational maps from their face functions, On the Bézout construction of the resultant, Gröbner bases, invariant theory and equivariant dynamics, Polynomial systems from certain differential equations, Normality of subrings generated by square free monomials, Ideal basis and primary decompositions: case of two variables, Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence, Gröbner bases and Stanley decompositions of determinantal ideals, Algebraic methods for computing inverse kinematics, Geometric theorem proving by integrated logical and algebraic reasoning, A software tool for the investigation of plane loci, An algorithm for isolating the real solutions of semi-algebraic systems, Applications of Gröbner bases to signal and image processing: a survey, On relations between Jacobians and minimal polynomials, From algebraic sets to monomial linear bases by means of combinatorial algorithms, An algebraic geometry algorithm for scheduling in presence of setups and correlated demands, On an implementation of standard bases and syzygies in SINGULAR, A remarkable nonlinear invariant for evolution with heterogeneous rates, Observability of smooth control systems, Reduction of everywhere convergent power series with respect to Gröbner bases, Analytical solutions to the optimization of a quadratic cost function subject to linear and quadratic equality constraints, Binomial ideals, A combinatorial result on Gröbner fans with an application to universal Gröbner bases, Advances and improvements in the theory of standard bases and syzygies, The dimension method in elementary and differential geometry, A generalized Euclidean algorithm for geometry theorem proving, Mechanical theorem proving in projective geometry, A category of geometric spaces: Some computational aspects, An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals, Deformation techniques for efficient polynomial equation solving., Canonical computational forms for AR 2-D systems, A dimension series for multivariate splines, Effective computation of the integral closure of a morphism, Gröbner bases of ideals defined by functionals with an application to ideals of projective points, Algorithmic aspects of Suslin's proof of Serre's conjecture, A new Gröbner basis conversion method based on stabilization techniques, Canonical forms for polynomial and quadratic differential operators, Efficient Groebner walk conversion for implicitization of geometric objects, A new class of term orders for elimination, Further results on homogeneous Gröbner bases under composition, Automatic classification of normal forms, Unnamed Item, Gröbner bases of associative algebras and the Hochschild cohomology, Symbolic manipulation for some non-algebraic objects and its application in computing the lce of van der pol equation*, An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms, Filtered-graded transfer of groebner basis computation in solvable polynomial algebras, On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons, Reasoning Algebraically About P-Solvable Loops, New light on certain two level designs using Gröbner bases, On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra, A systematic framework for solving geometric constraints analytically, A new approach to computing Chern classes of \(\text{U}(p)\)-valued lattice gauge fields, Counting and Gröbner bases, Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, Involutive directions and new involutive divisions, Fast differential eleminination in C: The CDiffElim environment, Factorizations for \(n\)D polynomial matrices, Computing zero-dimensional schemes, Computing restrictions of ideals in finitely generated \(k\)-algebras by means of Buchberger's algorithm, An automated prover for Zermelo-Fraenkel set theory in Theorema, Non-associative Gröbner bases, Efficient interval partitioning-local search collaboration for constraint satisfaction, Generalized power series solutions to linear partial differential equations, Are Buchberger's criteria necessary for the chain condition?, A class of mechanically decidable problems beyond Tarski's model, The membrane inclusions curvature equations, On the number of distinct multinomial coefficients, Abstract canonical presentations, Two-stage integer programs with stochastic right-hand sides: A superadditive dual approach, Homogeneous Gröbner bases under composition, Periodic solutions of a quartic differential equation and Groebner bases, Computing final polynomials and final syzygies using Buchberger's Gröbner bases method, The computation of characteristic classes of lattice gauge fields, Structures for abstract rewriting, Efficiently computing minimal sets of critical pairs, A normal form algorithm for the Brieskorn lattice, Effective Bezout identities in \({\mathbb{Q}}[z_ 1,\dots ,z_ n\)], Unnamed Item, Computing minimal polynomials and the degree of unfaithfulness, Computational aspects of the coordinate ring of an algebraic variety, On the continuous dual of a polynomial bialgebra, COMPUTING THE ADDITIVE STRUCTURE OF INDECOMPOSABLE MODULES OVER DEDEKIND-LIKE RINGS USING GRÖBNER BASES, Cryptanalysis of the TRMS Signature Scheme of PKC’05, Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects, A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals, Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems, BIFURCATIONS OF CRITICAL PERIODS: CUBIC VECTOR FIELDS IN KAPTEYN'S NORMAL FORM, Koszul Homology and the Structure of Low Codimension Cohen-Macaulay Ideals, Bifurcation of Critical Periods for Plane Vector Fields, Curvature computations on surfaces in $n$-space, Computing the Integral Closure of an Affine Domain, Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations, Unnamed Item, Systems of linear equations over associative algebras and the occurrence problem for lie algebras
