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

21 questions

Tagged
  • ×
45
views
1
answer
1
vote
2019-05-17 13:36:57 -0500 dsejas

Restricting a variable to a (real) range

105
views
2
answers
1
vote
2019-01-02 14:30:01 -0500 nbruin

List creation with local variables

131
views
1
answer
2
votes
2018-07-05 17:00:27 -0500 tmonteil

Assumptions and inequalities

159
views
1
answer
2
votes
2017-09-06 06:50:54 -0500 mforets

a problem with variables in real domains

149
views
1
answer
no
votes
2017-06-04 15:36:13 -0500 stan

Why is assume() so slow?

29
views
no
answers
1
vote
2016-11-30 07:38:46 -0500 stan

How to save and load assumptions?

311
views
1
answer
1
vote
2016-09-21 09:42:36 -0500 kcrisman

declare a variable as *not* an integer for solve

957
views
1
answer
1
vote
2016-04-17 15:22:32 -0500 tmonteil

variable assumption

61
views
2
answers
2
votes
2016-01-03 10:13:52 -0500 tmonteil

Extract equalities from a list of assumptions

98
views
1
answer
2
votes
2015-12-06 09:57:39 -0500 slelievre

Substitution of parameters

2k
views
1
answer
2
votes
2015-12-04 08:01:25 -0500 tmonteil

order of assume

53
views
1
answer
no
votes
2015-05-19 12:32:52 -0500 tmonteil

Problem with assumption (in RR)

947
views
1
answer
no
votes
2014-11-23 19:08:27 -0500 tmonteil

Condition in sum() function?

226
views
1
answer
no
votes
2013-11-11 04:45:39 -0500 tmonteil

symbolic integration

88
views
1
answer
1
vote
2012-11-14 05:48:03 -0500 kcrisman

Assumptions

195
views
1
answer
no
votes
2012-10-25 16:04:00 -0500 benjaminfjones

Assumptions in sage

354
views
1
answer
1
vote
2012-02-14 02:21:47 -0500 kcrisman

Piecewise assumptions (for integration)

Contributors

Dox gravatar imagebenjaminfjones gravatar imageAntoine-sac gravatar imagemuxamilian gravatar imageMurène gravatar imagerburing gravatar imageyeah gravatar imageDanDan gravatar imagepetres gravatar imagetmonteil gravatar imageEmmanuel Charpentier gravatar imageFrédéricC gravatar imagekcrisman gravatar imagelogomath gravatar imagempatton gravatar imagedaniele gravatar image