Ask Your Question

daniele's profile - karma

daniele's karma change log

2 0 a problem with variables in real domains ( 2018-06-03 13:38:52 +0200 )

2 0 Select list element around a value ( 2017-08-24 19:30:11 +0200 )

0 -2 Select list element around a value ( 2017-08-24 19:30:09 +0200 )

10 0 a problem with variables in real domains ( 2017-06-04 12:53:48 +0200 )

10 0 a problem with variables in real domains ( 2017-06-02 23:26:49 +0200 )

10 0 Efficient algorithms for simplification ( 2017-06-02 13:37:27 +0200 )

10 0 how to kill a variable ( 2016-09-20 01:46:15 +0200 )

15 0 how to kill a variable ( 2016-09-20 01:45:25 +0200 )

10 0 how to kill a variable ( 2016-09-19 22:55:59 +0200 )

10 0 order of assume ( 2016-01-22 14:58:03 +0200 )

10 0 dictionary substitution for elements of ExteriorAlgebra ( 2016-01-22 14:57:53 +0200 )

10 0 rank of matrices depending on parameters ( 2016-01-22 14:57:32 +0200 )

10 0 assume a variable has two possible values ( 2016-01-06 22:33:38 +0200 )

2 0 Substitution of parameters ( 2016-01-04 18:00:59 +0200 )

10 0 Extract equalities from a list of assumptions ( 2016-01-04 15:23:04 +0200 )

10 0 assume a variable has two possible values ( 2016-01-04 15:18:08 +0200 )

10 0 Extract equalities from a list of assumptions ( 2016-01-04 14:03:23 +0200 )

2 0 Extract equalities from a list of assumptions ( 2016-01-04 11:39:22 +0200 )

0 -2 Extract equalities from a list of assumptions ( 2016-01-04 11:38:09 +0200 )

2 0 Extract equalities from a list of assumptions ( 2016-01-04 11:38:05 +0200 )

0 -2 Extract equalities from a list of assumptions ( 2016-01-04 11:38:04 +0200 )

2 0 Extract equalities from a list of assumptions ( 2016-01-04 11:37:55 +0200 )

0 -2 Extract equalities from a list of assumptions ( 2016-01-04 11:37:53 +0200 )

2 0 Extract equalities from a list of assumptions ( 2016-01-04 11:37:51 +0200 )

10 0 assume a variable has two possible values ( 2016-01-03 00:56:57 +0200 )

10 0 Substitution of parameters ( 2015-12-06 12:48:14 +0200 )

10 0 order of assume ( 2015-12-04 15:51:53 +0200 )

2 0 order of assume ( 2015-12-04 15:26:45 +0200 )

10 0 Substitution of parameters ( 2015-12-04 11:44:34 +0200 )

10 0 dictionary substitution for elements of ExteriorAlgebra ( 2015-01-12 16:20:06 +0200 )

10 0 Equations solving ( 2015-01-12 16:11:32 +0200 )

15 0 Equations solving ( 2015-01-11 21:20:19 +0200 )