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

13 questions

Tagged
  • ×
260
views
no
answers
no
votes
2024-09-11 18:59:00 +0100 Anonymous

Can one use sagemath to prove an inequality?

155
views
1
answer
no
votes
2023-05-10 00:20:49 +0100 Emmanuel Charpentier

solving one inequality with assumption

575
views
1
answer
no
votes
2020-03-18 10:51:43 +0100 Sébastien

SageMath is not solving this inequality

621
views
1
answer
2
votes
2018-07-06 00:00:27 +0100 tmonteil

Assumptions and inequalities

472
views
2
answers
2
votes
2016-01-03 17:13:52 +0100 tmonteil

Extract equalities from a list of assumptions

981
views
1
answer
1
vote
2015-10-30 09:09:48 +0100 jondo

simplifying rational inequality results

304
views
1
answer
no
votes
2015-10-17 21:09:30 +0100 vdelecroix

Wrong answer on inequality problem

225
views
1
answer
1
vote
2014-02-17 09:43:01 +0100 rws

multiplication -1 with a inequality

460
views
1
answer
no
votes
2012-02-27 14:20:24 +0100 G-Sage

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

353
views
no
answers
no
votes
2012-02-27 13:54:18 +0100 Anonymous

proving inequalities with SAGE? [closed]

Contributors

Sébastien gravatar imageerw1 gravatar imageyeah gravatar imageCyrille gravatar imagetmonteil gravatar imageEmmanuel Charpentier gravatar imagejondo gravatar imageensaba gravatar imagerws gravatar imagevdelecroix gravatar imagedaniele gravatar imageleothan gravatar imagethethinker gravatar imageLux gravatar imagepi gravatar imageG-Sage gravatar image