×

Found 18 Documents (Results 1–18)

Computing the volume of compact semi-algebraic sets. (English) Zbl 1467.14139

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 259-266 (2019).
MSC:  14P10 14Q20 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv HAL

Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions. (English) Zbl 1467.34011

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 95-102 (2018).
MSC:  34A25 34A30 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

On \(p\)-adic differential equations with separation of variables. (English) Zbl 1364.12007

Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 319-323 (2016).
MSC:  12H25 65L20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computing the Chow variety of quadratic space curves. (English) Zbl 1460.14132

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 130-136 (2016).
MSC:  14Q15 14C05 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Creative telescoping for rational functions using the Griffiths-Dwork method. (English) Zbl 1360.68921

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 93-100 (2013).
MSC:  68W30 12H20 33F10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field