×

Found 67 Documents (Results 1–67)

Computing the integer hull of convex polyhedral sets. (English) Zbl 1507.14083

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 246-267 (2022).
PDFBibTeX XMLCite
Full Text: DOI

On the pseudo-periodicity of the integer hull of parametric convex polygons. (English) Zbl 07497959

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 252-271 (2021).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Symbolic execution + model counting + entropy maximization = automatic search synthesis. (English) Zbl 07455740

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 50-65 (2020).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

Topics in hyperplane arrangements, polytopes and box-splines. (English) Zbl 1217.14001

Universitext. New York, NY: Springer (ISBN 978-0-387-78962-0/pbk; 978-0-387-78963-7/ebook). xx, 384 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Computing the continuous discretely. Integer-point enumeration in polyhedra. (English) Zbl 1114.52013

Undergraduate Texts in Mathematics. New York, NY: Springer (ISBN 978-0-387-29139-0/hbk; 978-0-387-46112-0/ebook). xviii, 226 p. (2007).
PDFBibTeX XMLCite
Full Text: DOI

The complexity of generating functions for integer points in polyhedra and beyond. (English) Zbl 1099.05003

Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume III: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 763-787 (2006).
PDFBibTeX XMLCite

Coefficients and roots of Ehrhart polynomials. (English) Zbl 1153.52300

Barvinok, Alexander (ed.) et al., Integer points in polyhedra. Geometry, number theory, algebra, optimization. Proceedings of an AMS-IMS-SIAM joint summer research conference on integer points in polyhedra, Snowbird, UT, USA, July 13–17, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3459-2/pbk). Contemporary Mathematics 374, 15-36 (2005).
MSC:  52B20 52C07 05A15
PDFBibTeX XMLCite
Full Text: arXiv

Integer points in polyhedra. Geometry, number theory, algebra, optimization. Proceedings of an AMS-IMS-SIAM joint summer research conference on integer points in polyhedra, Snowbird, UT, USA, July 13–17, 2003. (English) Zbl 1065.00009

Contemporary Mathematics 374. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3459-2/pbk). xi, 191 p. (2005).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software