MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

Numerical quantifier elimination


Is there any numerical algorithm for quantifier elimination? Please let me 
know.

-- Bonny. 



  • Prev by Date: Re: eps exports with dashes in them (important - to me, anyway)
  • Next by Date: Irregular Behavior of TranslateShape and RotateShape with ParametricPlot3D
  • Previous by thread: Re: Movie clips to Mathematica
  • Next by thread: Re: Numerical quantifier elimination