An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
In this paper we obtain an effective algorithm for quantifier elimination over algebraically closed fields: For every effective infinite integral domain k, closed under the extraction of pth roots when the characteristic p of k is positive, and every prenex formula φ with r blocks of quantifiers inv...
Guardado en:
| Autores principales: | Puddu, S., Sabia, J. |
|---|---|
| Formato: | Artículo publishedVersion |
| Lenguaje: | Inglés |
| Publicado: |
1998
|
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00224049_v129_n2_p173_Puddu |
| Aporte de: |
Ejemplares similares
-
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
por: Puddu, S., et al. -
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
por: Puddu, S., et al.
Publicado: (1998) -
An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
por: Puddu, Susana Isabel, et al.
Publicado: (1998) -
Computing multihomogeneous resultants using straight-line programs
por: Jeronimo, G., et al.
Publicado: (2007) -
Computing multihomogeneous resultants using straight-line programs
por: Jeronimo, G., et al.