Stack Exchange Network

Stack Exchange network consists of 175 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,490
reputation
18
30

Noam Zeilberger

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

22
answers
7
questions
~27k
people reached
  • Paris, France
  • noamz.org
  • Member for 8 years, 8 months
  • 667 profile views
  • Last seen 16 hours ago

Communities (5)

Top Network Posts

Top Tags (47)

Score 171
Posts 10
Posts % 34
Score 139
Posts 7
Score 95
Posts 4
Score 57
Posts 5
Score 40
Posts 7
Score 38
Posts 3
View all tags →

Top Posts (29) All Questions Answers | Votes Newest

76 Solid applications of category theory in TCS? Sep 4 '10
25 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
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
12 What is the difference between unification and anti-unification? Mar 16 '16
View all questions and answers →

Badges (48)

Gold

—

Silver

18

Rarest

Bronze

30

Rarest

View all badges →