Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Quantifier elimination and destruction of knowledge

Autor: Heintz, Joos
2002
 
Tipo de documento: Objeto de conferencia

Resumen

A resultant is a polynomial representing a quantifier–free primitive formula which is equivalent to a suitable prenex formula in the existential theory of algebraically closed fields of given characteristic. A resultant expresses a flatness condition about the parametric polynomial equation system under consideration.

Información general

Fecha de exposición: septiembre 2002
Fecha de publicación: 2002
Idioma del documento: Inglés
Evento: Argentine Workshop on Theoretical Computer Science (WAIT 2002) - JAIIO 31 (Santa Fe, 9 al 13 de septiembre de 2002)
Institución de origen: Sociedad Argentina de Informática e Investigación Operativa
ISSN: 1666-1133
Páginas: 86-86
Palabras claves: Álgebra
Materias: Ciencias Informáticas

Descargar archivos

Icon
Resumen
Descargar archivo (33.83Kb) - PDF
 
Creado el: 3 de septiembre de 2025
Disponible en SEDICI desde: 3 de septiembre de 2025
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • https://sedici.unlp.edu.ar/handle/10915/183652

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

    Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)