New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make a Project Proposal / Schedule #81

Open

tkw1536 opened this issue May 20, 2022 · 1 comment

Labels

priority

Collaborator

tkw1536 commented May 20, 2022

We should organize new and existing issues, and come up with a (somewhat concrete) plan on what to do with MathDataHub.

Some minor ideas:

@katjabercic had a vision in mind where we have a "portal for discrete objects" with a couple of very well-interlinked objects
lots of features (querying etc) that are easy to do in our data model, but have not been implemented (to be made into distinct issues)
@kohlhase suggested if we can be concrete enough and gain external collaborators it might be worthwhile to actually apply for funding with e.g. the EU

We should afterwards present the schedule (and have discussions) in the KWARC group and maybe elsewhere.

tkw1536 changed the title ~~Make a Project Proposal~~ Make a Project Proposal / Schedule

katjabercic added the priority label

katjabercic pinned this issue

Contributor

katjabercic commented Jun 6, 2022 •

edited

Loading

With the following steps, we can wrap up the new version.

Start with describing the new data model.
Import at least one more dataset, as a use case for cross-dataset querying (see the issue below for a dataset suggestion).
Implement cross-dataset querying.

We can aim towards a portal for symmetric discrete objects as a more long term goal.

In addition to the core set of features listed above, we should also work on the following.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment