scientific article; zbMATH DE number 217454

From MaRDI portal

zbMath0772.13010MaRDI QIDQ4693774

Volker Weispfenning, Thomas M. Becker

Publication date: 27 June 1993


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Alexander invariants of complex hyperplane arrangements, Automatic classification of normal forms, Polynomial selection for computing Gröbner bases, Symideal Gröbner bases, On the complexity of the integral closure, Gröbner bases of associative algebras and the Hochschild cohomology, The affine sieve, Gröbner bases of neural ideals, Buchberger's algorithm: A constraint-based completion procedure, GRIN: An implementation of Gröbner bases for integer programming, Group-like small cancellation theory for rings, The invertibility of rational univariate representations, A Direttissimo Algorithm for Equidimensional Decomposition, Effective algebraic independence of values of \(E\)-functions, Iterative roots of two-dimensional mappings, A signature-based algorithm for computing the nondegenerate locus of a polynomial system, What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?, Poisson and symplectic reductions of 4–DOF isotropic oscillators. The van der Waals system as benchmark, Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties, A technique to reduce memory usage of M4GB algorithm, Cup-length of oriented Grassmann manifolds via Gröbner bases, Axioms for a theory of signature bases, \textsc{Rings}: an efficient Java/Scala library for polynomial rings, A model for analyzing phenomena in multicellular organisms with multivariable polynomials: Polynomial life, On the computation of the Galois group of linear difference equations, Relative generalized Hamming weights of evaluation codes, Unnamed Item, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, Algebraic Modelling of Covering Arrays, Associated prime ideals over skew PBW extensions, Skew Poincaré–Birkhoff–Witt extensions over weak compatible rings, Normal Form Analysis of ℤ2-Equivariant Singularities, IDEALS OF MINORS DEFINING GENERIC SINGULARITIES AND THEIR GRöBNER BASES, Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras, Time-delay interferometry, Thurston’s spinning construction and solutions to the hyperbolic gluing equations for closed hyperbolic 3–manifolds, Monomial bases and pre-Lie structure for free Lie algebras, Nonlinear Consensus on Networks: Equilibria, Effective Resistance, and Trees of Motifs, Using Galois ideals for computing relative resolvents, Counting and Gröbner bases, An implicitization algorithm for rational surfaces with no base points, Time-delay interferometry, Irreducible ideals of finitely generated commutative monoids, Gröbner bases over Galois rings with an application to decoding alternant codes, A Gröbner free alternative for polynomial system solving, Unnamed Item, Algebraic structure of quasicyclic codes, Reparameterization of Curves and Surfaces with Respect to Their Convolution, A general framework to build contextual cover set induction provers, Recognizing the symmetry type of O. D. E. s, Re-filtering and exactness of the Gelfand-Kirillov dimension, An algorithmic approach to Schmüdgen's Positivstellensatz, Two applications of analytic functors, On the complexity of computing Gröbner bases for weighted homogeneous systems, Cylinders Through Five Points: Complex and Real Enumerative Geometry, Unnamed Item, Unnamed Item, Ideal membership in polynomial rings over the integers, An algebraic study of multivariable integration and linear substitution, Effective Set Membership in Computer Algebra and Beyond, Unnamed Item, Generalized Integral Dependence Relations, Z 2 -equivariant standard bases for submodules associated with Z 2 -equivariant singularities, Polynomial selection of <i>F</i><sub>4</sub> for solving the MQ problem, Effective approximation of the solutions of algebraic equations, Polly cracker, revisited, On the complexity of computing Gröbner bases in characteristic 2, Simplification of nested real radicals revisited, Testing binomiality of chemical reaction networks using comprehensive Gröbner systems, First order perturbation and local stability of parametrized systems, Conditions for polynomial Liénard centers, Role of involutive criteria in computing Boolean Gröbner bases, Computing generating sets of lattice ideals and Markov bases of lattices, Decomposition of algebraic sets and applications to weak centers of cubic systems, Blending implicit interval curves and surfaces, Computer algebra for guaranteed accuracy. How does it help?, Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs, Representing and solving finite-domain constraint problems using systems of polynomials, Two computational techniques for singularity resolution, Commutative algebra in the Mizar system, A new proof for the correctness of the F5 algorithm, Polynomial equation solving by lifting procedures for ramified fibers, Maximization principles for frequency-dependent selection. II: The one-locus multiallele case, Extended \(F_5\) criteria, Gröbner bases for polynomial systems with parameters, F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases, Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases, On the determination of cusp points of 3-RPR parallel manipulators, Formal Laurent series in several variables, An improved algorithm for deciding semi-definite polynomials, Symbolic powers of planar point configurations. II., Isochronicity conditions for some planar polynomial systems, Artificial discontinuities of single-parametric Gröbner bases, W-Gröbner basis and monomial ideals under polynomial composition, Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case, A note on determine the greatest common subfamily of two NFSRs by Gröbner basis, Discussion on polynomials having polynomial iterative roots, Applying IsRewritten criterion on Buchberger algorithm, \(\rho\)-homogeneous binomial ideals and Patil bases, Difference algebra and system identification, Differential elimination with Dixon resultants, Global minimization of multivariate polynomials using nonstandard methods, Interpolation in list decoding of Reed-Solomon codes, Lyapunov stability analysis of higher-order 2-D systems, Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms, An algorithm for computing the kernel of a locally finite iterative higher derivation, Computing modular correspondences for abelian varieties, Generic interpolation polynomial for list decoding, Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow, Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice, A difference ring theory for symbolic summation, Parametrizing compactly supported orthonormal wavelets by discrete moments, On systems of algebraic equations with parametric exponents. II, On the probability distribution of data at points in real complete intersection varieties, Combinatorial presentation of multidimensional persistent homology, Gröbner-Shirshov bases for quantum enveloping algebras, Gröbner bases and Diophantine analysis, Differential standard bases under composition, An order-theoretic characterization of the Howard-Bachmann-hierarchy, Parametric FGLM algorithm, Detecting infinitely many semisimple representations in a fixed finite dimension., A Gröbner-bases algorithm for the computation of the cohomology of Lie (super) algebras, Pivoting in extended rings for computing approximate Gröbner bases, Regularized learning in Banach spaces as an optimization problem: representer theorems, Derivations and radicals of polynomial ideals over fields of arbitrary characteristic, Non-standard approaches to integer programming, Serre's reduction of linear functional systems., Realization theory for rational systems: minimal rational realizations, Differential algebra for derivations with nontrivial commutation rules, Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations, Determining the global minimum of Higgs potentials via Groebner bases - applied to the NMSSM, Determining a rotation of a tetrahedron from a projection, On the existence of certain error formulas for a special class of ideal projectors, Properness defects of projection and minimal discriminant variety, A bivariate preprocessing paradigm for the Buchberger-Möller algorithm, Rational hypersurfaces with rational convolutions, Light-cone Yang-Mills mechanics: \(SU(2)\) vs. \(SU(3)\), PN surfaces and their convolutions with rational surfaces, New constructions of APN polynomial functions in odd characteristic, Certifying properties of an efficient functional program for computing Gröbner bases, New developments in the theory of Gröbner bases and applications to formal verification, Confluence and Koszulity, Effective formulas for the Łojasiewicz exponent at infinity, On the parallel complexity of the polynomial ideal membership problem, Characterization of algebraic curves by Chebyshev quadrature, Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem, Minimum lag descriptions and minimal Gröbner bases, Resolution of algebraic systems of equations in the variety of cyclic Post algebras, Polybori: A framework for Gröbner-basis computations with Boolean polynomials, Intersection points algorithm for piecewise algebraic curves based on Groebner bases, Computing differential characteristic sets by change of ordering, A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases, A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type, Equality is a jump, On monomial ideals and their socles, Intersections of sequences of ideals generated by polynomials, A new efficient algorithm for computing Gröbner bases \((F_4)\), Computation of generalized real radicals of polynomial ideals, Test sets of integer programs, The maximum number of edges in a graph of bounded dimension, with applications to ring theory, Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras, Toric ideals generalized by quadratic binomials, On Gröbner bases under specialization, Application of Gröbner bases to problems of movement of a particle, A simplified rational representation for positive-dimensional polynomial systems and SHEPWM equations solving, Integral closure of monomial ideals on regular sequences, Construction of the integral closure of an affine domain in a finite field extension of its quotient field, Computer algebra methods for implicit dynamic systems and applications, Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients, On the existence of \(p\)-units and Minkowski units in totally real cyclic fields, Primeness of multivariate polynomial matrices, Buchberger's algorithm: The term rewriter's point of view, An algorithm of computing \(b\)-functions, On the scalar rational interpolation problem, On the Stanley ring of a cubical complex, The number of outside corners of monomial ideals, Multiplicative structure and Hecke rings of generator matrices for codes over quotient rings of Euclidean domains, Computing comprehensive Gröbner systems: a comparison of two methods, Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety, Bounds for the postulation numbers of Hilbert functions, A Pommaret bases approach to the degree of a polynomial ideal, Reduction of everywhere convergent power series with respect to Gröbner bases, \(t\)-unique reductions for Mészáros's subdivision algebra, Survey on the theory and applications of \(\mu\)-bases for rational curves and surfaces, A formal theory of matrix primeness, Detecting degenerate behaviors in first order algebraic differential equations, Expansion in perfect groups., Blaschke products and circumscribed conics, Algorithmic invariant theory of nonreductive groups, Controlled invariant hypersurfaces of polynomial control systems, On primitive recursive algorithms and the greatest common divisor function, The decision of prime and primary ideal, Involutive bases of polynomial ideals, Minimal involutive bases, Standard monomials for \(q\)-uniform families and a conjecture of Babai and Frankl, Limiting Sobolev inequalities for vector fields and canceling linear differential operators, On implicit systems of differential equations., Sparse FGLM algorithms, A survey on signature-based algorithms for computing Gröbner bases, On computation of Boolean involutive bases, The ``smallest ring of polynomial invariants of a permutation group which has no finite SAGBI bases w. r. t. any admissible order, Parameters of the codes over affine varieties, The term orderings which are compatible with composition. II., Some reductions on Jacobian problem in two variables., Hyperfinite interpolation, Wu's method and blending of implicit algebraic surfaces, An algorithm to find a coordinate's mate, An effective decision method for semidefinite polynomials, Some algorithmic problems for Poisson algebras, Global homological dimension of multifiltered rings and quantized enveloping algebras, On problems related to growth, entropy, and spectrum in group theory, Nonstandard decision methods for the solvability of real polynomial equations, The differential ideal \([P : M^ \infty\).], Vanishing ideals of projective spaces over finite fields and a projective footprint bound, Deformation techniques for efficient polynomial equation solving., Conjugation of rational functions to power functions and applications to iteration, No smooth Julia sets for polynomial diffeomorphisms of \({\mathbb C}^2\) with positive entropy, Gröbner bases for solving \({\Delta Q}\)-equations in water distribution networks, Some criteria for Gröbner bases and their applications, Construction of all polynomial relations among Dedekind eta functions of level \(N\), Invariant algebraic sets and symmetrization of polynomial systems, BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases, Deterministic normal position transformation and its applications, On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases, Algebraic approaches for solving isogeny problems of prime power degrees, Generators for the \(C^m\)-closures of ideals, Computing real solutions of fuzzy polynomial systems, The dual of an evaluation code, Efficiently and effectively recognizing toricity of steady state varieties, Nonclassical reductions of a \((3+1)\)-cubic nonlinear Schrödinger system, On the Bézout construction of the resultant, A modular method to compute the rational univariate representation of zero-dimensional ideals, Gröbner bases, invariant theory and equivariant dynamics, Relative Gröbner and involutive bases for ideals in quotient rings, Algorithmic reduction of biological networks with multiple time scales, Metabolic isotopomer labeling systems. II: Structural flux identifiability analysis., Finite lattices and lexicographic Gröbner bases, Factorization-free decomposition algorithms in differential algebra, \(\mathbb N\)-solutions to linear systems over \(\mathbb Z\), 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, Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials, Cellular binomial ideals. Primary decomposition of binomial ideals, Automated resolution of singularities for hypersurfaces, Gröbner bases applied to finitely generated field extensions, Bounds for probabilistic integer programming problems, A combinatorial complexity of Gröbner bases, Finite alphabet source recovery in polynomial systems., Hilbert function and complexity lower bounds for symmetric Boolean functions, Reduction of permutation-invariant polynomials. A noncommutative case study, On harmonic elements for semi-simple Lie algebras, Continuously parameterized symmetries and Buchberger's algorithm, A new algorithm for discussing Gröbner bases with parameters., The inverse Gröbner basis problem in codimension two., Size reduction and partial decoupling of systems of equations., Bases in Orlik-Solomon type algebras, Valuations and filtrations, Computing the primary decomposition of zero-dimensional ideals, Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem, Taylor and Lyubeznik resolutions via Gröbner bases., Computation of blowing up centers, Cyclic codes and minimal strong Gröbner bases over a principal ideal ring., Gröbner bases for complete uniform families, Gröbner basis solutions of constrained interpolation problems, A Gröbner basis algorithm for ideals over zero-dimensional valuation rings, On the connection between Ritt characteristic sets and Buchberger-Gröbner bases, Gröbner systems conversion, Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra, Turing meets Schanuel, On the closure of translation-dilation invariant linear spaces of polynomials, Canonical forms for polynomial and quadratic differential operators, A computer-aided proof of a conjecture in Euclidean geometry, Computing polynomial univariate representations of zero-dimensional ideals by Gröbner basis, Dancing samba with Ramanujan partition congruences, Gröbner bases techniques for an \(S\)-packing \(k\)-coloring of a graph, Descent of ordinary differential equations with rational general solutions, Prony's method on the sphere, A mathematical model for a transmissible disease with a variant, Gröbner bases for (partial) flag manifolds, MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity, The \(\lambda \)-Gröbner bases under polynomial composition, A concise proof of the Kronecker polynomial system solver from scratch, A new algorithm for computing staggered linear bases, Standard bases over Euclidean domains, Constructive arithmetics in Ore localizations enjoying enough commutativity, Polly Two: a new algebraic polynomial-based public-key scheme, Ansätze for scattering amplitudes from \(p\)-adic numbers and algebraic geometry, On Field Size and Success Probability in Network Coding, Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$, Involutive bases algorithm incorporating F\(_5\) criterion, On the largest affine sub-families of a family of NFSR sequences, GVW algorithm over principal ideal domains, Topological classifications for a class of 2-dimensional quadratic mappings and an application to iterative roots, Parallelization of matrix algorithms for Gröbner basis computation, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Noncommutative Gröbner Bases: Applications and Generalizations, Evaluation codes and their basic parameters, Towards the complete determination of next-to-minimal weights of projective Reed-Muller codes, Solving parametric polynomial systems, Further results on homogeneous Gröbner bases under composition, A new symbolic method for solving linear two-point boundary value problems on the level of operators, Quantum automata and algebraic groups, Fractional LWE: A Nonlinear Variant of LWE, Detecting unnecessary reductions in an involutive basis computation, Nonlinear and temporal multiscale dynamics of gene regulatory networks: a qualitative simulator, Ideals, bifiltered modules and bivariate Hilbert polynomials, Tree polynomials and non-associative Gröbner bases, Computing restrictions of ideals in finitely generated \(k\)-algebras by means of Buchberger's algorithm, The lex game and some applications, Determination of the tangents for a real plane algebraic curve, Computation of unirational fields, Improving the DISPGB algorithm using the discriminant ideal, Rational invariants of a group action. Construction and rewriting, Generating all polynomial invariants in simple loops, Computing strong regular characteristic pairs with Gröbner bases, Biangular lines revisited, Cryptanalysis of the RSA variant based on cubic Pell equation, Expected term bases for generic multivariate Hermite interpolation, Binomial determinants for tiling problems yield to the holonomic ansatz, Are Buchberger's criteria necessary for the chain condition?, A Gröbner-based treatment of elimination theory for affine varieties, The vanishing ideal of a finite set of closed points in affine space, A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets, Normal projection: deterministic and probabilistic algorithms, The membrane inclusions curvature equations, Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases, Some formal tools for analyzing quantum automata., Effective algorithms for parametrizing linear control systems over Ore algebras, On the computational power of molecular heat engines, Constructing arithmetic subgroups of unipotent groups., Structure of Gröbner bases with respect to block orders, Asymptotically fast group operations on Jacobians of general curves, Evaluation of a Java Computer Algebra System, Difference Algebra, Primary decomposition of zero-dimensional ideals over finite fields, Fast Gröbner basis computation and polynomial reduction for generic bivariate ideals, Characteristic sets for ordinary differential equations, Homogeneous Gröbner bases under composition, Dimension and depth dependent upper bounds in polynomial ideal theory, Recognition of certain properties of automaton algebras., Matrix Schubert varieties and Gaussian conditional independence models, Mind the middle layer: the HADES design strategy revisited, Algebraic methods in difference sets and bent functions, On the consistency analysis of finite difference approximations, How to compute the Stanley depth of a module, A Study on Gröbner Basis with Inexact Input, Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques, A Note on Dynamic Gröbner Bases Computation, Finite Fields, Gröbner Bases and Modular Secret Sharing, Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System, Structured Hadamard Conjecture, Projective Reed-Muller type codes on higher dimensional scrolls, Unnamed Item, Applying Gröbner basis method to multiparametric polynomial nonlinear programming, Chaotic jerk systems with hidden attractors, Groebner bases based verification solution for SystemVerilog concurrent assertions, Leaf-normal form classification for \(n\)-Tuple Hopf singularities, Sparse interpolation in terms of multivariate Chebyshev polynomials, Effective algorithm for computing Noetherian operators of zero-dimensional ideals, Efficient localization at a prime ideal without producing unnecessary primary components, Heuristic decoding of linear codes using commutative algebra, Optimal codes as Tanner codes with cyclic component codes, Principal ideals of finitely generated commutative monoids, A zero-dimensional valuation ring is 1-Gröbner