Sciweavers

    1717 search results - page 22 / 344
    » A Computable Spectral Theorem
    Sort
    View
    117
    Voted
    SAC
    2010
    ACM
    137views Applied Computing» more  SAC 2010»
    Similar triangles and orientation in plane elementary geometry for Coq-based proofs
    14 years 10 months 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 »
    SOFSEM
    2009
    Springer
    90views Theoretical Computer Science» more  SOFSEM 2009»
    On Toda's Theorem in Structural Communication Complexity
    16 years 18 days ago
    On Toda's Theorem in Structural Communication Complexity
    Download  www.sofsem.cz
    Henning Wunderlich
    claim paper
    Read More »
    111
    Voted
    FOCS
    2009
    IEEE
    117views Theoretical Computer Science» more  FOCS 2009»
    Polynomial Hierarchy, Betti Numbers and a Real Analogue of Toda's Theorem
    15 years 10 months ago
    Polynomial Hierarchy, Betti Numbers and a Real Analogue of Toda's Theorem
    Download  www.math.purdue.edu
    Saugata Basu, Thierry Zell
    claim paper
    Read More »
    118
    Voted
    CCA
    2009
    Springer
    113views Theoretical Computer Science» more  CCA 2009»
    A Constructive Study of Landau's Summability Theorem
    15 years 10 months ago
    A Constructive Study of Landau's Summability Theorem
    Download  drops.dagstuhl.de
    Josef Berger, Douglas S. Bridges
    claim paper
    Read More »
    77
    Voted
    MFCS
    2009
    Springer
    100views Theoretical Computer Science» more  MFCS 2009»
    A Dichotomy Theorem for Polynomial Evaluation
    15 years 10 months ago
    A Dichotomy Theorem for Polynomial Evaluation
    Download  perso.ens-lyon.fr
    Irénée Briquel, Pascal Koiran
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.