ICMS 2020, General Session

The International Congress on Mathematical Software 2020 wil take place online.

The format for the sessions, such is this one, is as follows:

  • speakers deliver their presentations as pre-recorded videos (20 min max)
  • these video files (100 MB max) need to be uploaded until July 11th, 2020 (any time zone); the upload address will be communicated via email
  • participants are expected to view the viedos before the session
  • the live part of the session is meant for Q&A only (at most 10 min per presentation)
    • The live part of the session will be carried out with the software BigBlueButton provided by TU Braunschweig. Every session will get their own BigBlueButton room.

    Additionally there will be a slack channel for this session at [TBA] for the duration of the entire conference.

    All times below are CEST on Thursday, July 16, 2020.

    14:00-14:30

    Speaker
    Affiliation
    Co-authors
    Title
    Werner
    MPI Magdeburg
    Benner
    MORLAB - A Model Order Reduction Framework in MATLAB & Octave
    Ahara
    Meiji U
     
    Dynamic Geometry System Which Does Not Have Construction Procedure
    Nakamura
    Meiji U
     
    A Flow-based Programming Environment for Geometrical Construction

    15:50-16:20

    Speaker
    Affiliation
    Co-authors
    Title
    Terui
    U Tsukuba
    Koshikawa, Mikawa
    Solving System of Nonlinear Equations with the Genetic Algorithm and the Newton’s Method
    Hamada
    Nihon U
    Tamura, Nakagawa
    Creating multiple choice exercises with CAS
    Grasegger
    RICAM
    Legerský
    FlexRiLoG - A SageMath Package for Motions of Graphs

    16:30-17:10

    Speaker
    Affiliation
    Co-authors
    Title
    Burr
    Trent U
    Quinby, Kim, Kang, Pollanen, Reynolds
    Markov Transition Matrix Analysis of Mathematical Expression Input Models
    Abbott
    U Genova
     
    Certifying Irreducibility of Polynomials in Z[x]
    Monagan
    CECM, Simon Fraser
    van der Hoeven
    Implementing the Tangent-Graeffe Root Finding Algorithm
    Hellström
    Mälardalen University
     
    A content dictionary for in-object comments