Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • T thesis-projects
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 47
    • Issues 47
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • KWARC
  • thesis-projects
  • Issues
  • #15

Closed
Open
Created Apr 20, 2017 by Michael Kohlhase@mkohlhaseOwner

program persistence layer in MathDataHub

In the OpenDreamKit project our colleagues developed the pypersist package that allows programmers to (easily) make their results persistent. We should have a more semantic version of this as part of MathDataHub, so we can get at interesting data and index them.

An example is a polynomial factorization service (with caching) This is a service that just caches factorizations and looks them up. Details at https://github.com/KWARC/mws/issues/102 I really think that (if done right) this would have quite an impact.

But the general project is much greater.

Edited Feb 22, 2021 by Michael Kohlhase
Assignee
Assign to
Time tracking