Search Results - "Non numerical algorithms and problems—complexity of proof procedures"

Computing rational solutions of linear matrix inequalities

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

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

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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