Sciweavers

360 search results - page 10 / 72

» Explanations and Proof Trees

80

EJC
2008

79views Information Technology» more EJC 2008»

On Postnikov's hook length formula for binary trees

14 years 9 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 »

72

COCO
2001
Springer

94views Algorithms» more COCO 2001»

Tree Resolution Proofs of the Weak Pigeon-Hole Principle

15 years 2 months 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 »

44

BIRTHDAY
2008
Springer

74views Applied Computing» more BIRTHDAY 2008»

Proof Search Tree and Cut Elimination

14 years 11 months ago

Proof Search Tree and Cut Elimination

Download www.logic.at

Grigori Mints

claim paper

Read More »

37

CPC
2002

64views more CPC 2002»

Two Short Proofs Concerning Tree-Decompositions

14 years 9 months ago

Two Short Proofs Concerning Tree-Decompositions

Download www.math.uni-hamburg.de

Patrick Bellenbaum, Reinhard Diestel

claim paper

Read More »

69

JCT
2006

60views more JCT 2006»

A simple proof of Graham and Pollak's theorem

14 years 9 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 »