Ask Your Question
RSS
Sort by » by date by activity ▼ by answers by votes

9 questions

Tagged
  • ×
48
views
2
answers
2
votes
2016-01-03 10:13:52 -0500 tmonteil

Extract equalities from a list of assumptions

572
views
1
answer
1
vote
2015-10-30 03:09:48 -0500 jondo

simplifying rational inequality results

54
views
1
answer
no
votes
2015-10-17 14:09:30 -0500 vdelecroix

Wrong answer on inequality problem

63
views
1
answer
no
votes
2014-02-17 02:43:01 -0500 rws

multiplication -1 with a inequality

111
views
1
answer
no
votes
2012-02-27 07:20:24 -0500 G-Sage

How to get 'true' or 'false' for inequality?

236
views
no
answers
no
votes
2012-02-27 06:54:18 -0500 Anonymous

proving inequalities with SAGE? [closed]

Contributors

Murène gravatar imageG-Sage gravatar imagepepe gravatar imagetmonteil gravatar imagejondo gravatar imageensaba gravatar imagevdelecroix gravatar imagepi gravatar imagedaniele gravatar imageleothan gravatar imageLux gravatar imagerws gravatar image