×

zbMATH — the first resource for mathematics

Found 173 Documents (Results 1–100)

100
MathJax
Ene, Viviana (ed.) et al., Multigraded algebra and applications. NSA 24, Moieciu de Sus, Romania, August 17–24, 2016. Cham: Springer (ISBN 978-3-319-90492-4/hbk; 978-3-319-90493-1/ebook). Springer Proceedings in Mathematics & Statistics 238, 111-123 (2018).
MSC:  13F55 05C99
PDF BibTeX XML Cite
Full Text: DOI arXiv
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 8, 25 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Hersh, Patricia (ed.) et al., The mathematical legacy of Richard P. Stanley. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2724-5/hbk; 978-1-4704-3477-9/ebook). 203-218 (2016).
MSC:  13H10 13P20 13F55
PDF BibTeX XML Cite
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). 243-250 (2013).
MSC:  68W30 55U10 68T15
PDF BibTeX XML Cite
Full Text: DOI
Gonzalez-Diaz, Rocio (ed.) et al., Discrete geometry for computer imagery. 17th IAPR international conference, DGCI 2013, Seville, Spain, March 20–22, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37066-3/pbk). Lecture Notes in Computer Science 7749, 323-334 (2013).
MSC:  68U05 05E45 68U10
PDF BibTeX XML Cite
Full Text: DOI
Francisco, Christopher (ed.) et al., Progress in commutative algebra 1. Combinatorics and homology. Berlin: Walter de Gruyter (ISBN 978-3-11-025034-3/hbk; 978-3-11-025040-4/ebook). De Gruyter Proceedings in Mathematics, 127-141 (2012).
Reviewer: Marc Aubry (Nice)
PDF BibTeX XML Cite
Full Text: arXiv
Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 200-215 (2011).
MSC:  68T15 55U10 55U15
PDF BibTeX XML Cite
Full Text: DOI
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 30-44 (2011).
MSC:  68T15 55-04 55U10
PDF BibTeX XML Cite
Full Text: DOI
Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 37-51 (2011).
MSC:  68T15 55U10 68N18 68W30
PDF BibTeX XML Cite
Full Text: DOI
Lambán, Laureano (ed.) et al., Contribuciones científicas en honor de Mirian Andrés Gómez. Logroño: Universidad de La Rioja, Servicio de Publicaciones (ISBN 978-84-96487-50-5/hbk). 507-519 (2010).
MSC:  55-04 57Q05 55U10 55P20 68T15 68W30 01A70
PDF BibTeX XML Cite
Lambán, Laureano (ed.) et al., Contribuciones científicas en honor de Mirian Andrés Gómez. Logroño: Universidad de La Rioja, Servicio de Publicaciones (ISBN 978-84-96487-50-5/hbk). 21-41 (2010).
MSC:  68T15 55U10
PDF BibTeX XML Cite
Lambán, Laureano (ed.) et al., Contribuciones científicas en honor de Mirian Andrés Gómez. Logroño: Universidad de La Rioja, Servicio de Publicaciones (ISBN 978-84-96487-50-5/hbk). 1-19 (2010).
MSC:  68T15 55U10
PDF BibTeX XML Cite
Ene, Viviana (ed.) et al., Combinatorial aspects of commutative algebra. Exploratory workshop on combinatorial commutative algebra and computer algebra, Mangalia, Romania, May 29–31, 2008. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4758-9/pbk). Contemporary Mathematics 502, 157-168 (2009).
MSC:  13D02 13H10
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