Lange-Hegermann, Markus The differential counting polynomial. (English) Zbl 1386.12007 Found. Comput. Math. 18, No. 2, 291-308 (2018). MSC: 12H05 34G20 35A01 35A10 35G20 35Q30 PDFBibTeX XMLCite \textit{M. Lange-Hegermann}, Found. Comput. Math. 18, No. 2, 291--308 (2018; Zbl 1386.12007) Full Text: DOI arXiv
Amodio, Pierluigi; Blinkov, Yuri; Gerdt, Vladimir; La Scala, Roberto Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations. (English) Zbl 1426.76449 Appl. Math. Comput. 314, 408-421 (2017). MSC: 76M20 65M06 12H10 13P10 35Q30 76D05 13P25 PDFBibTeX XMLCite \textit{P. Amodio} et al., Appl. Math. Comput. 314, 408--421 (2017; Zbl 1426.76449) Full Text: DOI
Robertz, Daniel Formal algorithmic elimination for PDEs. (English) Zbl 1364.35008 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). 19-22 (2016). MSC: 35-04 35C05 35Q30 12H05 68W30 PDFBibTeX XMLCite \textit{D. Robertz}, in: 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). 19--22 (2016; Zbl 1364.35008) Full Text: DOI
Cucker, Felipe (ed.); Krick, Teresa (ed.); Pinkus, Allan (ed.); Szanto, Agnes (ed.) Foundations of computational mathematics, Budapest 2011. Collected papers based on the plenary talks presented at the conference of the Society for the Foundations of Computational Mathematics, FoCM, July 4–14, 2011. (English) Zbl 1255.00017 London Mathematical Society Lecture Note Series 403. Cambridge: Cambridge University Press (ISBN 978-1-107-60407-0/pbk). x, 238 p. (2013). MSC: 00B25 20B40 12Y99 57N25 65-06 76D05 PDFBibTeX XMLCite \textit{F. Cucker} (ed.) et al., Foundations of computational mathematics, Budapest 2011. Collected papers based on the plenary talks presented at the conference of the Society for the Foundations of Computational Mathematics, FoCM, July 4--14, 2011. Cambridge: Cambridge University Press (2013; Zbl 1255.00017)
Péladan-Germa, Ariane Testing identities of series defined by algebraic partial differential equations. (English) Zbl 0974.12503 Cohen, Gérard (ed.) et al., Applied algebra, algebraic algorithms and error-correcting codes. 11th international symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 948, 393-407 (1995). MSC: 12H05 68W30 35Q30 35C10 PDFBibTeX XMLCite \textit{A. Péladan-Germa}, Lect. Notes Comput. Sci. 948, 393--407 (1995; Zbl 0974.12503)