Symbolic Computing for Dynamic Geometry SCDG 2011

Technical Session at ICCSA 2011 on

Symbolic Computing for Dynamic Geometry, SCDG 2011

University of Cantabria, Santander, Spain, 20-23 June 2011


Call for Papers

Program Committee

Important Dates

Paper submission



Call for Papers

This technical session will cover developments on symbolic computing for interactive geometric environments. Both theoretical and applied approaches will be accepted.

The topics include (but are not limited to)

  • automated deduction approaches and systems for DG,

  • Internet accessible mathematical computation for DG,

  • pedagogical software packages, computer aided teaching of geometry,

  • human-computer interfaces for DG,

  • design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies,

  • polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics,

  • mathematical knowledge management for DG