CFP
JSC-DG&AR-SI 2018: Special Issue of the Journal of Symbolic Computation on Dynamic Geometry and Automated Reasoning |
Website | https://sites.google.com/site/kovzol/jsc-si-dg-ar |
Submission link | https://easychair.org/conferences/?conf=jscdgarsi2018 |
Submission deadline | February 1, 2018 |
CALL FOR PAPERS
Special Issue on Dynamic Geometry and Automated Reasoning
GUEST EDITORS
IMPORTANT DATES
SCOPE
Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world.
The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world.
The Special Issue intends to be an opportunity for
TOPICS (not restricted to)
Papers must not duplicate work already published or submitted for publication elsewhere. All the papers will be refereed according to the JSC standards. Papers should follow the guidelines for JSC submissions and should be submitted through Easychair.
The introduction of the paper must explicitly address the following questions in succinct and informal manner:
Make the paper complete (since there is no page limit):
* An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. Automated theorem proving is one of the research areas of interest highlighted in the Journal’s description. The Journal of Symbolic Computation has a 1.030 Impact Factor, according to the last Thompson Reuters Journal Citation Reports (2016).
|