Sciweavers

360 search results - page 10 / 72

» Explanations and Proof Trees

22

EJC
2008

79views Information Technology» more EJC 2008»

On Postnikov's hook length formula for binary trees

13 years 7 months ago

On Postnikov's hook length formula for binary trees

Download www.math.ualberta.ca

We present a combinatorial proof of Postnikov's hook length formula for binary trees. c 2007 Elsevier Ltd. All rights reserved. Let [n] = {1, 2, . . . , n}. It is well known ...

William Y. C. Chen, Laura L. M. Yang

claim paper

Read More »

22

COCO
2001
Springer

94views Algorithms» more COCO 2001»

Tree Resolution Proofs of the Weak Pigeon-Hole Principle

14 years 1 days ago

Tree Resolution Proofs of the Weak Pigeon-Hole Principle

Download www.eecs.qmul.ac.uk

Stefan S. Dantchev, Søren Riis

claim paper

Read More »

14

BIRTHDAY
2008
Springer

74views Applied Computing» more BIRTHDAY 2008»

Proof Search Tree and Cut Elimination

13 years 9 months ago

Proof Search Tree and Cut Elimination

Download www.logic.at

Grigori Mints

claim paper

Read More »

8

CPC
2002

64views more CPC 2002»

Two Short Proofs Concerning Tree-Decompositions

13 years 7 months ago

Two Short Proofs Concerning Tree-Decompositions

Download www.math.uni-hamburg.de

Patrick Bellenbaum, Reinhard Diestel

claim paper

Read More »

20

JCT
2006

60views more JCT 2006»

A simple proof of Graham and Pollak's theorem

13 years 7 months ago

A simple proof of Graham and Pollak's theorem

Download www.math.sinica.edu.tw

Graham and Pollak (Bell System Tech. J. 50 (1971) 2495-2519) obtained a beautiful formula on the determinant of distance matrices of trees, which is independent of the structure o...

Weigen Yan, Yeong-Nan Yeh

claim paper

Read More »

« Prev « First page 10 / 72 Last » Next »