Computing the canonical representation of constructible sets
Visualitza/Obre
Cita com:
hdl:2117/100350
Tipus de documentArticle
Data publicació2016-03-08
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Citació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.
ISSN1661-8270
Versió de l'editorhttp://link.springer.com/article/10.1007/s11786-016-0248-2
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Montes_2016_11786_2016_248_Author.pdf | 254,1Kb | Visualitza/Obre |