Sciweavers

    3457 search results - page 137 / 692
    » A Symbol Is Not a Symbol
    Sort
    View
    WWW
    2007
    ACM
    107views Internet Technology» more  WWW 2007»
    Generation, documentation and presentation of mathematical equations and symbolic scientific expressions using pure HTML and CSS
    16 years 1 months ago
    Generation, documentation and presentation of mathematical equations and symbolic scientific expressions using pure HTML and CSS
    Download  www2007.org
    This paper describes a comprehensive method for presenting mathematical equations and expressions using only pure HTML and CSS. This method renders the equations portable and edit...
    Kehinde Alabi
    claim paper
    Read More »
    CADE
    2009
    Springer
    173views Logical Reasoning» more  CADE 2009»
    Interpolation and Symbol Elimination
    16 years 1 months ago
    Interpolation and Symbol Elimination
    Download  mtc.epfl.ch
    Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...
    Andrei Voronkov, Laura Kovács
    claim paper
    Read More »
    ICCD
    2007
    IEEE
    144views Hardware» more  ICCD 2007»
    Application of symbolic computer algebra to arithmetic circuit verification
    15 years 9 months ago
    Application of symbolic computer algebra to arithmetic circuit verification
    Download  www.aoki.ecei.tohoku.ac.jp
    Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...
    claim paper
    Read More »
    ICCD
    2001
    IEEE
    70views Hardware» more  ICCD 2001»
    Symbolic Cache: Fast Memory Access Based on Program Syntax Correlation of Loads and Stores
    15 years 9 months ago
    Symbolic Cache: Fast Memory Access Based on Program Syntax Correlation of Loads and Stores
    Download  www.ece.lsu.edu
    Qianrong Ma, Jih-Kwon Peir, Lu Peng, Konrad Lai
    claim paper
    Read More »
    66
    Voted
    ICCD
    2001
    IEEE
    71views Hardware» more  ICCD 2001»
    Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis
    15 years 9 months ago
    Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis
    Download  mixedsignal.eleg.uark.edu
    Alicia Manthe, C.-J. Richard Shi
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.