Search Sciweavers | Sciweavers

1717 search results - page 22 / 344

» A Computable Spectral Theorem

146

click to vote

SAC
2010
ACM

137views Applied Computing» more SAC 2010»

15 years 20 days ago

Similar triangles and orientation in plane elementary geometry for Coq-based proofs

Download hal.inria.fr

In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...

Tuan Minh Pham

claim paper

Read More »

117

click to vote

SOFSEM
2009
Springer

90views Theoretical Computer Science» more SOFSEM 2009»

On Toda's Theorem in Structural Communication Complexity

16 years 2 months ago

Download www.sofsem.cz

Henning Wunderlich

claim paper

Read More »

141

click to vote

FOCS
2009
IEEE

117views Theoretical Computer Science» more FOCS 2009»

Polynomial Hierarchy, Betti Numbers and a Real Analogue of Toda's Theorem

16 years 20 days ago

Download www.math.purdue.edu

Saugata Basu, Thierry Zell

claim paper

Read More »

141

click to vote

CCA
2009
Springer

113views Theoretical Computer Science» more CCA 2009»

A Constructive Study of Landau's Summability Theorem

16 years 15 days ago

Download drops.dagstuhl.de

Josef Berger, Douglas S. Bridges

claim paper

Read More »

101

click to vote

MFCS
2009
Springer

100views Theoretical Computer Science» more MFCS 2009»

A Dichotomy Theorem for Polynomial Evaluation

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers