IRIS

In this document, the proofs of the lemmas stated in [1] are reported.

Menini, L., Possieri, C., Tornambe', A. (2017). Proofs of the Lemmas stated in "Algebraic Certicates of (Semi)Deniteness for Polynomials Over Fields Containing the Rationals" [Rapporto tecnico].

Proofs of the Lemmas stated in "Algebraic Certicates of (Semi)Deniteness for Polynomials Over Fields Containing the Rationals"

MENINI, LAURA;POSSIERI, CORRADO;TORNAMBE', ANTONIO
2017-07-01

Abstract

In this document, the proofs of the lemmas stated in [1] are reported.
Rapporto tecnico
lug-2017
Technical Report Number RR-17.13 (Dipartimento di Ingegneria Civile e Ingegneria Informatica)
Rilevanza internazionale
Settore ING-INF/04 - AUTOMATICA
English
Menini, L., Possieri, C., Tornambe', A. (2017). Proofs of the Lemmas stated in "Algebraic Certicates of (Semi)Deniteness for Polynomials Over Fields Containing the Rationals" [Rapporto tecnico].
Menini, L; Possieri, C; Tornambe', A
Altro
99 - Altro
File in questo prodotto:
File Dimensione Formato  
TechnicalReportDICII_17_13.pdf

accesso aperto

Descrizione: Proofs of technical lemmas.
Licenza: Non specificato
Dimensione 207.16 kB
Formato Adobe PDF
Visualizza/Apri
207.16 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/186167
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact