The RegularChains library in Maple 10. The RegularChains library provides facilities for symbolic computations with systems of polynomial equations. In particular, it allows to compute modulo a set of algebraic relations. Automatic case discussion (and recombination) handles zero-divisors and parameters. This permits triangular decomposition of polynomial equations

References in zbMATH (referenced in 82 articles , 1 standard article )

Showing results 1 to 20 of 82.
Sorted by year (citations)

1 2 3 4 5 next

  1. Dahan, Xavier: Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (2022)
  2. Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon: Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (2021)
  3. Ameur, Yacin; Helmer, Martin; Tellander, Felix: On the uniqueness problem for quadrature domains (2021)
  4. Asadi, Mohammadali; Brandt, Alexander; Moreno Maza, Marc: Computational schemes for subresultant chains (2021)
  5. Dong, Rina; Wang, Dongming: Computing strong regular characteristic pairs with Gröbner bases (2021)
  6. Magron, Victor; Safey El Din, Mohab: On exact Reznick, Hilbert-Artin and Putinar’s representations (2021)
  7. Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma: Multivariate Power Series in Maple (2021) arXiv
  8. Wang, Dongming; Xu, Juan: A symbolic-numerical algorithm for isolating real roots of certain radical expressions (2021)
  9. Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas: Identifying the parametric occurrence of multiple steady states for some biological networks (2020)
  10. Couto, Ana C. Camargos; Maza, Marc Moreno; Linder, David; Jeffrey, David J.; Corless, Robert M.: Comprehensive (LU) factors of polynomial matrices (2020)
  11. England, Matthew; Bradford, Russell; Davenport, James H.: Cylindrical algebraic decomposition with equational constraints (2020)
  12. Guo, Feng; Phạm, Ti’ên-Son: On types of degenerate critical points of real polynomial functions (2020)
  13. Kremer, Gereon; Ábrahám, Erika: Fully incremental cylindrical algebraic decomposition (2020)
  14. Lange-Hegermann, Markus; Robertz, Daniel: Thomas decomposition and nonlinear control systems (2020)
  15. Quadrat, Alban (ed.); Zerz, Eva (ed.): Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014 (2020)
  16. Amzallag, Eli; Sun, Mengxiao; Pogudin, Gleb; Vo, Thieu N.: Complexity of triangular representations of algebraic sets (2019)
  17. England, Matthew; Florescu, Dorian: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (2019)
  18. Harris, Corey; Michałek, Mateusz; Sertöz, Emre Can: Computing images of polynomial maps (2019)
  19. Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.: Using machine learning to improve cylindrical algebraic decomposition (2019)
  20. Schreck, Pascal: On the mechanization of straightedge and compass constructions (2019)

1 2 3 4 5 next

Further publications can be found at: