Asymptotik

225
Reputation
215 views
Is this your account?

Registered User 

Name Asymptotik
Member for 3 years
Seen Apr 5 at 4:49
Website
Location Paris, France
Age
9

Questions
votes newest views recent
5
6
votes
1
answer
2k
views

Grothendieck VS Deligne [closed]

feb 23 10 at 23:08 Greg Kuperberg 36.3k●2●116●179

4
3
votes
6
answers
1k
views

Books about polynomials

mar 12 10 at 2:28 Felipe Voloch 16.6k●2●36●61

 

1
2
votes
0
answers
254
views

Groupoid interpretation of type theory

sep 17 at 22:02 Todd Trimble 22.3k●1●63●96

1
1
vote
1
answer
246
views

Right adjoint to pullback functor

nov 8 at 12:37 Todd Trimble 22.3k●1●63●96

 
1
vote
3
answers
493
views

Predicative definition

aug 28 10 at 17:50 Victor Protsak 7,776●1●30●44

 
1
vote
0
answers
209
views

Set theory with selective ultrafilter

apr 4 12 at 7:04 Asymptotik 225●7

 
1
vote
0
answers
89
views

Decidability of type checking

jul 27 at 13:37 Asymptotik 225●7

 
0
votes
1
answer
146
views

prod and sig in COQ

jan 11 at 15:22 MathOverflow♦ 1●2●3

 

1

Answers
1
prod and sig in COQ

 

5

Votes
5

 

10

Tags
× 4
× 2
× 2







 

7

Badges
● Teacher
● Popular Question× 2
 ● Editor
● Scholar
 ● Supporter
● Student