sage_learner's profile - overview

overview network karma followed questions activity

karma

Registered User
member since	2012-10-17 07:48:57 +0100
last seen	2013-01-22 04:52:12 +0100
todays unused votes	30 votes left

6 Questions

766

views

answer

vote

2012-10-26 14:14:07 +0100 ndomes

Equivalence operator

Logical-equivalence

views

answers

vote

2013-01-03 06:22:00 +0100 Bétréma

Express domain membership

domain
membership

568

views

answer

votes

2013-01-12 21:35:42 +0100 Eviatar Bach

implication

logic

812

views

answer

votes

2012-10-25 23:04:00 +0100 benjaminfjones

Assumptions in sage

assumption

455

views

answer

votes

2013-01-06 09:24:55 +0100 Bétréma

Need to improve a function in sage which checks trueness of expressions in an example.

checking_expressions

447

views

answers

votes

2013-01-04 09:43:42 +0100 kcrisman

Behavior of 'or'

or
full_simplify
symbolic_issue

0 Answers

3 Votes

4 Badges

● Student × 1 ● Editor × 1 ● Popular Question × 1
● Supporter × 1

sage_learner's profile - overview

Registered User

6 Questions

Equivalence operator

Express domain membership

implication

Assumptions in sage

Need to improve a function in sage which checks trueness of expressions in an example.

Behavior of 'or'

0 Answers

3 Votes

9 Tags

4 Badges