The RegularChains package in the computer algebra software package Maple is a collection of commands for solving systems of polynomial equationsâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- Changbo Chen, Marc Moreno Maza
- ICMS
- 2014

Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry and has been implementedâ€¦Â (More)

Is this relevant?

2014

2014

- Changbo Chen, Marc Moreno Maza
- ICMS
- 2014

Quantifier elimination (QE) over real closed fields has found numerous applications. Cylindrical algebraic decomposition (CAD) isâ€¦Â (More)

Is this relevant?

2014

2014

Traditionally, Groebner bases and cylindrical algebraic decomposition are the fundamental tools of computational algebraicâ€¦Â (More)

Is this relevant?

2011

2011

- Changbo Chen, James H. Davenport, +4 authors Yuzhen Xie
- ACM Comm. Computer Algebra
- 2011

Computing and manipulating the real solutions of polynomial systems is a requirement for many application areas such asâ€¦Â (More)

Is this relevant?

2011

2011

- Changbo Chen, James H. Davenport, +5 authors Yuzhen Xie
- 2011

It is well known that multivariate nonlinear polynomial systems are genuinely harder to solve than linear systems. This isâ€¦Â (More)

Is this relevant?

2007

2007

- Changbo Chen, FranÃ§ois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
- International Conference on Computational Science
- 2007

We present new functionalities that we have added to the RegularChains library in Maple to efficiently compute irredundantâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- FranÃ§ois Lemaire, Marc Moreno Maza, Yuzhen Xie
- ACM SIGSAM Bulletin
- 2005

Performing calculations modulo a set of relations is a basictechnique in algebra. For instance, computing the inverse ofâ€¦Â (More)

Is this relevant?

2002

2002

This thesis is dedicated to the study of nonlinear partial differential equations systems. The chosen approach is usingâ€¦Â (More)

Is this relevant?

2000

2000

- Makoto Kaneko, Kensuke Harada, Toshio Tsuji
- ICRA
- 2000

This paper discusses a sufficient condition for manipulation of Envelope Family, where multiple contacts are allowed betweenâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Philippe Aubry, Daniel Lazard, Marc Moreno Maza
- J. Symb. Comput.
- 1999

Triangular sets appear under various names in many papers concerning systems of polynomial equations. Ritt (1932) introduced themâ€¦Â (More)

Is this relevant?