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 ICMSTriDecomp2014

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, design and practice in triangular decompositions of polynomial systems
Description: While the subject of triangular decomposition is primarily rooted in polynomial algebra and differential algebra, it has developed, through its applications, connections with areas like scientific computation, algebraic geometry, quantifier elimination. Moreover, software implementation of triangular decomposition are becoming more and more accessible and the range of the range of the problems that they can solve keep increasing in terms of difficulty and specification. The objectives of the proposed workshop are twofold. First, we hope that potential users of solvers based on triangular decomposition could learn about these tools and interact with their developers. Secondly, we wish to create a synergy between the developers. Indeed, for this latter point we note that implementation techniques of triangular decomposition are a research topic on its own, at the intersection of various subjects like asymptotically fast algorithms for polynomial arithmetic, symbolic-numeric computation, parallel and distributed processing URL of homepage:
PC Chairs:Chee Yap
Conference flow:Abstract Submission: May 17, 2014 23:59 CEST,
Paper Upload: May 22, 2014 23:59 CEST,
Assignment of Reviewers: May 22, 2014 23:59 CEST,
Review: May 27, 2014 23:59 CEST,
Decision: May 28, 2014 23:59 CEST,
Final: May 30, 2014 23:59 CEST

  • View papers

    View papers

  • Contact PC Chair

    Contact PC Chair

  • Submit abstract

    Submit abstract