scientific article
From MaRDI portal
zbMath0587.13009MaRDI QIDQ3714165
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Ideals and multiplicative ideal theory in commutative rings (13A15)
Related Items
A categorical formulation for critical-pair/completion procedures, Generalized quadratic commutator algebras of PBW-type, Automatic classification of normal forms, COMPUTING THE ADDITIVE STRUCTURE OF INDECOMPOSABLE MODULES OVER DEDEKIND-LIKE RINGS USING GRÖBNER BASES, Unnamed Item, Buchberger-Weispfenning theory for effective associative rings, A new framework for computing Gröbner bases, Simulating Buchberger's algorithm by Knuth-Bendix completion, On the correctness of a distributed memory Gröbner basis algorithm, Symideal Gröbner bases, On polynomial ideals, their complexity, and applications, Unnamed Item, Computing final polynomials and final syzygies using Buchberger's Gröbner bases method, Curvature computations on surfaces in $n$-space, 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\)], COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}, R A VALUATION RING], Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods, Gröbner bases of associative algebras and the Hochschild cohomology, Computational aspects of the coordinate ring of an algebraic variety, When Is a Formula a Loop Invariant?, Unification properties of commutative theories: A categorical treatment, Buchberger's algorithm: A constraint-based completion procedure, Ascending chains of ideals in the polynomial ring, Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems, Sequence decomposition method for computing a Gröbner basis and its application to bivariate spline, Admissible ordering on monomials is well-founded: a constructive proof, Using dynamic memory reallocation in GInv, A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs), Cryptanalysis of the TRMS Signature Scheme of PKC’05, Some improvements for the algorithm of Gröbner bases over dual valuation domain, A new algorithm for computing staggered linear bases, Further perspectives on elimination, On the periodic orbits of the continuous-discontinuous piecewise differential systems with three pieces separated by two parallel straight lines, Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability, The Generalized Rabinowitsch Trick, Symbolic manipulation for some non-algebraic objects and its application in computing the lce of van der pol equation*, Normal Form Analysis of ℤ2-Equivariant Singularities, An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms, Analysis of Snapback Repellers Using Methods of Symbolic Computation, Finding Fuzzy Inverse Matrix Using Wu’s Method, Are Buchberger's criteria necessary for the chain condition?, Residue integrals and Waring’s formulas for algebraic or even transcendental systems, Some Combinatorial Applications of Gröbner Bases, GEOTHER: A geometry theorem prover, Computing the Integral Closure of an Affine Domain, A class of mechanically decidable problems beyond Tarski's model, A systematic framework for solving geometric constraints analytically, A new approach to computing Chern classes of \(\text{U}(p)\)-valued lattice gauge fields, BIFURCATIONS OF CRITICAL PERIODS: CUBIC VECTOR FIELDS IN KAPTEYN'S NORMAL FORM, Counting and Gröbner bases, The membrane inclusions curvature equations, Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Unnamed Item, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, On the number of distinct multinomial coefficients, Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects, Involutive directions and new involutive divisions, A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals, Fast differential eleminination in C: The CDiffElim environment, Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems, Abstract canonical presentations, Filtered-graded transfer of groebner basis computation in solvable polynomial algebras, Two-stage integer programs with stochastic right-hand sides: A superadditive dual approach, On the continuous dual of a polynomial bialgebra, Factorizations for \(n\)D polynomial matrices, Homogeneous Gröbner bases under composition, Koszul Homology and the Structure of Low Codimension Cohen-Macaulay Ideals, Gröbner bases: An introduction, On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons, Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations, Reasoning Algebraically About P-Solvable Loops, Decomposition of polynomial sets into characteristic pairs, Unnamed Item, Giac and GeoGebra – Improved Gröbner Basis Computations, Computing H-bases via minimal bases for syzygy modules, New light on certain two level designs using Gröbner bases, Enhancing the Extended Hensel Construction by Using Gröbner Bases, Periodic solutions of a quartic differential equation and Groebner bases, On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra, Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems, Computing minimal polynomials and the degree of unfaithfulness, Bifurcation of Critical Periods for Plane Vector Fields, Systems of linear equations over associative algebras and the occurrence problem for lie algebras, Solving fuzzy complex system of linear equations using eigenvalue method, 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, Syzygies probing scattering amplitudes, Comments on the evaluation of massless scattering, 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, A note on linear Sperner families, 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, 2D systems feedback compensation: An approach based on commutative linear transformations, A refutational approach to geometry theorem proving, Survey on the theory and applications of \(\mu\)-bases for rational curves and surfaces, A novel method for analyzing enzyme kinetic systems, A Levenberg-Marquardt method for solving semi-symmetric tensor equations, 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., 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, 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, 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, Computer algebra and algebraic geometry -- achievements and perspectives, On normal affine semigroups, 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, An algorithm to obtain laws of families of filiform Lie algebras, 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, 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, Traveling wave solutions for nonlinear equations using symbolic computation, Some examples for solving systems of algebraic equations by calculating Gröbner bases, Polly cracker, revisited, Differential fault based key recovery attacks on TRIAD, On the theory of graded structures, Challenging theorem provers with Mathematical Olympiad problems in solid geometry, New constructive methods in classical ideal theory, Decomposition of ordinary difference polynomials, Computing generating sets of lattice ideals and Markov bases of lattices, 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, Relative parametrization of linear multidimensional systems, Notes on minimal realizations of multidimensional systems, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, \textit{Theorema}: Towards computer-aided mathematical theory exploration, 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, Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs, 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, Stability analysis for discrete biological models using algebraic methods, Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods, Gröbner bases and primary decomposition of polynomial ideals, Representing and solving finite-domain constraint problems using systems of polynomials, Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization, A p-adic approach to the computation of Gröbner bases, Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants, Two computational techniques for singularity resolution, 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, Extended \(F_5\) criteria, Automatic deduction in (dynamic) geometry: Loci computation, Vanishing ideals over complete multipartite graphs, On the decoding of the \((24, 12, 8)\) Golay code, On the computation of parametric Gröbner bases for modules and syzygies, Implicitization using univariate resultants, On the topology of real algebraic plane curves, W-Gröbner basis and monomial ideals under polynomial composition, Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases, Computing inhomogeneous Gröbner bases, Morley's theorem revisited: origami construction and automated proof, An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point, 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, Applying IsRewritten criterion on Buchberger algorithm, 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, Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods, Second syzygy of determinantal ideals generated by minors of generic symmetric matrices, A behavioral approach to identifiability of 2D scalar systems, Algebraic and geometric structures of analytic partial differential equations, Trust-region methods for nonlinear elliptic equations with radial basis functions, Constructions of standard bases of right \(K\langle A\rangle\)- modules, Pivoting in extended rings for computing approximate Gröbner bases, Solving the 100 swiss francs problem, Elliptic solitons with free constants and their isospectral deformations, Non-standard approaches to integer programming, Looking for Gröbner basis theory for (almost) skew 2-nomial algebras., 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, On the decoding of binary cyclic codes with the Newton identities, An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography, Differential invariant algebras of Lie pseudo-groups, Counting positive solutions for polynomial systems with real coefficients, Galois cohomology of a number field is Koszul, 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, Forward displacement analysis of the general 6-6 Stewart mechanism using Gröbner bases, Real zeros of the zero-dimensional parametric piecewise algebraic variety, Three kinds of extraneous factors in Dixon resultants, Multi-valued logic and Gröbner bases with applications to modal logic, Computer algebra application for classification of integrable non-linear evolution equations, Parallel multiplication and powering of polynomials, Robust gamma-stability analysis in a plant parameter space, An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations, Distance between two arbitrary unperturbed orbits, A survey of the representations of rational ruled surfaces, An improvement for GVW, On minimal realizations of first-degree 3D systems with separable denominators, On the connection between Ritt characteristic sets and Buchberger-Gröbner bases, 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, Applications of Gröbner bases to signal and image processing: a survey, Algebraic verification method for SEREs properties via Groebner bases approaches, On relations between Jacobians and minimal polynomials, A new Gröbner basis conversion method based on stabilization techniques, From algebraic sets to monomial linear bases by means of combinatorial algorithms, Canonical forms for polynomial and quadratic differential operators, Efficient Groebner walk conversion for implicitization of geometric objects, An algebraic geometry algorithm for scheduling in presence of setups and correlated demands, Polynomials root-finding using a SLEFE-based clipping method, On an implementation of standard bases and syzygies in SINGULAR, A remarkable nonlinear invariant for evolution with heterogeneous rates, Observability of smooth control systems, Gröbner bases techniques for an \(S\)-packing \(k\)-coloring of a graph, 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, High-order upwind schemes for the wave equation on overlapping grids: Maxwell's equations in second-order form, Radically solvable graphs, The decision of prime and primary ideal, Standard bases over Euclidean domains, Elliptic curve discrete logarithm problem over small degree extension fields, Converting subalgebra bases with the Sagbi walk, Shattering-extremal set systems of small VC-dimension, GVW algorithm over principal ideal domains, Efficient Gröbner bases computation over principal ideal rings, Sparse FGLM algorithms, A survey on signature-based algorithms for computing Gröbner bases, Computation of involutive and Gröbner bases using the tableau representation of polynomials, Minimal basis of the syzygy module of leading terms, The monotonicity of ratios of some abelian integrals, A subresultant-like theory for Buchberger's procedure, Parallelization of matrix algorithms for Gröbner basis computation, On the ring of local polynomial invariants for a pair of entangled qubits, A general version of standard bases in associative algebras and their universal constructions., Characteristic decomposition: from regular sets to normal sets, A new class of term orders for elimination, Further results on homogeneous Gröbner bases under composition, 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, An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals, Computing strong regular characteristic pairs with Gröbner bases, Efficient interval partitioning-local search collaboration for constraint satisfaction, Deformation techniques for efficient polynomial equation solving., Retrieving geometric information from images: the case of hand-drawn diagrams, Generalized power series solutions to linear partial differential equations, Gröbner bases for solving \({\Delta Q}\)-equations in water distribution networks, Algorithms for solving reachability problems in 2-link planar arms using Gröbner bases, Algebraic analysis of stability and bifurcation of a self-assembling micelle system, Characterization of rational ruled surfaces, Numerical computation of H-bases, A general framework for Noetherian well ordered polynomial reductions, Generalized Walsh bases and applications, Complexity of solving parametric polynomial systems, Normal projection: deterministic and probabilistic algorithms, Representing rational curve segments and surface patches using semi-algebraic sets, Buchberger-Zacharias theory of multivariate Ore extensions, nD methods for 1D parameter-dependent systems, Flat families by strongly stable ideals and a generalization of Gröbner bases, Canonical computational forms for AR 2-D systems, A dimension series for multivariate splines, Parameter identification on abelian integrals to achieve Chebyshev property, Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings, Zacharias representation of effective associative rings, Cryptanalysis of the extension field cancellation cryptosystem, The second discriminant of a univariate polynomial, 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, On the notion of Krull super-dimension, Normality of subrings generated by square free monomials, Computing and using minimal polynomials, 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, Symbolic computation for the qualitative theory of differential equations, Algebraic methods for computing inverse kinematics, Groebner bases based verification solution for SystemVerilog concurrent assertions, A matrix nullspace approach for solving equality-constrained multivariable polynomial least-squares problems, On persistent excitations for the identification of switched linear dynamical systems over finite fields, 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, Solving sparse non-negative tensor equations: algorithms and applications
