Questions tagged [proof]

17

votes

3

answers

Number of binary search trees over n distinct elements

asked 2013-04-14T21:45:57.063

32

votes

1

answers

Proof that the halting problem is NP-hard?

theory proof halting-problem np

asked 2011-08-09T02:06:04.450

14

votes

1

answers

Is this always true: fmap (foldr f z) . sequenceA = foldr (liftA2 f) (pure z)

haskell proof

asked 2011-05-19T10:12:15.920

21

votes

5

answers

Functional proofs (Haskell)

haskell functional-programming proof

asked 2010-07-15T03:00:43.787

11

votes

11

answers

Formally verifying the correctness of an algorithm

algorithm math proof correctness formal-verification

asked 2010-01-27T19:01:36.293

15

votes

4

answers

Proof that Fowler's money allocation algorithm is correct

algorithm currency allocation proof

asked 2009-11-05T09:13:35.427

86

votes

9

answers

What is the Pumping Lemma in Layman's terms?

theory proof pumping-lemma

asked 2009-01-20T14:52:46.010