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

24 questions

Tagged
  • ×
262
views
1
answer
2
votes
2015-12-06 16:57:39 +0100 slelievre

Substitution of parameters

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

order of assume

328
views
2
answers
2
votes
2016-01-03 17:13:52 +0100 tmonteil

Extract equalities from a list of assumptions

519
views
1
answer
2
votes
2017-09-06 13:50:54 +0100 mforets

a problem with variables in real domains

470
views
1
answer
2
votes
2018-07-06 00:00:27 +0100 tmonteil

Assumptions and inequalities

402
views
1
answer
2
votes
2022-02-28 17:22:39 +0100 dsejas

Assume a function is real-valued

599
views
1
answer
1
vote
2012-02-14 09:21:47 +0100 kcrisman

Piecewise assumptions (for integration)

260
views
1
answer
1
vote
2012-11-14 12:48:03 +0100 kcrisman

Assumptions

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

variable assumption

894
views
1
answer
1
vote
2016-09-21 16:42:36 +0100 kcrisman

declare a variable as *not* an integer for solve

155
views
no
answers
1
vote
2016-11-30 14:38:46 +0100 stan

How to save and load assumptions?

352
views
2
answers
1
vote
2019-01-02 21:30:01 +0100 nbruin

List creation with local variables

756
views
1
answer
1
vote
2019-05-17 20:36:57 +0100 dsejas

Restricting a variable to a (real) range

511
views
1
answer
no
votes
2012-10-25 23:04:00 +0100 benjaminfjones

Assumptions in sage

485
views
1
answer
no
votes
2013-11-11 11:45:39 +0100 tmonteil

symbolic integration

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

Condition in sum() function?

274
views
1
answer
no
votes
2015-05-19 19:32:52 +0100 tmonteil

Problem with assumption (in RR)

404
views
1
answer
no
votes
2017-06-04 22:36:13 +0100 stan

Why is assume() so slow?

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