From MaRDI portal

Basic Info

Attendees: Tim, Moritz, Larissa, Eloi

Protocol by: Eloi


  • Larissa: Meeting with OpenML team to discuss import to the portal.
  • Eloi: Discuss next steps for formula import (ideally have annotations as in DLMF). We should provide the infrastructure that would allow the implementation of algorithms for mathematical formula retrieval (approaches discussed in [1])
  • Moritz:
    • Set portal at readOnly to set up two databases (to fix daily outage problems).
    • Update ElasticSearch index
    • Set up redis server together with docker swarm (for step by step migration to docker swarm).

Organizational Topics

  • Mardi annual meeting in November. TA5-Update on 29. Nov.