sage_learner's profile - overview

overview network karma followed questions activity

karma

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

6 Questions

511

views

answer

vote

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

Equivalence operator

Logical-equivalence

904

views

answers

vote

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

Express domain membership

domain
membership

480

views

answer

votes

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

implication

logic

542

views

answer

votes

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

Assumptions in sage

assumption

389

views

answer

votes

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

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

checking_expressions

342

views

answers

votes

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

Behavior of 'or'

or
full_simplify
symbolic_issue

0 Answers

3 Votes

4 Badges

● Student × 1 ● Supporter × 1 ● Editor × 1
● Popular Question × 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