Výsledky vyhledávání - "Mathematical Software—Algorithm design and analysis General Terms Algorithms"

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1

    Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

    Autoři: Changbo Chen Bican Xia The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Changbo Chen Bican Xia The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf.

    Témata: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords CAD

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5971

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5971
    http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    The Complexity of Quantifier Elimination and Cylindrical Algebraic Decomposition

    Autoři: Christopher W. Brown The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Christopher W. Brown The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://staff.bath.ac.uk/masjhd/ISSACs/ISSAC07-final.pdf.

    Témata: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords cylindrical algebraic decomposition, quantifier elimination

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.1844

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.1844
    http://staff.bath.ac.uk/masjhd/ISSACs/ISSAC07-final.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: