inequalities in mma ???

Article View: sci.math.symbolic

Article #955

#955

From: bastiaanssen
Date: Fri, 22 Jan 1993 08:23

16 lines
1019 bytes

Hello,

Can anyone help me solving inequalities in Mathematica?
For example, how do I check:
(x+2 < 5) == (x<3)	  ?
Do I have to implement rules for substracting the same
term at each side of the inequality sign? Is there a toolbox
for symbolic manipulation within inequalities? Are there
text books or papers avaible about this subject?
All information is welcome!

Best regards,

Erica Bastiaanssen
Medical Informatics, University of Leiden, The Netherlands
e-mail: "BASTIAANSSEN@RULLF2.LeidenUniv.nl"

Technical Details

Message-ID: <1993Jan22.092320.1@rullf2.leidenuniv.nl>

Path:

arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!sun4nl!rulway.LeidenUniv.nl!rullf2!bastiaanssen

Show Full Headers

Complete Article Headers

Newsgroups: sci.math.symbolic
Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!sun4nl!rulway.LeidenUniv.nl!rullf2!bastiaanssen
From: bastiaanssen@rullf2.leidenuniv.nl
Subject: inequalities in mma ???
Message-ID: <1993Jan22.092320.1@rullf2.leidenuniv.nl>
Lines: 16
Sender: news@rulway.LeidenUniv.nl (Usenet news account)
Nntp-Posting-Host: rullf2
Organization: Leiden University, Medical Informatics
Date: 22 Jan 93 09:23:20 +0100