×

zbMATH — the first resource for mathematics

Found 288 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) (ISBN 978-1-4503-7100-1). 297-304 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 259-266 (2019).
MSC:  68W30
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) (ISBN 978-1-4503-5550-6). 335-342 (2018).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Araújo dos Santos, Raimundo Nonato (ed.) et al., Singularities and foliations. Geometry, topology and applications. BMMS 2/NBMS 3, Salvador, Brazil, 2015. Proceedings of the 3rd singularity theory meeting, ENSINO, July 8–11, 2015 and the Brazil-Mexico 2nd meeting of singularities, July 13–17, 2015. Cham: Springer (ISBN 978-3-319-73638-9/hbk; 978-3-319-73639-6/ebook). Springer Proceedings in Mathematics & Statistics 222, 51-88 (2018).
MSC:  58K15 58K65 14P10
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 100, 13 p. (2016).
MSC:  68Q05 11U05 14P10 34A30
PDF BibTeX XML Cite
Full Text: DOI
Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 250-263 (2016).
MSC:  65F30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 41-50 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Nabarro, Ana Claudia (ed.) et al., Real and complex singularities. XIII international workshop on real and complex singularities, São Carlos, Brazil, July 27 – August 8, 2014 in honor of María del Carmen Romero Fuster’s 60th birthday. Proceedings. Providence, RI: American Mathematical Society (AMS); Madrid: Real Sociedad Matemática Española (RSME) (ISBN 978-1-4704-2205-9/pbk; 978-1-4704-3558-5/ebook). Contemporary Mathematics 675, 89-102 (2016).
MSC:  14P10 14P25
PDF BibTeX XML Cite
Full Text: DOI
Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. IV: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-807-0/hbk; 978-89-6105-803-2/set). 871-895 (2014).
PDF BibTeX XML Cite
Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 97-106 (2014).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Campillo, Antonio (ed.) et al., Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18–29, 2011. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-149-1/hbk). EMS Series of Congress Reports, 288-296 (2014).
PDF BibTeX XML Cite
Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2031-3). 309-318 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 187-196 (2012).
MSC:  93D20 93C30 93D30
PDF BibTeX XML Cite
Full Text: DOI
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 249-256 (2012).
MSC:  68W30 13P15 14P10
PDF BibTeX XML Cite
Full Text: DOI
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 12, No. 3, 46-60 (2012); translation in J. Math. Sci., New York 202, No. 1, 25-39 (2014).
PDF BibTeX XML Cite
Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 447-481 (2012).
MSC:  90C27 90C22 68W05
PDF BibTeX XML Cite
Full Text: DOI arXiv
Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 313-320 (2011).
MSC:  68W30 14P10 34D20
PDF BibTeX XML Cite
Full Text: DOI
Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 75-82 (2011).
MSC:  14P10 68W30
PDF BibTeX XML Cite
Full Text: DOI
Kusuoka, Shigeo (ed.) et al., Advances in mathematical economics. The workshop on mathematical economics 2009, Tokyo, Japan, November 13–15, 2009. Revised selected papers. Tokyo: Springer (ISBN 978-4-431-53882-0/hbk; 978-4-431-53883-7/ebook). Advances in Mathematical Economics 14, 17-38 (2011).
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). 187-194 (2010).
MSC:  68W30 14P10
PDF BibTeX XML 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