RegularChains

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 45 articles , 1 standard article )

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

1 2 3 next

  1. Brunat, Josep M.; Montes, Antonio: Computing the canonical representation of constructible sets (2016)
  2. Chen, Changbo; Moreno Maza, Marc: Quantifier elimination by cylindrical algebraic decomposition based on regular chains (2016)
  3. Boulier, Francois; Han, M.; Lemaire, Francois; Romanovski, Valery G.: Qualitative investigation of a gene model using computer algebra algorithms (2015)
  4. Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)
  5. Afzal, Deeba; Janjua, Faira Kanwal; Pfister, Gerhard; Steidel, Stefan: Solving via modular methods (2014)
  6. Alvandi, Parisa; Chen, Changbo; Marcus, Steffen; Maza, Marc Moreno; Schost, Éric; Vrbik, Paul: Doing algebraic geometry with the regularchains library (2014)
  7. Botana, Francisco; Recio, Tomás: Using Maple’s regularchains library to automatically classify plane geometric loci (2014)
  8. Boulier, François; Chen, Changbo; Lemaire, François; Maza, Marc Moreno: Real root isolation of regular chains (2014)
  9. Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David: Truth table invariant cylindrical algebraic decomposition by regular chains (2014)
  10. Chen, Changbo; Maza, Marc Moreno: Solving parametric polynomial systems by realcomprehensivetriangularize (2014)
  11. Chen, Changbo; Moreno Maza, Marc: Real quantifier elimination in the regularchains library (2014)
  12. Chen, Changbo; Moreno Maza, Marc: Cylindrical algebraic decomposition in the regularchains library (2014)
  13. Chen, Zhenghong; Tang, Xiaoxian; Xia, Bican: Hierarchical comprehensive triangular decomposition (2014)
  14. Corless, Robert M.; Thornton, Steven E.: A package for parametric matrix computations (2014)
  15. England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H.: Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting (2014)
  16. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  17. Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
  18. Chen, Changbo; Davenport, James H.; May, John P.; Moreno Maza, Marc; Xia, Bican; Xiao, Rong: Triangular decomposition of semi-algebraic systems (2013)
  19. She, Zhikun; Li, Haiyin: Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response (2013)
  20. She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican: Discovering polynomial Lyapunov functions for continuous dynamical systems (2013)

1 2 3 next


Further publications can be found at: http://www.regularchains.org/publications.html