- 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???
Schlumberger Laboratory for Computer Science
P.O. Box 200015
Austin, TX 78720-0015
kant at austin.slcs.slb.com
Prev by Date:
Next by Date:
Re: Recursive function
Previous by thread:
Next by thread: