Theoretical Computer Science
Meta user
Network profile
3,570
reputation
18
31

Noam Zeilberger

Apparently, this user prefers to keep an air of mystery about them.

23
answers
7
questions
~28k
people reached
  • Paris, France
  • noamz.org
  • Member for 9 years
  • 682 profile views
  • Last seen Aug 19 at 13:33

Communities (5)

Top network posts

Top tags (49)

Score 173
Posts 10
Posts % 33
Score 143
Posts 7
Score 98
Posts 4
Score 59
Posts 5
Score 40
Posts 7
Score 39
Posts 3
View all tags →

Top posts (30) All Questions Answers | Votes Newest

79 Solid applications of category theory in TCS? Sep 4 '10
26 What are the practical issues with intersection and union types? Jan 11 '14
21 Discharged hypotheses in ->Introduction Feb 1 '11
19 Implicit vs explicit subtyping Dec 28 '10
18 What do we know about provably correct programs? Jan 2 '11
15 How are real numbers specified in computation? Oct 10 '10
14 Why do we need formal semantics for predicate logic? Sep 20 '10
13 (N)DFA with same initial/accepting state(s) Jul 5 '13
12 historical question: earliest description of beta-normal terms together with “neutral” terms in lambda calculus? Nov 11 '15
11 generalizing Ben-Or et al's two-prover bit commitment scheme beyond bits Aug 1 '12
View all questions and answers →

Badges (49)

Gold

—

Silver

18

Rarest

Bronze

31

Rarest

View all badges →