Ask Your Question

daniele's profile - karma

daniele's karma change log

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

2 0 Select list element around a value ( 2017-08-24 12:30:11 -0500 )

0 -2 Select list element around a value ( 2017-08-24 12:30:09 -0500 )

10 0 a problem with variables in real domains ( 2017-06-04 05:53:48 -0500 )

10 0 a problem with variables in real domains ( 2017-06-02 16:26:49 -0500 )

10 0 Efficient algorithms for simplification ( 2017-06-02 06:37:27 -0500 )

10 0 how to kill a variable ( 2016-09-19 18:46:15 -0500 )

15 0 how to kill a variable ( 2016-09-19 18:45:25 -0500 )

10 0 how to kill a variable ( 2016-09-19 15:55:59 -0500 )

10 0 order of assume ( 2016-01-22 07:58:03 -0500 )

10 0 dictionary substitution for elements of ExteriorAlgebra ( 2016-01-22 07:57:53 -0500 )

10 0 rank of matrices depending on parameters ( 2016-01-22 07:57:32 -0500 )

10 0 assume a variable has two possible values ( 2016-01-06 15:33:38 -0500 )

2 0 Substitution of parameters ( 2016-01-04 11:00:59 -0500 )

10 0 Extract equalities from a list of assumptions ( 2016-01-04 08:23:04 -0500 )

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

10 0 Extract equalities from a list of assumptions ( 2016-01-04 07:03:23 -0500 )

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

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

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

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

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

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

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

10 0 assume a variable has two possible values ( 2016-01-02 17:56:57 -0500 )

10 0 Substitution of parameters ( 2015-12-06 05:48:14 -0500 )

10 0 order of assume ( 2015-12-04 08:51:53 -0500 )

2 0 order of assume ( 2015-12-04 08:26:45 -0500 )

10 0 Substitution of parameters ( 2015-12-04 04:44:34 -0500 )

10 0 dictionary substitution for elements of ExteriorAlgebra ( 2015-01-12 09:20:06 -0500 )

10 0 Equations solving ( 2015-01-12 09:11:32 -0500 )

15 0 Equations solving ( 2015-01-11 14:20:19 -0500 )