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.