×

Found 5 Documents (Results 1–5)

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field