- -

Using Representation Theorems for Proving Polynomials Non-negative

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Using Representation Theorems for Proving Polynomials Non-negative

Mostrar el registro completo del ítem

Lucas Alba, S. (2014). Using Representation Theorems for Proving Polynomials Non-negative. En Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Springer Verlag (Germany). 21-33. doi:10.1007/978-3-319-13770-4_4

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/51307

Ficheros en el ítem

Metadatos del ítem

Título: Using Representation Theorems for Proving Polynomials Non-negative
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Proving polynomials non-negative when variables range on a subset of numbers (e.g., [0, +∞)) is often required in many applications (e.g., in the analysis of program termination). Several representations for univariate ...[+]
Palabras clave: Polynomial inequalities , Representation theorems , Positive polynomials
Derechos de uso: Reserva de todos los derechos
Fuente:
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-13770-4_4
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-319-13770-4_4
Serie: Lecture Notes in Computer Science;8884
Tipo: Capítulo de libro

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem