Sciweavers

    16091 search results - page 209 / 3219
    » Solving
    Sort
    View
    61
    Voted
    CORR
    2010
    Springer
    53views Education» more  CORR 2010»
    Distributed solving through model splitting
    15 years 3 months ago
    Distributed solving through model splitting
    Download  www.cs.st-andrews.ac.uk
    Lars Kotthoff, Neil C. A. Moore
    claim paper
    Read More »
    108
    Voted
    CORR
    2010
    Springer
    159views Education» more  CORR 2010»
    An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
    15 years 3 months ago
    An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
    Download  www.mpi-inf.mpg.de
    We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
    Eric Berberich, Pavel Emeliyanenko, Michael Sagral...
    claim paper
    Read More »
    CORR
    2010
    Springer
    60views Education» more  CORR 2010»
    IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
    15 years 3 months ago
    IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
    Download  www.lsv.ens-cachan.fr
    Étienne André
    claim paper
    Read More »
    CORR
    2008
    Springer
    105views Education» more  CORR 2008»
    A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations
    15 years 3 months ago
    A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations
    Download  www.goldsztejn.com
    Frédéric Goualard, Alexandre Goldszt...
    claim paper
    Read More »
    CPHYSICS
    2010
    51views more  CPHYSICS 2010»
    Solving lattice QCD systems of equations using mixed precision solvers on GPUs
    15 years 3 months ago
    Solving lattice QCD systems of equations using mixed precision solvers on GPUs
    Download  physics.bu.edu
    Michael A. Clark, Ron Babich, Kipton Barros, Richa...
    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.