- Lars Hellström:
A Content Dictionary for In-Object Comments. ICMS 2020: 473-481 - Joris van der Hoeven, Michael B. Monagan:
Implementing the Tangent Graeffe Root Finding Method. ICMS 2020: 482-492 - Noriyuki Horigome, Akira Terui, Masahiko Mikawa:
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. ICMS 2020: 3-13 - Michael Joswig, Paul Vater:
Real Tropical Hyperfaces by Patchworking in polymake. ICMS 2020: 202-211 - Marek Kaluba, Benjamin Lorenz, Sascha Timme:
Polymake.jl: A New Interface to polymake. ICMS 2020: 377-385 - Lars Kastner, Marta Panizzut:
Hyperplane Arrangements in polymake. ICMS 2020: 232-240 - Xiaxin Li, Jose Israel Rodriguez, Botong Wang:
A Numerical Approach for Computing Euler Characteristics of Affine Varieties. ICMS 2020: 51-60 - Antonio Macchia, Amy Wiebe:
Slack Ideals in Macaulay2. ICMS 2020: 222-231 - Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama:
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals. ICMS 2020: 73-84 - Tobias Moede:
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups. ICMS 2020: 125-130 - Akshar Nair, James H. Davenport, Gregory Sankaran:
Curtains in CAD: Why Are They a Problem and How Do We Fix Them? ICMS 2020: 17-26 - Kento Nakamura, Kazushi Ahara:
A Flow-Based Programming Environment for Geometrical Construction. ICMS 2020: 426-431 - Miroslav Olsák:
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry. ICMS 2020: 263-271 - Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr:
Markov Transition Matrix Analysis of Mathematical Expression Input Models. ICMS 2020: 451-461 - Mila Runnwerth, Markus Stocker, Sören Auer:
Operational Research Literature as a Use Case for the Open Research Knowledge Graph. ICMS 2020: 327-334 - Jan Frederik Schaefer, Kai Amann, Michael Kohlhase:
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS 2020: 406-415 - Sergio Siccha:
Towards Efficient Normalizers of Primitive Groups. ICMS 2020: 105-114 - Svetlana Topalova, Stela Zhelezova:
Isomorphism and Invariants of Parallelisms of Projective Spaces. ICMS 2020: 162-172 - Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff:
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Lecture Notes in Computer Science 12097, Springer 2020, ISBN 978-3-030-52199-8 [contents] - 2018
- Abdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury:
A Rainbow Clique Search Algorithm for BLT-Sets. ICMS 2018: 71-79 - María Alpuente, Demis Ballis, Julia Sapiña:
Inferring Safe Maude Programs with ÁTAME. ICMS 2018: 1-10 - Evan Austin, Scott C. Batson, Peter Curry, Bryan Williams:
Finding a Middle Ground for Computer-Aided Cryptography. ICMS 2018: 11-18 - Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Sunic:
Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials. ICMS 2018: 19-27 - Daniel J. Bates, Danielle A. Brake, Matt Niemerg:
Paramotopy: Parameter Homotopies in Parallel. ICMS 2018: 28-35 - Katja Bercic, Janos Vidali:
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. ICMS 2018: 36-44 - Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain:
A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors). ICMS 2018: 45-54 - Anton Betten:
Classifying Cubic Surfaces over Finite Fields Using Orbiter. ICMS 2018: 55-61 - Anton Betten:
How Fast Can We Compute Orbits of Groups? ICMS 2018: 62-70 - Danielle A. Brake, Jonathan D. Hauenstein, Margaret H. Regan:
polyTop: Software for Computing Topology of Smooth Real Surfaces. ICMS 2018: 397-404 - Paul Breiding, Sascha Timme:
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. ICMS 2018: 458-465