Open Science Research Excellence

ICICMMT 2020 : International Conference on Intelligent Computer Mathematics and Mathematical Theories

London, United Kingdom
July 23 - 24, 2020

Call for Papers

ICICMMT 2020 : International Conference on Intelligent Computer Mathematics and Mathematical Theories is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Intelligent Computer Mathematics and Mathematical Theories. The conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interest for submission include, but are not limited to:
  • Intelligent computer mathematics
  • Automated theorem proving in computer algebra systems
  • Computer algebra in theorem proving systems
  • Adding reasoning capabilities to computer algebra systems
  • Adding computational capabilities to theorem proving systems
  • Theory, design and implementation of interdisciplinary systems for computer mathematics
  • Case studies and applications that involve a mix of computation and reasoning
  • Case studies in formalization of mathematical theories
  • Representation of mathematics in computer algebra systems
  • Theory exploration techniques
  • Combining methods of symbolic computation and formal deduction
  • Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems
  • Homotopy type theory
  • Infrastructure for mathematical services