Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2003
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2003

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

Search the Archive

Help with quantifier elimination

  • To: mathgroup at smc.vnet.net
  • Subject: [mg39254] Help with quantifier elimination
  • From: "Vinayak S. Prabhu" <vinayak at ic.EECS.Berkeley.EDU>
  • Date: Thu, 6 Feb 2003 03:07:41 -0500 (EST)
  • Organization: University of California, Berkeley
  • Sender: owner-wri-mathgroup at wolfram.com

How can quantifier elimination be done in mathematica? I want to simplify expressions like \exists x y< x && x<2 to y<2. The function Resolve just gave the expression back(in Mathematica 4.1). Fullsimplify works only if the final expression is TRUE or FALSE.

Thanks

Vinayak



  • Prev by Date: characters not matching
  • Next by Date: Keyboard problem
  • Previous by thread: Re: characters not matching
  • Next by thread: Keyboard problem