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,410
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, 2 months
  • 657 profile views
  • Last seen 6 hours ago

Communities (5)

Top Network Posts

Top Tags (47)

Score 167
Posts 10
Posts % 34
Score 136
Posts 7
Score 93
Posts 4
Score 54
Posts 5
Score 40
Posts 7
Score 34
Posts 3
View all tags →

Top Posts (29) All Questions Answers | Votes Newest

74 Solid applications of category theory in TCS? Sep 4 '10
22 What are the practical issues with intersection and union types? Jan 11 '14
21 Discharged hypotheses in ->Introduction Feb 1 '11
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 →