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
Theoretical Computer Science
Meta User
Network Profile
3,450
reputation
17
30

Noam Zeilberger

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

22
answers
7
questions
~26k
people reached
  • Paris, France
  • noamz.org
  • Member for 8 years, 4 months
  • 661 profile views
  • Last seen Jan 11 at 9:24

Communities (5)

Top Network Posts

Top Tags (47)

Score 170
Posts 10
Posts % 34
Score 139
Posts 7
Score 95
Posts 4
Score 55
Posts 5
Score 40
Posts 7
Score 35
Posts 3
View all tags →

Top Posts (29) All Questions Answers | Votes Newest

76 Solid applications of category theory in TCS? Sep 4 '10
23 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 →