Sign in
ICMS
2006
2011
2015
2020
2006
2020
Keyphrases
Publications
2020
Noriyuki Horigome
,
Akira Terui
,
Masahiko Mikawa
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases.
ICMS
(2020)
John Abbott
Certifying Irreducibility in ℤ[x].
ICMS
(2020)
Saiei-Jaeyeong Matsubara-Heo
,
Nobuki Takayama
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals.
ICMS
(2020)
Tobias Moede
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups.
ICMS
(2020)
Changbo Chen
Chordality Preserving Incremental Triangular Decomposition and Its Implementation.
ICMS
(2020)
Xiaxin Li
,
Jose Israel Rodriguez
,
Botong Wang
A Numerical Approach for Computing Euler Characteristics of Affine Varieties.
ICMS
(2020)
Svetlana Topalova
,
Stela Zhelezova
Isomorphism and Invariants of Parallelisms of Projective Spaces.
ICMS
(2020)
Michael Joswig
,
Paul Vater
Real Tropical Hyperfaces by Patchworking in polymake.
ICMS
(2020)
Lars Kastner
,
Marta Panizzut
Hyperplane Arrangements in polymake.
ICMS
(2020)
Alexander Brandt
,
Robert H. C. Moir
,
Marc Moreno Maza
Employing C++ Templates in the Design of a Computer Algebra Library.
ICMS
(2020)
Antonio Macchia
,
Amy Wiebe
Slack Ideals in Macaulay2.
ICMS
(2020)
Marek Kaluba
,
Benjamin Lorenz
,
Sascha Timme
Polymake.jl: A New Interface to polymake.
ICMS
(2020)
Jan Frederik Schaefer
,
Kai Amann
,
Michael Kohlhase
Prototyping Controlled Mathematical Languages in Jupyter Notebooks.
ICMS
(2020)
Peter Benner
,
Steffen W. R. Werner
MORLAB - A Model Order Reduction Framework in MATLAB and Octave.
ICMS
(2020)
Joris van der Hoeven
,
Michael B. Monagan
Implementing the Tangent Graeffe Root Finding Method.
ICMS
(2020)
Stefka Bouyuklieva
,
Iliya Bouyukliev
Classification of Linear Codes by Extending Their Residuals.
ICMS
(2020)
Francesca Bianchi
[inline-graphic not available: see fulltext]-Integral Points on a Mordell Curve.
ICMS
(2020)
Winfried Bruns
Algebraic Polytopes in Normaliz.
ICMS
(2020)
Jonathan D. Hauenstein
,
Margaret H. Regan
Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set.
ICMS
(2020)
Roberto Di Cosmo
Archiving and Referencing Source Code with Software Heritage.
ICMS
(2020)
Dennis Tobias Halbach
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project.
ICMS
(2020)
Bettina Eick
,
Michael R. Vaughan-Lee
The GAP Package LiePRing.
ICMS
(2020)
Changbo Chen
,
Zhangpeng Zhu
,
Haoyu Chi
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks.
ICMS
(2020)
Fredrik Johansson
FunGrim: A Symbolic Library for Special Functions.
ICMS
(2020)
Georg Grasegger
,
Jan Legerský
FlexRiLoG - A SageMath Package for Motions of Graphs.
ICMS
(2020)
Alexandre V. Borovik
,
Sükrü Yalçinkaya
Homomorphic Encryption and Some Black Box Attacks.
ICMS
(2020)
Andreas-Stephan Elsenhans
,
Jörg Jahnel
Computations with Algebraic Surfaces.
ICMS
(2020)
Miroslav Olsák
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry.
ICMS
(2020)
Apostolos Chalkis
,
Ioannis Z. Emiris
,
Vissarion Fisikopoulos
Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies.
ICMS
(2020)
Bart De Bruyn
Classification Results for Hyperovals of Generalized Quadrangles.
ICMS
(2020)
André Greiner-Petter
,
Moritz Schubotz
,
Akiko Aizawa
,
Bela Gipp
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems.
ICMS
(2020)
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)
Tatsuyoshi Hamada
,
Yoshiyuki Nakagawa
,
Makoto Tamura
Method to Create Multiple Choice Exercises for Computer Algebra System.
ICMS
(2020)
Anton Betten
,
Tarun Mukthineni
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry.
ICMS
(2020)
Christopher W. Brown
,
Glenn Christopher Daves
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving.
ICMS
(2020)
Ricky E. Farr
,
Sebastian Pauli
,
Filip Saidak
Evaluating Fractional Derivatives of the Riemann Zeta Function.
ICMS
(2020)
Akshar Nair
,
James H. Davenport
,
Gregory Sankaran
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
ICMS
(2020)
Mila Runnwerth
,
Markus Stocker
,
Sören Auer
Operational Research Literature as a Use Case for the Open Research Knowledge Graph.
ICMS
(2020)
Iliya Bouyukliev
The Program Generation in the Software Package QextNewEdition.
ICMS
(2020)
Andrej Bauer
,
Philipp G. Haselwarter
,
Anja Petkovic
Equality Checking for General Type Theories in Andromeda 2.
ICMS
(2020)
Olivier Bouillot
Phase Portraits of Bi-dimensional Zeta Values.
ICMS
(2020)
Miguel Ángel Marco Buzunáriz
Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza.
ICMS
(2020)
Marianne Akian
,
Xavier Allamigeon
,
Marin Boyet
,
Stéphane Gaubert
A Convex Programming Approach to Solve Posynomial Systems.
ICMS
(2020)
Yaoshun Fu
,
Wensheng Yu
A Formalization of Properties of Continuous Functions on Closed Intervals.
ICMS
(2020)
Kento Nakamura
,
Kazushi Ahara
A Flow-Based Programming Environment for Geometrical Construction.
ICMS
(2020)
Sergio Siccha
Towards Efficient Normalizers of Primitive Groups.
ICMS
(2020)
Dorian Florescu
,
Matthew England
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs.
ICMS
(2020)
Lars Hellström
A Content Dictionary for In-Object Comments.
ICMS
(2020)
volume 12097, 2020
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings
ICMS
12097 (2020)
volume 10931, 2018
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
ICMS
10931 (2018)