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

14 questions

Tagged
  • ×
883
views
2
answers
2
votes
2016-01-03 17:13:52 +0200 tmonteil

Extract equalities from a list of assumptions

1k
views
1
answer
2
votes
2018-07-06 00:00:27 +0200 tmonteil

Assumptions and inequalities

1k
views
1
answer
1
vote
2015-10-30 09:09:48 +0200 jondo

simplifying rational inequality results

443
views
1
answer
1
vote
2014-02-17 09:43:01 +0200 rws

multiplication -1 with a inequality

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

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

469
views
no
answers
no
votes
2012-02-27 13:54:18 +0200 Anonymous

proving inequalities with SAGE? [closed]

557
views
1
answer
no
votes
2015-10-17 21:09:30 +0200 vdelecroix

Wrong answer on inequality problem

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

SageMath is not solving this inequality

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

solving one inequality with assumption

406
views
no
answers
no
votes
2024-09-11 18:59:00 +0200 Anonymous

Can one use sagemath to prove an inequality?

16k
views
1
answer
no
votes
2025-09-04 00:16:15 +0200 Emmanuel Charpentier

Solve command with assumptions

Contributors

Sébastien gravatar imageerw1 gravatar imageyeah gravatar imageCyrille gravatar imagedarrenh20 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

Tags

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service
Powered by Askbot version 0.7.59