scientific article; zbMATH DE number 16648
From MaRDI portal
Publication:3973334
Differential algebra (12H05) Ideals and multiplicative ideal theory in commutative rings (13A15) 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) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)
Recommendations
- scientific article; zbMATH DE number 4213458
- A new algorithmic scheme for computing characteristic sets
- A strategy for speeding-up the computation of characteristic sets
- scientific article; zbMATH DE number 1795751
- Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
- Efficient algorithms for computing the characteristic polynomial in a domain
- Efficient algorithm for computing the Euler-Poincaré characteristic of a semi-algebraic set defined by few quadratic inequalities
- Characteristic set algorithms for equation solving in finite fields
- Characterizations of efficient solutions under polyhedrality assumptions
- Efficient computation of representative sets with applications in parameterized and exact algorithms
Cited in
(34)- A characteristic set method for ordinary difference polynomial systems
- A semi-algebraic approach for asymptotic stability analysis
- Wu's method and the Khovanskii finiteness theorem
- On the parameterization of algebraic curves
- Computational complexity and constraint logic programming languages
- Complexity of triangular representations of algebraic sets
- Elimination theory in differential and difference algebra
- Complexity results for triangular sets
- A generalized Euclidean algorithm for geometry theorem proving
- A new algorithmic scheme for computing characteristic sets
- On the efficiency of solving Boolean polynomial systems with the characteristic set method
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- An alternative algorithm for computing the pseudo-remainder of multivariate polynomials
- Characteristic sets for ordinary differential equations
- scientific article; zbMATH DE number 4213458 (Why is no real title available?)
- Characteristic set algorithms for equation solving in finite fields
- scientific article; zbMATH DE number 1254030 (Why is no real title available?)
- scientific article; zbMATH DE number 1961165 (Why is no real title available?)
- scientific article; zbMATH DE number 1795751 (Why is no real title available?)
- Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms
- A strategy for speeding-up the computation of characteristic sets
- The uniform companion for large differential fields of characteristic 0
- A probabilistic algorithm to test local algebraic observability in polynomial time
- A Direttissimo Algorithm for Equidimensional Decomposition
- Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- An Algorithm for the Intersection Problem of Planar Parametric Curves
- Choosing variable orderings based on elimination tree for sparse triangular decomposition
- A syzygial method for equidimensional decomposition
- Complexity analysis of triangular decomposition over F₂ with strongly chordal graphs
- Differential elimination and algebraic invariants of polynomial dynamical systems
- Strongly and transitive chordal graphs and their applications in complexity analysis of triangular decomposition
- Computation of differential Chow forms for ordinary prime differential ideals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973334)
