×

zbMATH — the first resource for mathematics

Found 586 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). 22-29 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 247, No. 5, 738-757 (2020); translation from Zap. Nauchn. Semin. POMI 481, 146-177 (2019).
PDF BibTeX XML Cite
Full Text: DOI
CBMS Regional Conference Series in Mathematics 134. Providence, RI: American Mathematical Society (AMS), published for the Conference Board of the Mathematical Sciences (CBMS) (ISBN 978-1-4704-5137-0/pbk; 978-1-4704-5589-7/ebook). ix, 250 p. (2020).
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). 42-49 (2019).
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). 21-25 (2019).
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). 4-9 (2019).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 19-35 (2019).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 240, No. 5, 594-616 (2019); translation from Zap. Nauchn. Semin. POMI 468, 138-176 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kuru, Şengül (ed.) et al., Integrability, supersymmetry and coherent states. A volume in honour of Professor Véronique Hussin. In part selected contributions from the 6th international workshop on new challenges in quantum mechanics: integrability and supersymmetry, Valladolid, Spain, June 27–30, 2017. Cham: Springer. CRM Ser. Math. Phys., 103-131 (2019).
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). 335-342 (2018).
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). 87-94 (2018).
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). 71-78 (2018).
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). 63-70 (2018).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Seidel, Raimund (ed.), 1st symposium on simplicity in algorithms. SOSA 2018, January 7–10, 2018, New Orleans, LA, USA. Co-located with the 29th ACM-SIAM symposium on discrete algorithms (SODA 2018). Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 61, Article 6, 15 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 495-508 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 35-45 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 132-151 (2018).
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
Biographic Reference
all top 3
Software