Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2007

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

Search the Archive

Numerical quantifier elimination

  • To: mathgroup at
  • Subject: [mg73012] Numerical quantifier elimination
  • From: "Bonny Banerjee" <banerjee.28 at>
  • Date: Mon, 29 Jan 2007 04:03:32 -0500 (EST)
  • Organization: Ohio State University

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

-- 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