MathGroup Archive 1993

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

Search the Archive

symbolic simplification?

  • To: mathgroup at
  • Subject: symbolic simplification?
  • From: Elaine Kant <kant at>
  • Date: Thu, 30 Sep 93 14:12:23 CDT

Are there packages around that simplify basic algebraic expressions, solve
sets of inequalities, etc?

For example, I would like to simplify x < x+3 to True, Min[x, x+3] to x, 
and be able to conclude that x < 4 given x < 3.  Suggestions???

 - Elaine

Elaine Kant
Schlumberger Laboratory for Computer Science
P.O. Box 200015
Austin, TX 78720-0015
kant at

  • Prev by Date: Matrix ops
  • Next by Date: Re: Recursive function
  • Previous by thread: Matrix ops
  • Next by thread: the problem