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

21 questions

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

Restricting a variable to a (real) range

114
views
2
answers
1
vote
2019-01-02 14:30:01 -0600 nbruin

List creation with local variables

140
views
1
answer
2
votes
2018-07-05 17:00:27 -0600 tmonteil

Assumptions and inequalities

166
views
1
answer
2
votes
2017-09-06 06:50:54 -0600 mforets

a problem with variables in real domains

158
views
1
answer
no
votes
2017-06-04 15:36:13 -0600 stan

Why is assume() so slow?

33
views
no
answers
1
vote
2016-11-30 07:38:46 -0600 stan

How to save and load assumptions?

341
views
1
answer
1
vote
2016-09-21 09:42:36 -0600 kcrisman

declare a variable as *not* an integer for solve

965
views
1
answer
1
vote
2016-04-17 15:22:32 -0600 tmonteil

variable assumption

65
views
2
answers
2
votes
2016-01-03 10:13:52 -0600 tmonteil

Extract equalities from a list of assumptions

103
views
1
answer
2
votes
2015-12-06 09:57:39 -0600 slelievre

Substitution of parameters

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

order of assume

59
views
1
answer
no
votes
2015-05-19 12:32:52 -0600 tmonteil

Problem with assumption (in RR)

993
views
1
answer
no
votes
2014-11-23 19:08:27 -0600 tmonteil

Condition in sum() function?

242
views
1
answer
no
votes
2013-11-11 04:45:39 -0600 tmonteil

symbolic integration

91
views
1
answer
1
vote
2012-11-14 05:48:03 -0600 kcrisman

Assumptions

201
views
1
answer
no
votes
2012-10-25 16:04:00 -0600 benjaminfjones

Assumptions in sage

360
views
1
answer
1
vote
2012-02-14 02:21:47 -0600 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