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

24 questions

Tagged
  • ×
87
views
1
answer
2
votes
2022-02-28 17:22:39 +0200 dsejas

Assume a function is real-valued

353
views
1
answer
1
vote
2019-05-17 20:36:57 +0200 dsejas

Restricting a variable to a (real) range

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

List creation with local variables

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

Assumptions and inequalities

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

a problem with variables in real domains

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

Why is assume() so slow?

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

How to save and load assumptions?

681
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

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

Extract equalities from a list of assumptions

187
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

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

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

symbolic integration

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

Assumptions

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

Assumptions in sage

485
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 imageripple_carry gravatar imageFrédéricC gravatar imagechris42 gravatar imagekcrisman gravatar imagempatton gravatar imagedaniele gravatar image