156 reputation
bio website math.osu.edu
location Columbus, OH
age 23
visits member for 1 year, 10 months
seen Mar 18 at 3:48

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
Mathematics 10,164 rep 1651
Stack Overflow 252 rep 410
MathOverflow 243 rep 29
Mathematica 156 rep 5
Japanese Language 140 rep 5

3 Votes Cast

all time   by type  
3 up 0 question
0 down 3 answer