Symbolic Computation


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