Volume 14, Issue 3

September 2020

Special Issue: Selected Extended Papers from ICMS 2018

Issue Editors:

10 articles in this issue

Foreword
George Labahn
James H. Davenport
Josef Urban
EditorialNotes 23 April 2020 Pages: 531 - 532
Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
Burak Ekici
Cezary Kaliszyk
OriginalPaper Open access 08 February 2020 Pages: 533 - 549
Image Analysis: Identification of Objects via Polynomial Systems
Robert H. Lewis
OriginalPaper 07 February 2020 Pages: 551 - 558
DiscreteZOO: A Fingerprint Database of Discrete Objects
Katja Berčič
Janoš Vidali
OriginalPaper Open access 14 February 2020 Pages: 559 - 575
Numerical Software to Compute Newton polytopes and Tropical Membership
Taylor Brysiewicz
OriginalPaper 11 February 2020 Pages: 577 - 589
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System
M. Alpuente
D. Ballis
J. Sapiña
OriginalPaper 07 February 2020 Pages: 591 - 606
Problem Solving as a Path to Comprehension
Seyeon Kim
Marco Pollanen
Wesley S. Burr
OriginalPaper 11 February 2020 Pages: 607 - 621
Calculation and Properties of Zonal Polynomials
Lin Jiu
Christoph Koutschan
OriginalPaper 11 February 2020 Pages: 623 - 640
Efficient and Secure Delegation of Exponentiation in General Groups to a Single Malicious Server
Giovanni Di Crescenzo
Matluba Khodjaeva
Vladimir Shpilrain
OriginalPaper 28 March 2020 Pages: 641 - 656
Relaxed Weighted Path Order in Theorem Proving
Jan Jakubův
Cezary Kaliszyk
OriginalPaper Open access 30 March 2020 Pages: 657 - 670

Search