Procedura-S: differenze tra le versioni

La '''procedura-S''' è un teorema che stabilisce le condizioni rispetto alle quali una particolare diseguaglianza quadratica è conseguenza di un'altra diseguaglianza quadratica. Tale risultato è stato sviluppato in modo indipendente in diversi contesti<ref>Frank Uhlig, ''[[doi:10.1016/0024-3795(79)90020-X|A recurring theorem about pairs of quadratic forms and extensions: a survey]]'', Linear Algebra and its Applications, Volume 25, 1979, pages 219–237.</ref><ref>Imre Pólik and Tamás Terlaky, ''[[doi:10.1137/S003614450444614X|A Survey of the S-Lemma]]'', SIAM Review, Volume 49, 2007, Pages 371–418.</ref> e trova applicazione nella [[teoria del controllo]], nell'[[algebra lineare]] e nell'[[Ottimizzazione (matematica)|ottimizzazione]].