Theoretical Computer Science
Profile Activity
Meta user
Network profile
346
reputation
2
10

François G. Dorais

Secretary, Treasurer & Moderator for MathOveflow

Department of Mathematics & Statistics, University of Vermont

2
answers
0
questions
~2k
people reached
  • Burlington, VT, United States
  • dorais.org
  • Member for 10 years, 5 months
  • 81 profile views
  • Last seen Aug 2 '20 at 0:41

Communities (31)

Top Meta Posts
1
2

Top network posts

Top tags (6)

Score 15
Posts 1
Posts % 50
Score 15
Posts 1
Score 15
Posts 1
Score 15
Posts 1
Score 15
Posts 1
Score 8
Posts 1

Top posts (2)

All Questions Answers
Votes Newest
15 Constructively efficient algorithms without efficient correctness and efficiency proof Apr 5 '13
8 Explicit mu-recursive expression for Ackerman function Jun 9 '11

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →