×

Found 80 Documents (Results 1–80)

Transcendence certificates for D-finite functions. (English) Zbl 07760782

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 372-380 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

An elementary recursive bound for effective Positivstellensatz and Hilbert’s 17th problem. (English) Zbl 1465.14001

Memoirs of the American Mathematical Society 1277. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-470-44108-1/pbk; 978-1-4704-5662-7/ebook). v, 125 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cube vs. cube low degree test. (English) Zbl 1402.68190

Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 40, 31 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Logical relations and parametricity – a Reynolds programme for category theory and programming languages. (English) Zbl 1337.68052

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 149-180, electronic only (2014).
MSC:  68N15 68N30 68-02
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