Computing the canonical representation of constructible sets

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/100350

dc.contributor	Universitat Politècnica de Catalunya. MD - Matemàtica Discreta
dc.contributor	Universitat Politècnica de Catalunya. DCCG - Grup de recerca en geometria computacional, combinatoria i discreta
dc.contributor.author	Brunat Blay, Josep Maria
dc.contributor.author	Montes Lozano, Antonio
dc.date	2016-03-08
dc.identifier.citation	Brunat, Josep M., Montes, A. Computing the canonical representation of constructible sets. "Mathematics in computer science", 8 Març 2016, vol. 10, núm. 1, p. 165-178.
dc.identifier.citation	1661-8270
dc.identifier.citation	10.1007/s11786-016-0248-2
dc.identifier.uri	http://hdl.handle.net/2117/100350
dc.language.iso	eng
dc.relation	http://link.springer.com/article/10.1007/s11786-016-0248-2
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica
dc.subject	Constructibility (Set theory)
dc.subject	Canonical representation
dc.subject	Comprehensive Gröbner system
dc.subject	Constructible sets
dc.subject	Gröbner Cover
dc.subject	Locally closed sets
dc.subject	Parametric polynomial system
dc.subject	Constructibilitat (Teoria de conjunts)
dc.title	Computing the canonical representation of constructible sets
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/article
dc.description.abstract	Constructible sets are needed in many algorithms of Computer Algebra, particularly in the GröbnerCover and other algorithms for parametric polynomial systems. In this paper we review the canonical form ofconstructible sets and give algorithms for computing it.
dc.description.abstract	Peer Reviewed

Mostrar el registro sencillo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

(Ma)temàtiques clàssiques

Brunat Blay, Josep Maria

Rotational and dihedral symmetries in Steinhaus and Pascal binary triangles

Brunat Blay, Josep Maria; Maureso Sánchez, Montserrat

Put three and three together: Triangle-driven community detection

Prat Pérez, Arnau; Domínguez Sal, David; Brunat Blay, Josep Maria; Larriba Pey, Josep

Symmetries in Steinhaus triangles and in generalized Pascal triangles

Brunat Blay, Josep Maria; Maureso Sánchez, Montserrat

Using Kapur-Sun-Wang algorithm for the Gröbner Cover

Montes Lozano, Antonio

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio