RegularChains

The RegularChains package in the computer algebra software package Maple is a collection of commands for solving systems of polynomial equations… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2017
024619952017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry and has been implemented… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
2014
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
Computing and manipulating the real solutions of polynomial systems is a requirement for many application areas such as… (More)
Is this relevant?
2011
2011
It is well known that multivariate nonlinear polynomial systems are genuinely harder to solve than linear systems. This is… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2007
2007
We present new functionalities that we have added to the RegularChains library in Maple to efficiently compute irredundant… (More)
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
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
This paper discusses a sufficient condition for manipulation of Envelope Family, where multiple contacts are allowed between… (More)
  • figure 1
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Triangular sets appear under various names in many papers concerning systems of polynomial equations. Ritt (1932) introduced them… (More)
Is this relevant?