Sciweavers

    1717 search results - page 13 / 344
    » A Computable Spectral Theorem
    Sort
    View
    CRYPTO
    2009
    Springer
    95views Cryptology» more  CRYPTO 2009»
    Computational Indistinguishability Amplification: Tight Product Theorems for System Composition
    16 years 13 days ago
    Computational Indistinguishability Amplification: Tight Product Theorems for System Composition
    Download  www.iacr.org
    Ueli M. Maurer, Stefano Tessaro
    claim paper
    Read More »
    ADG
    2004
    Springer
    101views Mathematics» more  ADG 2004»
    Mechanical Theorem Proving in Computational Geometry
    15 years 11 months ago
    Mechanical Theorem Proving in Computational Geometry
    Download  homepages.inf.ed.ac.uk
    Laura I. Meikle, Jacques D. Fleuriot
    claim paper
    Read More »
    CAIP
    1999
    Springer
    121views Image Analysis» more  CAIP 1999»
    Computing the Intrinsic Camera Parameters Using Pascal's Theorem
    15 years 10 months ago
    Computing the Intrinsic Camera Parameters Using Pascal's Theorem
    Download  www.mpi-inf.mpg.de
    Bodo Rosenhahn, Eduardo Bayro-Corrochano
    claim paper
    Read More »
    CADE
    1990
    Springer
    113views Logical Reasoning» more  CADE 1990»
    A Theorem Prover for a Computational Logic
    15 years 10 months ago
    A Theorem Prover for a Computational Logic
    Download  userweb.cs.utexas.edu
    We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
    Robert S. Boyer, J. Strother Moore
    claim paper
    Read More »
    BSL
    2005
    53views more  BSL 2005»
    Partition Theorems and Computability Theory
    15 years 5 months ago
    Partition Theorems and Computability Theory
    Download  math.boisestate.edu
    Joseph R. Mileti
    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.