Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Meta User
Network Profile
3,400 reputation
17
30

Noam Zeilberger

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

22 answers
7 questions
~25k people reached
  • Paris, France
  • noamz.org
  • Member for 8 years
  • 649 profile views
  • Last seen 3 hours ago

Communities (5)

Top Network Posts

Top Tags (47)

Score 166
Posts 10
Posts % 34
Score 135
Posts 7
Score 93
Posts 4
Score 53
Posts 5
Score 40
Posts 7
Score 33
Posts 3
View all tags →

Top Posts (29) All Questions Answers | Votes Newest

74 Solid applications of category theory in TCS? Sep 4 '10
21 Discharged hypotheses in ->Introduction Feb 1 '11
21 What are the practical issues with intersection and union types? Jan 11 '14
18 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
13 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
12 What is the difference between unification and anti-unification? Mar 16 '16
View all questions and answers →

Badges (47)

Gold —
Silver 17

Rarest
Bronze 30

Rarest
View all badges →