×

zbMATH — the first resource for mathematics

Found 122 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). 13 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 93-108 (2019).
MSC:  68W30 68T05
PDF BibTeX XML Cite
Full Text: DOI
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). 375-382 (2018).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
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). 413-420 (2017).
MSC:  14Q20 14P10 68W30
PDF BibTeX XML Cite
Full Text: DOI
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). 53-60 (2017).
MSC:  68W30 03C10
PDF BibTeX XML Cite
Full Text: DOI
Conca, Aldo (ed.) et al., Homological and computational methods in commutative algebra. Dedicated to Winfried Bruns on the occasion of his 70th birthday. Proceedings of the INdAM conference, Cortona, Italy, May 30 – June 3, 2016. Cham: Springer (ISBN 978-3-319-61942-2/hbk; 978-3-319-61943-9/ebook). Springer INdAM Series 20, 141-162 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 151-166 (2015).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 165-172 (2015).
MSC:  68W30 03C10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 85-92 (2015).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 482-499 (2015).
MSC:  68Q60
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). 389-396 (2014).
MSC:  68W30 03C10 14P10
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). 91-98 (2014).
MSC:  68W30 03C10
PDF BibTeX XML Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 16th international workshop, CASC 2014, Warsaw, Poland, September 8–12, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10514-7/pbk). Lecture Notes in Computer Science 8660, 44-58 (2014).
MSC:  68W30 14P99 14Q99
PDF BibTeX XML Cite
Full Text: DOI arXiv
Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 425-433 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 92-107 (2014).
MSC:  68W30 68T05 68T20
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 45-60 (2014).
PDF BibTeX XML 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). 315-321 (2013).
MSC:  68W30 11B37 11Y16
PDF BibTeX XML 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). 283-290 (2013).
PDF BibTeX XML 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). 133-140 (2013).
MSC:  68W30 68T15
PDF BibTeX XML 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). 125-132 (2013).
MSC:  68W30
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, 19-34 (2013).
MSC:  68W30 13P10
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, 175-191 (2012).
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, 123-156 (2012).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Moreno Maza, Marc (ed.), Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0515-0). 168-177 (2011).
MSC:  68W30 65K05 90C26
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 195-201 (2010).
MSC:  68W30 11B37
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 61-68 (2010).
MSC:  68W30 03C10 14P10
PDF BibTeX XML Cite
Full Text: DOI
Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 55-64 (2009).
MSC:  68W30 03C10
PDF BibTeX XML Cite
Full Text: DOI
Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 364-369 (2009).
MSC:  68U05 68W30
PDF BibTeX XML Cite
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). 156-162 (2005).
MSC:  68W30 26D15 33C45 33F10 68T15
PDF BibTeX XML Cite
Full Text: DOI
Bečvář, Jindřich (ed.) et al., Matematika v proměnách věků. III. Prague: Výzkumné Centrum pro Dějiny Vědy (ISBN 80-7285-040-7). Dějiny Matematiky/History of Mathematics 24, 56-68 (2004).
PDF BibTeX XML Cite
Full Text: Link
Winkler, Franz (ed.), Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4–6, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20927-1/pbk). Lecture Notes in Computer Science 2930. Lecture Notes in Artificial Intelligence, 31-43 (2004).
MSC:  68W30 70B15
PDF BibTeX XML Cite
Full Text: DOI
Ganzha, Viktor G. (ed.) et al., Computer algebra in scientific computing. CASC 2000. Proceedings of the 3rd workshop, Samarkand, Uzbekistan, October 5-9, 2000. Berlin: Springer. 203-217 (2000).
MSC:  68W30 13P05
PDF BibTeX XML Cite
Matzat, B. Heinrich (ed.) et al., Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 221-247 (1999).
MSC:  68W30 13P10 13-04
PDF BibTeX XML Cite
Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. New York, NY: ACM Press. 295-301 (1998).
MSC:  68W30
PDF BibTeX XML Cite
PDF BibTeX XML Cite
Bosma, Wieb (ed.) et al., Computational algebra and number theory. Based on a meeting on computational algebra and number theory, held at Sydney University, Sydney, Australia, November of 1992. Dordrecht: Kluwer Academic Publishers. Math. Appl., Dordr. 325, 243-253 (1995).
MSC:  68W30 12Y05 14P99 12-04 13P05 14Q99
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Biographic Reference