Theoretical Computer Science
François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais
  • Member for 13 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
346
reputation
2k
reached
2
answers
0
questions
Communities
View all
About

Treasurer for MathOveflow

Department of Mathematics & Statistics, University of Vermont

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
8
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
15
Constructively efficient algorithms without efficient correctness and efficiency proof
Apr 5, 2013
answer
8
Explicit mu-recursive expression for Ackerman function
Jun 9, 2011
Top Meta posts
1
2
13
On modifying our scope: A proposal
5
How-To Use/Tips & Tricks
3
2014 Moderator Election Q&A - Question Collection
Top network posts
View all network posts
125
explicit big linearly independent sets
124
Proof that pi is transcendental that doesn't use the infinitude of primes
105
What are some examples of colorful language in serious mathematics papers?
79
What is the high-concept explanation on why real numbers are useful in number theory?
76
Why is compactness in logic called compactness?

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.