van der Hoeven, Joris Computing with D-algebraic power series. (English) Zbl 07036956 Appl. Algebra Eng. Commun. Comput. 30, No. 1, 17-49 (2019). MSC: 68W30 34A09 34A12 PDF BibTeX XML Cite \textit{J. van der Hoeven}, Appl. Algebra Eng. Commun. Comput. 30, No. 1, 17--49 (2019; Zbl 07036956) Full Text: DOI
Recio, Tomás; Sendra, J. Rafael; Villarino, Carlos The importance of being zero. (English) Zbl 07245533 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) (ISBN 978-1-4503-5550-6). 327-333 (2018). MSC: 68W30 PDF BibTeX XML Cite \textit{T. Recio} et al., in: 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). 327--333 (2018; Zbl 07245533) Full Text: DOI
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Model checking vector addition systems with one zero-test. (English) Zbl 1242.68196 Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012). MSC: 68R99 68Q05 03D99 PDF BibTeX XML Cite \textit{R. Bonnet} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012; Zbl 1242.68196) Full Text: DOI
van der Hoeven, Joris Meta-expansion of transseries. (English) Zbl 1215.33011 J. Symb. Comput. 46, No. 4, 339-359 (2011). Reviewer: Hans Benker (Merseburg) MSC: 33F10 PDF BibTeX XML Cite \textit{J. van der Hoeven}, J. Symb. Comput. 46, No. 4, 339--359 (2011; Zbl 1215.33011) Full Text: DOI
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Place-boundedness for vector addition systems with one zero-test. (English) Zbl 1245.68131 Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 192-203, electronic only (2010). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Bonnet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 8, 192--203 (2010; Zbl 1245.68131) Full Text: DOI Link
Richardson, Daniel Zero tests for constants in simple scientific computation. (English) Zbl 1145.26001 Math. Comput. Sci. 1, No. 1, 21-37 (2007). MSC: 26A09 11J85 03D15 PDF BibTeX XML Cite \textit{D. Richardson}, Math. Comput. Sci. 1, No. 1, 21--37 (2007; Zbl 1145.26001) Full Text: DOI
Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B. Hierarchical representations with signatures for large expression management. (English) Zbl 1156.68641 Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 254-268 (2006). MSC: 68W30 PDF BibTeX XML Cite \textit{W. Zhou} et al., Lect. Notes Comput. Sci. 4120, 254--268 (2006; Zbl 1156.68641) Full Text: DOI
van der Hoeven, Joris; Shackell, John Complexity bounds for zero-test algorithms. (English) Zbl 1124.68045 J. Symb. Comput. 41, No. 9, 1004-1020 (2006). MSC: 68Q25 68W30 PDF BibTeX XML Cite \textit{J. van der Hoeven} and \textit{J. Shackell}, J. Symb. Comput. 41, No. 9, 1004--1020 (2006; Zbl 1124.68045) Full Text: DOI
Peng, Kun; Boyd, Colin; Dawson, Ed; Okamoto, Eiji A novel range test. (English) Zbl 1176.94057 Batten, Lynn Margaret (ed.) et al., Information security and privacy. 11th Australasian conference, ACISP 2006, Melbourne, Australia, July 3–5, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35458-1/pbk). Lecture Notes in Computer Science 4058, 247-258 (2006). MSC: 94A60 94A62 68P25 PDF BibTeX XML Cite \textit{K. Peng} et al., Lect. Notes Comput. Sci. 4058, 247--258 (2006; Zbl 1176.94057) Full Text: DOI
Peng, Kun; Boyd, Colin; Dawson, Ed; Lee, Byoungcheon An efficient and verifiable solution to the millionaire problem. (English) Zbl 1133.94332 Park, Choonsik (ed.) et al., Information security and cryptology – ICISC 2004. 7th international conference, Seoul, Korea, December 2–3, 2004. Revised Selected Papers. Berlin: Springer (ISBN 978-3-540-26226-8/pbk). Lecture Notes in Computer Science 3506, 51-66 (2005). MSC: 94A60 68P25 PDF BibTeX XML Cite \textit{K. Peng} et al., Lect. Notes Comput. Sci. 3506, 51--66 (2005; Zbl 1133.94332) Full Text: DOI
Grigoriev, Dima; Karpinski, Marek A zero-test and an interpolation algorithm for the shifted sparse polynomials. (English) Zbl 0809.68072 Cohen, Gérard (ed.) et al., Applied algebra, algebraic algorithms and error-correcting codes. 10th International symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 673, 162-169 (1993). Reviewer: J.Hromkovič (Kiel) MSC: 68W10 26C10 65D05 12D10 PDF BibTeX XML Cite \textit{D. Grigoriev} and \textit{M. Karpinski}, Lect. Notes Comput. Sci. 673, 162--169 (1993; Zbl 0809.68072)