8,327
reputation
1
24
55

Reb.Cabin

Been using Mathematica almost daily since Wolfram's Caltech days before it was a product. Current interests include writing a proof assistant and an automatic theorem prover in Mathematica, starting with Gries & Schneider's book "A Logical Approach to Discrete Mathematics."

17
answers
86
questions
~68k
people reached

Top tags (100)

Score 18
Posts 13
Posts % 13
Score 4
Posts 22
Score 4
Posts 6
Score 4
Posts 5
Score 3
Posts 7
Score 2
Posts 11

Top posts (103) All Questions Answers | Votes Newest

View all questions and answers

Badges (80)

Gold

1

Rarest

Silver

24

Rarest

Bronze

55

Rarest