Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact for further guidance.

Welcome to the conference service of ICMSMTE2014

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.

Furthermore you can consult the Howtos.

Name:ICMS 2014 Session: Software for Mathematical Theory Exploration
Description:In recent years, research groups all over the world have started to develop software for supporting the process of exploring mathematical theories in a structured wav. (Other names for this area are: mathematical knowledge management, formal mathematics.) Progress in this area is based on advances in automated reasoning and improvements in software and web technology. Research in this area has the potential to revolutionize the way how mathematical research, quality control in mathematics, archiving and dissemination of mathematical knowledge, application of mathematics and education in mathematics will be done in the future. URL of homepage:
PC Chairs:Chee Yap
Conference flow:Abstract Submission: May 21, 2014 23:59 CEST,
Paper Upload: May 21, 2014 23:59 CEST,
Assignment of Reviewers: May 21, 2014 23:59 CEST,
Review: May 21, 2014 23:59 CEST,
Decision: May 21, 2014 23:59 CEST,
Final: May 21, 2014 23:59 CEST

  • View papers

    View papers

  • Contact PC Chair

    Contact PC Chair

  • Submit abstract

    Submit abstract