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

23 questions

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

Restricting a variable to a (real) range

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

List creation with local variables

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

Assumptions and inequalities

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

a problem with variables in real domains

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

Why is assume() so slow?

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

How to save and load assumptions?

574
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

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

Extract equalities from a list of assumptions

148
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

129
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?

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

symbolic integration

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

Assumptions

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

Assumptions in sage

433
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