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 ICMS2014_base

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

List contained tracks List contained tracks

This conference is an umbrella-conference. With this action you can view all conferences that have been assigned as a child-conference to this conference.

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.

Open the overview of your actions in a new page.

Furthermore you can consult the Howtos.

Name:4th International Congress of Mathematical Software
Description:Mathematics has a wide variety of branches, from Algebra to Analysis, from Geometry to Number Theory, and many more. One theme across all these branches is the notion of effectivity: mathematical theories often predict the existence of objects with certain properties and it might be important to find such objects. Conversely, to formulate conjectures and new mathematical theories, we may need to explore the space of such objects, and use them to prove new theorems. Mathematical software is the common tool in such quests. Mathematics also has increasing overlap with many mathematical disciplines such as Computer Science and the emerging area of Computational Sciences and Engineering. A key factor in this convergence of mathematical disciplines is the idea of computation, as manifested in the form of mathematical software in such disciplines. We in the International Conference of Mathematical Software believe that the appearance of mathematical software is one of the most important new development in mathematics, and this phenomena should be studied as a coherent whole. We hope this conference can serve as the main forum for mathematicians, scientists and programmers who are interested in development of mathematical software. The conference will be held during 5th to 9th August 2014 in Seoul, Korea URL of homepage:

  • View tracks

    View tracks

  • Contact PC Chair

    Contact PC Chair