|
[Date Index]
[Thread Index]
[Author Index]
Numerical quantifier elimination
- To: mathgroup at smc.vnet.net
- Subject: [mg73012] Numerical quantifier elimination
- From: "Bonny Banerjee" <banerjee.28 at osu.edu>
- 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
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
|
