33 search results - page 4 / 7 » Enumerative Real Algebraic Geometry |
COMPGEOM
2009
ACM
14 years 2 months ago
2009
ACM
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
COMGEO
2010
ACM
13 years 7 months ago
2010
ACM
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
CASC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
AB
2007
Springer
14 years 1 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
AML
2005
13 years 7 months ago
2005
es of orderings (an abstract version of real spectras of formally real fields), for which they are expressed as local-global principles: A property of quadratic forms (expressed as...