MathGroup Archive 2003

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

Search the Archive

Help with quantifier elimination

  • To: mathgroup at
  • 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

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.



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