×

zbMATH — the first resource for mathematics

Found 635 Documents (Results 1–100)

100
MathJax
Russ. Math. Surv. 75, No. 6, 995-1066 (2020); translation from Usp. Mat. Nauk 75, No. 6, 3-84 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Oort, Frans (ed.), Open problems in arithmetic algebraic geometry. Based on the presentations at the conference ‘Arithmetic and geometry of abelian varieties’, 1995. With appendices by Frans Oort. Somerville, MA: International Press; Beijing: Higher Education Press. Adv. Lect. Math. (ALM) 46, 295-331 (2019).
PDF BibTeX XML Cite
Mathematical Surveys and Monographs 242. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5015-1/hbk; 978-1-4704-5411-1/ebook). xii, 297 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer (ISBN 978-3-030-16457-7/pbk; 978-3-030-16458-4/ebook). Lecture Notes in Computer Science 11445, 399-408 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1345-1365 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 535-544 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
EMS Monographs in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-135-4/hbk; 978-3-03719-635-9/ebook). xxxiv, 829 p. (2018).
MSC:  14-02 14A20 14G22
PDF BibTeX XML Cite
Full Text: DOI arXiv
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 32, 18 p. (2017).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017).
MSC:  68Q45 68Q55 91A80
PDF BibTeX XML Cite
Full Text: DOI
Smith, Gregory G. (ed.) et al., Combinatorial algebraic geometry. Selected papers from the 2016 apprenticeship program, Ottawa, Canada, July–December 2016. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-7485-6/hbk; 978-1-4939-7486-3/ebook). Fields Institute Communications 80, 321-352 (2017).
MSC:  14C05 14D15
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 95-114 (2017).
MSC:  68P30 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 96-105 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9092-9/hbk; 978-1-4704-3021-4/ebook). xxvii, 716 p. (2016).
PDF BibTeX XML Cite
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 1-15 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 527-538 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 85-94 (2014).
MSC:  14A15 14E99
PDF BibTeX XML Cite
Full Text: DOI
Etingof, Pavel (ed.) et al., Perspectives in representation theory. A conference in honor of Igor Frenkel’s 60th birthday on perspectives in representation theory, Yale University, New Haven, CT, USA, May 12–17, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9170-4/pbk; 978-1-4704-1523-5/ebook). Contemporary Mathematics 610, 139-251 (2014).
MSC:  14A20 14D24 14F05 14M15 18D05 18F20
PDF BibTeX XML Cite
Full Text: arXiv
Esparza, Javier (ed.) et al., Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8573, 268-279 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 115-126 (2013).
MSC:  68N18 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 13-24 (2013).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 209-228 (2013).
MSC:  68N30 68P30 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Skorobogatov, Alexei N. (ed.), Torsors, étale homotopy and applications to rational points. Lecture notes of mini-courses presented at the workshop “Torsors: theory and applications”, Edinburgh, UK, January 10–14, 2011 and at the study group organised in Imperial College, London, UK in autumn 2010. Cambridge: Cambridge University Press (ISBN 978-1-107-61612-7/pbk; 978-1-139-52535-0/ebook). London Mathematical Society Lecture Note Series 405, 231-249 (2013).
MSC:  14L15 14G25 14L05
PDF BibTeX XML Cite

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
Biographic Reference
all top 3
Software