Ask Your Question

daniele's profile - overview

10 Questions

389
views
1
answer
3
votes
2016-01-04 15:18:44 +0200 slelievre

assume a variable has two possible values

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

a problem with variables in real domains

274
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

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

Extract equalities from a list of assumptions

130
views
1
answer
1
vote
2023-03-06 11:52:16 +0200 eric_g

problem with constant_coefficient of a form of ExteriorAlgebra

349
views
1
answer
1
vote
2017-06-02 11:24:34 +0200 daniele

Efficient algorithms for simplification

15k
views
1
answer
1
vote
2016-01-11 12:56:20 +0200 vdelecroix

rank of matrices depending on parameters

125
views
no
answers
no
votes
2016-09-08 19:37:08 +0200 daniele

Automorphisms and derivations of Lie algebras

2 Answers

20 Votes

20
0

23 Tags

14 Badges