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

23 questions

Tagged
  • ×
178
views
1
answer
1
vote
2019-05-17 20:36:57 +0200 dsejas

Restricting a variable to a (real) range

182
views
2
answers
1
vote
2019-01-02 21:30:01 +0200 nbruin

List creation with local variables

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

Assumptions and inequalities

258
views
1
answer
2
votes
2017-09-06 13:50:54 +0200 mforets

a problem with variables in real domains

254
views
1
answer
no
votes
2017-06-04 22:36:13 +0200 stan

Why is assume() so slow?

44
views
no
answers
1
vote
2016-11-30 14:38:46 +0200 stan

How to save and load assumptions?

536
views
1
answer
1
vote
2016-09-21 16:42:36 +0200 kcrisman

declare a variable as *not* an integer for solve

1k
views
1
answer
1
vote
2016-04-17 22:22:32 +0200 tmonteil

variable assumption

164
views
2
answers
2
votes
2016-01-03 17:13:52 +0200 tmonteil

Extract equalities from a list of assumptions

139
views
1
answer
2
votes
2015-12-06 16:57:39 +0200 slelievre

Substitution of parameters

2k
views
1
answer
2
votes
2015-12-04 15:01:25 +0200 tmonteil

order of assume

121
views
1
answer
no
votes
2015-05-19 19:32:52 +0200 tmonteil

Problem with assumption (in RR)

1k
views
1
answer
no
votes
2014-11-24 02:08:27 +0200 tmonteil

Condition in sum() function?

340
views
1
answer
no
votes
2013-11-11 11:45:39 +0200 tmonteil

symbolic integration

109
views
1
answer
1
vote
2012-11-14 12:48:03 +0200 kcrisman

Assumptions

272
views
1
answer
no
votes
2012-10-25 23:04:00 +0200 benjaminfjones

Assumptions in sage

421
views
1
answer
1
vote
2012-02-14 09:21:47 +0200 kcrisman

Piecewise assumptions (for integration)

Contributors

Dox gravatar imagebenjaminfjones gravatar imageAntoine-sac gravatar imagemuxamilian gravatar imageerw1 gravatar imageFlorentin Jaffredo gravatar imagerburing gravatar imageyeah gravatar imageDanDan gravatar imagemathmandan gravatar imageEmmanuel Charpentier gravatar imageFrédéricC gravatar imagechris42 gravatar imagekcrisman gravatar imagempatton gravatar imagedaniele gravatar image