The power of pyramid decomposition in Normaliz

DC ElementWertSprache
dc.contributor.authorBruns, Winfried
dc.contributor.authorIchim, Bogdan
dc.contributor.authorSoeger, Christof
dc.date.accessioned2021-12-23T16:07:47Z-
dc.date.available2021-12-23T16:07:47Z-
dc.date.issued2016
dc.identifier.issn07477171
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/8056-
dc.description.abstractWe describe the use of pyramid decomposition in Normaliz, a software tool for the computation of Hilbert bases and enumerative data of rational cones and affine monoids. Pyramid decomposition in connection with efficient parallelization and streamlined evaluation of simplicial cones has enabled Normaliz to process triangulations of size approximate to 5 . 10(11) that arise in the computation of Ehrhart series related to the theory of social choice. (C) 2015 Elsevier Ltd. All rights reserved.
dc.description.sponsorshipCNCS - UEFISCDIConsiliul National al Cercetarii Stiintifice (CNCS)Unitatea Executiva pentru Finantarea Invatamantului Superior, a Cercetarii, Dezvoltarii si Inovarii (UEFISCDI) [PN-II-RU-TE-2012-3-0161]; DFGGerman Research Foundation (DFG)European Commission [1489]; Bogdan Ichim was partially supported a grant of CNCS - UEFISCDI, project number PN-II-RU-TE-2012-3-0161 during the preparation of this work and the development of Normaliz.; The Normaliz project is supported by the DFG Schwerpunktprogramm 1489 ``Algorithmische und experimentelle Methoden in Algebra, Geometrie und Zahlentheorie''.
dc.language.isoen
dc.publisherACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
dc.relation.ispartofJOURNAL OF SYMBOLIC COMPUTATION
dc.subjectComputer Science
dc.subjectComputer Science, Theory & Methods
dc.subjectEhrhart series
dc.subjectEQUATIONS
dc.subjectHilbert basis
dc.subjectHilbert series
dc.subjectINTEGER
dc.subjectMathematics
dc.subjectMathematics, Applied
dc.subjectPyramid decomposition
dc.subjectRational polytope
dc.subjectSERIES
dc.subjectTriangulation
dc.subjectVolume
dc.titleThe power of pyramid decomposition in Normaliz
dc.typejournal article
dc.identifier.doi10.1016/j.jsc.2015.09.003
dc.identifier.isiISI:000366794100025
dc.description.volume74
dc.description.startpage513
dc.description.endpage536
dc.contributor.orcid0000-0002-5068-4557
dc.contributor.researcheridB-8283-2011
dc.publisher.place24-28 OVAL RD, LONDON NW1 7DX, ENGLAND
dcterms.isPartOf.abbreviationJ. Symb. Comput.
dcterms.oaStatusGreen Submitted, Bronze
crisitem.author.deptFB 06 - Mathematik/Informatik-
crisitem.author.deptidfb06-
crisitem.author.parentorgUniversität Osnabrück-
crisitem.author.netidBrWi827-
Zur Kurzanzeige

Seitenaufrufe

1
Letzte Woche
0
Letzter Monat
0
geprüft am 15.05.2024

Google ScholarTM

Prüfen

Altmetric