List of Accepted Posters
-
Antonio Jiménez-Pastor, Sonia Rueda and Maria-Angeles Zurro
Computing Almost-commuting Basis of Ordinary Differential Operators
-
Hiroshi Sekigawa
An Approximation Algorithm for the Nearest Decomposable Polynomial in the Hamming Distance
-
David J. Jeffrey and Jacob Imre
Non-principal Branches of Lambert W
-
Tereso del Río, Amir Hosein Sadeghimanesh and Matthew England
Clustering in the Lazard Method for Cylindrical Algebraic Decomposition
-
Alaa Ibrahim and Bruno Salvy
Positivity Certificates for P-recursive Sequences
-
Eugene Zima, Benjamin Chen and Yu Li
On a Two-layer Modular Arithmetic
-
Tobias Metzlaff
Symmetry Adapted Bases for Trigonometric Optimization
-
Nusa Zidaric
How to use a CAS for Hardware Design Automation
-
Snehal Bhayani, Praneeth Susarla, S.S. Krishna Chaitanya Bulusu, Olli Silven, Markku Juntti and Janne Heikkila
A Novel Application of Polynomial Solvers in mmWave Beamforming
-
Frédéric Bihan, Erika Croy, Weixun Deng, Kaitlyn Phillipson, Robert Rennie and J. Maurice Rojas
Quickly Computing Isotopy Type for Exponential Sums over Circuits
-
Katarína Studeničová
Arithmetics in Generalised Cantor Base Systems
-
Kosaku Nagasaka and Ryo Oshimatani
Conditional Groebner Basis: Groebner Basis Detection with Parameters