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
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 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, 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, 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, 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, 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, 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., 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, Efficient Groebner walk conversion for implicitization of geometric objects, The membrane inclusions curvature equations, Periodic solutions of a quartic differential equation and Groebner bases, Unnamed Item, Computing minimal polynomials and the degree of unfaithfulness, BIFURCATIONS OF CRITICAL PERIODS: CUBIC VECTOR FIELDS IN KAPTEYN'S NORMAL FORM, 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
