Preliminary Program
Monday, 23 September (10:40-12:00)
- David J. Wilson, Russell J. Bradford, James H. Davenport and Matthew England. A “Piano Movers” Problem Reformulated
- Rui Hu and Stephen Watt. Identifying Features via Homotopy on Handwritten Mathematical Symbols
- Johannes Middeke, David Jeffrey and Ahmed Almohaimeed. Common factors in fraction-free factoring of matrices
- Tateaki Sasaki and Tetsu Yamaguchi. On Algebraic Preprocessing of Floating-point DAEs for Numerical Model Simulation
Session 2: Monday, 23 September (14:20-16:00)
- Nabil Hossain, Robert W. McGrail, Francesco Matucci and James Belk. Deciding Conjugacy in Thompson’s Group F in Linear Time
- Galina Filipuk and Maciej Haneczok. On ladder operators for little q-Jacobi polynomials and their generalizations
- Grzegorz Marczak, Daniel Simson and Katarzyna Zając. On computing non-negative loop-free edge-bipartite graphs
- Marcin Gąsiorek. Efficient Computation of the Isotropy Group of a Finite Graph: a Combinatorial Approach
- Benjamin Justus. Points Compression and Probabilistic Coordinate Recovery for Edwards Curve over Finite Field
* Chairs
+ Tetsuo Ida, University of Tsukuba, Japan
+ Stephen Watt, University of Western Ontario, Canada
* Topics
+ computer algebra
+ symbolic techniques applied to numerics
+ hybrid symbolic and numeric algorithms
+ numerics and symbolics for geometry
+ programming with constraints, narrowing
* Program committee
+ Anna Maria Bigatti, Univ. degli Studi di Genova, Italy
+ Alin Bostan, INRIA, France
+ James H. Davenport, University of Bath, UK
+ Gema M. Diaz-Toca, University of Murcia, Spain
+ Gabriel Dos Reis, Texas A&M University, US
+ Tetsuo Ida, University of Tsukuba, Japan
+ Manuel Kauers, Johannes Kepler University, Austria
+ Wen-Shin Lee, University of Antwerp, Belgium
+ Daniel Roche, United States Naval Academy, US
+ Dongming Wang, Beihang University, China and UPMC-CNRS, France
+ Stephen Watt, University of Western Ontario, Canada
+ Kazuhiro Yokoyama, Rikkyo University, Japan