Výsledky vyhledávání - "Non numerical algorithms AND problems—complexity of proof procedures General Terms*"

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