MathGroup Archive 1993

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

Search the Archive

symbolic simplification?

  • To: mathgroup at yoda.physics.unc.edu
  • Subject: symbolic simplification?
  • From: Elaine Kant <kant at austin.slcs.slb.com>
  • 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???

Thanks,
 - Elaine

Elaine Kant
Schlumberger Laboratory for Computer Science
P.O. Box 200015
Austin, TX 78720-0015
512-331-3737
kant at austin.slcs.slb.com








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