101 reputation
bio website math.osu.edu
location Columbus, OH
age 23
visits member for 11 months
seen Sep 18 '14 at 17:55

I'm an undergraduate of Math, Physics, and Computer Science at the Ohio State University. I have interests in elementary Group Theory, Set Theory, and the study of nonlinear differential and integral equations. I'm also a regular contributor to the Metamath project, which aims to develop modern mathematics in a computer-checkable formal language.

You can e-mail me at carneiro.1, domain name osu.edu.

This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
Mathematics 10,164 rep 1651
Stack Overflow 252 rep 410
MathOverflow 243 rep 29
Mathematica 156 rep 5
Japanese Language 140 rep 5

0 Votes Cast

This user has not cast any votes