Výsledky vyhledávání - "Non numerical algorithms and problems—complexity of proof procedures"

Computing rational solutions of linear matrix inequalities

Autoři: Qingdong Guo Mohab Safey El Din Lihong Zhi a další

Přispěvatelé: Qingdong Guo Mohab Safey El Din Lihong Zhi a další

Zdroj: http://hal.inria.fr/docs/00/81/51/74/PDF/rational-lmi-6.pdf.

Témata: Categories and Subject Descriptors I.1.2 [Symbolic and Algebraic Manipulation, Algorithms—algebraic algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Non numerical algorithms and problems—complexity of proof procedures

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.422.1825
http://hal.inria.fr/docs/00/81/51/74/PDF/rational-lmi-6.pdf

Computing rational solutions of linear matrix inequalities

Autoři: Qingdong Guo Mohab Safey El Din Lihong Zhi a další

Přispěvatelé: Qingdong Guo Mohab Safey El Din Lihong Zhi a další

Zdroj: http://www-spiral.lip6.fr/~safey/Articles/rationalpoints-LMI.pdf.

Témata: Categories and Subject Descriptors I.1.2 [Symbolic and Algebraic Manipulation, Algorithms—algebraic algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Non numerical algorithms and problems—complexity of proof procedures General Terms

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.625
http://www-spiral.lip6.fr/~safey/Articles/rationalpoints-LMI.pdf