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

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

1 2 3 next

  1. Amzallag, Eli; Sun, Mengxiao; Pogudin, Gleb; Vo, Thieu N.: Complexity of triangular representations of algebraic sets (2019)
  2. Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C.: Using machine learning to improve cylindrical algebraic decomposition (2019)
  3. Schreck, Pascal: On the mechanization of straightedge and compass constructions (2019)
  4. Cifuentes, Diego; Parrilo, Pablo A.: Chordal networks of polynomial ideals (2017)
  5. Corless, Robert M.; Moreno Maza, Marc; Thornton, Steven E.: Jordan canonical form with parameters from Frobenius form with parameters (2017)
  6. Dong, Rina; Mou, Chenqi: Decomposing polynomial sets simultaneously into Gröbner bases and normal triangular sets (2017)
  7. Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican: Open weak CAD and its applications (2017)
  8. Liang, Quanyi; She, Zhikun; Wang, Lei; Chen, Michael Z. Q.; Wang, Qing-Guo: Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces (2017)
  9. Alvandi, Parisa; Kazemi, Mahsa; Maza, Marc Moreno: Computing limits with the RegularChains and PowerSeries libraries: from rational functions to Zariski closure (2016)
  10. Brunat, Josep M.; Montes, Antonio: Computing the canonical representation of constructible sets (2016)
  11. Chen, Changbo; Moreno Maza, Marc: Quantifier elimination by cylindrical algebraic decomposition based on regular chains (2016)
  12. Robertz, Daniel: Formal algorithmic elimination for PDEs (2016)
  13. Boulier, Francois; Han, M.; Lemaire, Francois; Romanovski, Valery G.: Qualitative investigation of a gene model using computer algebra algorithms (2015)
  14. Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)
  15. Maza, Marc Moreno: Doing algebraic geometry with the regularchains library (2015) ioport
  16. Afzal, Deeba; Janjua, Faira Kanwal; Pfister, Gerhard; Steidel, Stefan: Solving via modular methods (2014)
  17. Alvandi, Parisa; Chen, Changbo; Marcus, Steffen; Maza, Marc Moreno; Schost, Éric; Vrbik, Paul: Doing algebraic geometry with the regularchains library (2014)
  18. Botana, Francisco; Recio, Tomás: Using Maple’s regularchains library to automatically classify plane geometric loci (2014)
  19. Boulier, François; Chen, Changbo; Lemaire, François; Maza, Marc Moreno: Real root isolation of regular chains (2014)
  20. Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David: Truth table invariant cylindrical algebraic decomposition by regular chains (2014)

1 2 3 next

Further publications can be found at: