Suchergebnisse - "Non numerical algorithms AND problems—complexity of proof procedures General Terms"

Computing rational solutions of linear matrix inequalities

Autoren: Qingdong Guo Mohab Safey El Din Lihong Zhi et al.

Weitere Verfasser: Qingdong Guo Mohab Safey El Din Lihong Zhi et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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