List of accepted posters
Posters are ordered according to paper IDs used during the review process.
- Fatima K. Abu Salem. Parallel and Cache-efficient Hensel Lifting.
- Hiroshi Sekigawa and Kiyoshi Shirayanagi. Isolated Real Zero of a Real Polynomial System under Perturbation.
- Deepanjan Kesh and Shashank Mehta. A Saturation Algorithm for Homogeneous Binomial Ideals.
- Ratnik Gandhi and Samaresh Chatterji. Computing Equilibria with Group Actions.
- Christoph Zengler, Andreas Kübler and Wolfgang Küchlin. New Approaches to Boolean Quantifier Elimination.
- Christoph Zengler and Wolfgang Küchlin. Boolean Gröbner Bases in SAT Solving.
- Hiroshi Kai and Shigenobu Inoue. Cheater identification on a secret sharing scheme using GCD.
- Alin Bostan, Frédéric Chyzak, Ziming Li and Bruno Salvy. Fast computation of common left multiples of linear ordinary differential operators.
- Manuela Wiesinger-Widi. Groebner Bases and Generalized Sylvester Matrices.
- Clemens G. Raab. Integration in Finite Terms of non-Liouvillian Functions.
- Mark Boady, Pavel Grinfeld and Jeremy Johnson. A Symbolic Computation System for the Calculus of Moving Surfaces.
- Md. Nazrul Islam and Adrien Poteaux. Connectivity Queries on Space Curves.
- Christos Koukouvinos, Dimitris. E. Simos and Zafeirakis Zafeirakopoulos. An Algebraic Framework for Extending Orthogonal Designs.
- Hamid Rahkooy and Zafeirakis Zafeirakopoulos. Using Resultants for Inductive Groebner Bases Computation.
- Marc Moreno Maza and Paul Vrbik. Inverting Matrices Modulo Regular Chains.
- Yue Li and Gabriel Dos Reis. An Automatic Parallelization Framework for OpenAxiom.
- Marc Moreno Maza and Wei Pan. Solving Bivariate Polynomial Systems on a GPU.
- Muhammad F.I. Chowdhury and Romain Lebreton. Root lifting techniques and applications to list decoding.