Theoretical Computer Science
Meta user
Network profile
3,930
reputation
19
31

Noam Zeilberger

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

23
answers
7
questions
~29k
people reached
  • Paris, France
  • noamz.org
  • Member for 9 years, 5 months
  • 698 profile views
  • Last seen Jan 24 at 6:34

Communities (5)

Top network posts

Top tags (49)

Score 175
Posts 10
Posts % 33
Score 144
Posts 7
Score 99
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

80 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 Why do we need formal semantics for predicate logic? Sep 20 '10
15 How are real numbers specified in computation? Oct 10 '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 (50)

Gold

—

Silver

19

Rarest

Bronze

31

Rarest

View all badges →