×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 181-188 (2017).
PDF BibTeX XML 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). 9-16 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 51-65 (2013).
MSC:  68T15 11E25 14P10 65K10 68W30 90C22 90C30
PDF BibTeX XML Cite
Full Text: DOI
Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 95-104 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 205-219 (2010).
MSC:  65K10 68W30
PDF BibTeX XML Cite
Full Text: DOI
Wang, Dongming (ed.) et al., Symbolic-numeric computation. Invited and contributed presentations given at the international workshop (SNC 2005), Xi’an, China, July 19–21 (2005). Basel: Birkhäuser (ISBN 978-3-7643-7983-4/hbk). Trends in Mathematics, 69-83 (2007).
MSC:  65F30 68W30 11B05
PDF BibTeX XML Cite
Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 169-176 (2006).
MSC:  12Y05 12D05 68W30
PDF BibTeX XML Cite
Full Text: DOI
Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 171-176 (2005).
MSC:  65F30 68W30
PDF BibTeX XML Cite
Full Text: DOI
Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 161-168 (2003).
MSC:  68W30 13P05 65H05
PDF BibTeX XML Cite
Lakshman, Y. N. (ed.), Proceedings of the 1996 international symposium on symbolic and algebraic computation, ISSAC ’96, Zürich, Switzerland, July 24–26, 1996. New York, NY: ACM Press. 137-141 (1996).
MSC:  65H05 12Y05 30C15
PDF BibTeX XML Cite

Filter Results by …

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