Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Mario Carneiro's user avatar
Mario Carneiro's user avatar
Mario Carneiro's user avatar
Mario Carneiro
  • Member for 8 years, 11 months
  • Last seen more than a week ago
Stats
531
reputation
13k
reached
6
answers
10
questions
Loading…
About

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 doesn’t have any gold badges yet.
2
silver badges
14
bronze badges
11
Score
8
Posts
50
Posts %
2
Score
5
Posts
31
Posts %
2
Score
2
Posts
12
Posts %
2
Score
2
Posts
12
Posts %
1
Score
6
Posts
38
Posts %
1
Score
5
Posts
31
Posts %
Top posts
View all questions and answers