×

zbMATH — the first resource for mathematics

Found 59 Documents (Results 1–59)

100
MathJax
Izv. Math. 82, No. 3, 532-548 (2018); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 82, No. 3, 90-107 (2018).
MSC:  11R18 11R23 11R27
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
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). 325-332 (2016).
MSC:  65H04 13P05 65G30
PDF BibTeX XML Cite
Full Text: DOI
Berndt, Bruce C. (ed.) et al., The legacy of Srinivasa Ramanujan. Proceedings of the international conference in celebration of the 125th anniversary of Ramanujan’s birth, University of Delhi, Delhi, India, December 17–22, 2012. Mysore: Ramanujan Mathematical Society (ISBN 978-93-80416-13-7/hbk). Ramanujan Mathematical Society Lecture Notes Series 20, 387-397 (2013).
PDF BibTeX XML Cite
Blass, Andreas (ed.) et al., Logic and its applications. Result of the conference on logic and its applications in algebra and geometry, Ann Arbor, MI, USA, April 11–13, 2003 and the workshop on combinatorial set theory, excellent classes, and Schanuel conjecture, Ann Arbor, MI, USA, April 14–15, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3474-6/pbk). Contemporary Mathematics 380, 137-165 (2005).
MSC:  03C52 03C60
PDF BibTeX XML Cite
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 1-6 (2002).
MSC:  03C64
PDF BibTeX XML Cite
Full Text: DOI
Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 191-210 (1996).
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. 120-126 (1996).
MSC:  65D15 65G30
PDF BibTeX XML Cite
Wang, Paul S. (ed.), International symposium on Symbolic and algebraic computation 92. ISSAC 92. Berkeley, CA, USA, July 27–29, 1992. Baltimore, MD: ACM Press. 108-116 (1992).
MSC:  03B25 12L05 68W30
PDF BibTeX XML Cite

Filter Results by …

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