|
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
|
|
Home
Call
for Papers
Program
Committee
Important
Dates
Paper
submission
Registration
Contact
|
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
|