First time here? Check out the FAQ!
Hi there! Please sign in
help
tags
users
badges
ALL
UNANSWERED
Ask Your Question
RSS
Sort by »
date
activity ▼
answers
votes
13
questions
Tagged
inequality
×
260
views
no
answers
no
votes
2024-09-11 18:59:00 +0100
Anonymous
Can one use sagemath to prove an inequality?
inequality
proof
155
views
1
answer
no
votes
2023-05-10 00:20:49 +0100
Emmanuel Charpentier
solving one inequality with assumption
inequality
575
views
1
answer
no
votes
2020-03-18 10:51:43 +0100
Sébastien
SageMath is not solving this inequality
inequalities
inequalities-output
inequality
621
views
1
answer
2
votes
2018-07-06 00:00:27 +0100
tmonteil
Assumptions and inequalities
assumption
inequality
142
views
no
answers
1
vote
2018-01-04 05:07:00 +0100
erw1
Solving an inequality symbolically under constraints
symbolic-expression
inequality
assumption
1k
views
1
answer
2
votes
2017-04-20 00:54:59 +0100
tmonteil
Testing inequalities in sage
inequality
confirmed_issue
symbolic_issue
symbolic
ternary_logic
514
views
1
answer
3
votes
2016-06-11 14:47:47 +0100
tmonteil
Proof inequality given some assumptions on the variables
symbolic
logic
inequality
implication
proof
472
views
2
answers
2
votes
2016-01-03 17:13:52 +0100
tmonteil
Extract equalities from a list of assumptions
inequalities
inequality
assumption
981
views
1
answer
1
vote
2015-10-30 09:09:48 +0100
jondo
simplifying rational inequality results
simplify
rational-function
inequality
result
304
views
1
answer
no
votes
2015-10-17 21:09:30 +0100
vdelecroix
Wrong answer on inequality problem
inequality
225
views
1
answer
1
vote
2014-02-17 09:43:01 +0100
rws
multiplication -1 with a inequality
inequality
460
views
1
answer
no
votes
2012-02-27 14:20:24 +0100
G-Sage
How to get 'true' or 'false' for inequality?
inequality
353
views
no
answers
no
votes
2012-02-27 13:54:18 +0100
Anonymous
proving inequalities with SAGE? [closed]
inequality
Contributors
Tags
inequality
×13
assumption
×3
inequalities
×2
proof
×2
symbolic
×2
confirmed_issue
×1
implication
×1
inequalities-output
×1
logic
×1
rational-function
×1
result
×1
simplify
×1
symbolic-expression
×1
symbolic_issue
×1
ternary_logic
×1
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.
Powered by Askbot version 0.7.59
Please note: Askbot requires javascript to work properly, please enable javascript in your browser,
here is how
dummy
×