×

zbMATH — the first resource for mathematics

Found 419 Documents (Results 1–100)

100
MathJax
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 442-449 (2020).
MSC:  68W30
PDF BibTeX Cite
Full Text: DOI
England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 140-151 (2019).
MSC:  34A05 34C20 68W30
PDF BibTeX Cite
Full Text: DOI
Math. Notes 104, No. 1, 48-52 (2018); translation from Mat. Zametki 104, No. 1, 56-61 (2018).
MSC:  15A06 15B57
PDF BibTeX Cite
Full Text: DOI
J. Math. Sci., New York 232, No. 4, 428-436 (2018); translation from Probl. Mat. Anal. 93, 23-29 (2018).
MSC:  34A09 34E05 34A30
PDF BibTeX Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 535-552 (2017).
MSC:  68Q45 68Q42 68Q70
PDF BibTeX Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 56, No. 1, 1-18 (2017); translation from Kibern. Sist. Anal. 2017, No. 1, 3-20 (2017).
PDF BibTeX Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 40-50 (2017).
MSC:  34A05 68W30
PDF BibTeX Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-662-49913-9/pbk; 978-3-662-49914-6/ebook). xvii, 455 p. (2017).
PDF BibTeX Cite
Full Text: DOI
Communications and Control Engineering. Singapore: Springer (ISBN 978-981-10-0635-7/hbk; 978-981-10-0637-1/ebook). xviii, 487 p. (2017).
PDF BibTeX Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-319-45284-5/hbk; 978-3-319-45285-2/ebook). xx, 564 p. (2016).
PDF BibTeX Cite
Full Text: DOI
Kwon, Soonhak (ed.) et al., Information security and cryptology – ICISC 2015. 18th international conference, Seoul, South Korea, November 25–27, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-30839-5/pbk; 978-3-319-30840-1/ebook). Lecture Notes in Computer Science 9558, 102-118 (2016).
MSC:  94A60
PDF BibTeX Cite
Full Text: DOI
Ilchmann, Achim (ed.) et al., Surveys in differential-algebraic equations II. Cham: Springer (ISBN 978-3-319-11049-3/pbk; 978-3-319-11050-9/ebook). Differential-Algebraic Equations Forum, 69-102 (2015).
PDF BibTeX Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-662-45560-9/pbk; 978-3-662-45561-6/ebook). vii, 253 p. (2015).
PDF BibTeX Cite
Full Text: DOI
Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 343-350 (2014).
MSC:  68W30 13P10 13P15
PDF BibTeX Cite
Full Text: DOI arXiv
Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 312-319 (2014).
MSC:  68W30 34A30 35F35
PDF BibTeX Cite
Full Text: DOI arXiv
Izv. Math. 78, No. 6, 1063-1078 (2014); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 78, no. 6, 5-20 (2014).
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 529-540 (2014).
PDF BibTeX Cite
Full Text: DOI
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). 307-314 (2013).
PDF BibTeX Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 15th international workshop, CASC 2013, Berlin, Germany, September 9–13, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8136, 75-87 (2013).
MSC:  34C14 34C20 68W30
PDF BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software