Theoretical Computer Science
Mario Carneiro
Profile Activity
Stats
153
reputation
392
reached
0
answers
3
questions
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.

Communities (37)

Top network posts

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges

Top tags (10)

Score 0
Posts 2
Posts % 67
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (3)

All Questions Answers
Votes Newest
3 Algorithms for tree rotation Nov 20 '15
2 Asymptotic complexity lower bounds of proof checking Sep 18
0 Algorithms and approximations for optimal offline binary tree operations Sep 13 '20

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.