Ask Your Question

daniele's profile - overview

9 Questions

63
views
1
answer
3
votes
2016-01-04 08:18:44 -0600 slelievre

assume a variable has two possible values

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

order of assume

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

Substitution of parameters

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

a problem with variables in real domains

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

Extract equalities from a list of assumptions

14k
views
1
answer
1
vote
2016-01-11 05:56:20 -0600 vdelecroix

rank of matrices depending on parameters

51
views
1
answer
1
vote
2017-06-02 04:24:34 -0600 daniele

Efficient algorithms for simplification

32
views
no
answers
no
votes
2016-09-08 12:37:08 -0600 daniele

Automorphisms and derivations of Lie algebras

2 Answers

18 Votes

18
0

23 Tags

14 Badges