Describe the issue

As a (TA4) knowledge engineer, I want to integrate my prototypical, local knowledge graph into the portal, so the information from all KGs will get interconnected.

Comments:

• Needs to be checked with editorial board, how this should be handled.
• How can we ensure sustainability?

As a Researcher, I want to propose changes and additions to the data in knowledge graphs. so I can improve the graph, share my experience and make my work visible.

As an institutional data repository operator, I want to connect my data and software records with models, algorithms, etc. of the MaRDI knowledge graph, so that my datasets can be connected with other entities in a machine-readable and interoperable way.

Interactive notebooks are not currently a part of the MaRDI portal. We could investigate synergies with https://www.uni-goettingen.de/en/665057.html contact via https://cpde.math.uni-goettingen.de/en/members/CLehrenfeld/index.html

LiveDocs is used in the context of SFB 1456 (https://www.uni-goettingen.de/de/628179.html)

KPI for T5:
Number of items. Number of triplets.

As a math scientist, I want to get a list of the existing journals related to my field, so I can get an overview of where I can submit work

AI systems, e.g., ChatGPT-based, could be useful for educational scenarios such as intelligent tutoring systems.

Brainstorming, AI systems could provide users with question-answering and educational dialogues about:

1. the operation of software applications, e.g., computer algebra systems or word processors, answering questions about their menus, ribbons, and domain-specific languages.
2. the contents of one or more loaded notebooks or documents.
3. the contents of remote collections of resources.

AI systems could also provide users with:

4. more advanced interoperability scenarios with loaded resources, e.g., digital mathematics textbooks.

Import metadata from polydb.org describing polyDB collections.

Metadata includes:

• Collection name
• Authors
• Maintainer
• Contributed by
• Optional: Reference publications
• Optional: Source code URL

Entities for each collection, authors and publications must be created.
Define new supporting entities (e.g. polyDB collection)
Import supporting entities from Wikidata

Describe the issue

AI systems, e.g., ChatGPT-based, could recommend next steps of (mathematical) reasoning for users and could suggest revisions to previous document structure and content as users' intents became clearer from combinations of unfolding document content and dialogues.

Describe the issue
(cc @Daniel-Mietchen )

As a researcher, I want to browse/search for all available mathematical research data relating to my problem with a unified frontend, so I can retrieve all information about my problem (algorithms, benchmarks, workflows, …) in one stop.

Describe the issue

The order of search results, e.g. about persons, should be ordered such that person-pages show up first.

See e.g.: https://portal.mardi4nfdi.de/wiki/Special:Search?search=grötschel
-> In that case, the person page of Martin Grötschel should appear first in the list.

Import OpenML dataset information into mardi portal

As a maintainer of a mathematical repository or database, I want to integrate my (meta-)data into the portal | so that I can make my resources findable over the portal.

Comment: needs to be checked with editorial board, how this should be handled.

AI systems, e.g., ChatGPT-based, could co-author or collaboratively edit (mathematical) documents with groups of users.

Such AI systems could be interacted with via conversational user interfaces using auxiliary communication channels, e.g., as "bots" in instant messaging applications.

Also possible is that sidebar widgets could enable Copilot-like systems to be built into computer algebra systems and word processors. Such widgets could support multiple tabs, perhaps multiple groups of tabs, for multiple threads of dialogue to be open between teams of users and AI systems (though some document edits might invalidate some dialogue contexts). Such a sidebar widget could support multiuser chats for team document-authoring scenarios.

Describe the issue

As a general user, I want to locate data from a specific workflow, so that I can re-use it

Have a look at scholia.portal.mardi4nfdi.de and identify the coolest features that should be importet to the mardi portal.

Describe the issue

This is tracked in MediaWikis phabricator.

• Make 'only MathML rendering' interface available on MediaWiki/MediaWiki as a setting (without SVG rendering
• https://phabricator.wikimedia.org/T327386 : Create a Full Coverage Test for TexVC(PHP)
• https://phabricator.wikimedia.org/T329620 : Fix Chem support, to be clarified: partly covered atm when test MMLGenerationTexUtilTest.php is active
• https://phabricator.wikimedia.org/T327388 : Generate and Update reference MathML (from Mathoid/LaTeXML) for the current tests
• https://phabricator.wikimedia.org/T327391 : Fix TexVC parsetree related issues
• https://phabricator.wikimedia.org/T327393 : Implement a comparison algorithm which can compare different MathML outputs for automated testing
• https://phabricator.wikimedia.org/T328752 Implement a comparison algorithm which can compare different MathML for scientific results (to be clarified)
• https://phabricator.wikimedia.org/T327392 : Implement full coverage MathML parsing and mappings

How well does Formulasearch work?

• MaRDI4NFDI/portal-compose#234
• MaRDI4NFDI/portal-compose#228

How is the ranking of search result?

• MaRDI4NFDI/portal-compose#486

How well does natural language queries work?

Integrate https://mathqa.wmflabs.org

How is the search usable?

Other

• MaRDI4NFDI/portal-compose#432

As a general user, I want to access the papers that are stored in zbMath, such that I can include them in my research.

Import metadata from https://cran.r-project.org/ and create corresponding wikibase entities to save the metadata in the MaRDI Knowledge Graph. Include daily update functionality to keep metadata up to date.

Imported metadata includes:

• Title
• Package version
• Date of publication
• Dependencies and imports
• Authors (with ORCID and link Wikidata, when available)
• Maintainer
• License
• Related publications or arXiv preprints
• Related zenodo resources

Hello,

in the MathModDB, on the picture of the KG, there is a property "modelled by/models" which connects research problems with mathematical model. The property would be also important for TA3 from the perspective that with this property we could connect a concrete statistical model which is applied to solve or analyze the given research problem.

Would it be then possible to add this property to the portal (there is no analogue of it on the wikidata)?

This is to address all questions related to integration of TA3 objects in MaRDI Portal. Updates related to integrated items can also be found here.

I would like to use the
Software Heritage ID
to have persistent intrinsic identifiers for software source code.

As a general user, I want to create a profile for my account, so I can find other individuals that work on specific topics

Describe the issue

As a general user (new to the portal), I want to have a simple, brief tutorial, guide, or introduction into the functionality of the portal, so that I can quickly start working with the portal (searching or contributing).

Describe the issue

• merge authors with same identifiers
• for authors without common identifiers: query wikidata for identifiers to merge on

Describe the issue
see MaRDI4NFDI/portal-compose#338

As a general user, I want to be able to create an account and login to the system, so I can contribute my data to the portal.

AI systems, e.g., ChatGPT-based, could verify the reasoning and argumentation in (mathematical) documents. Users would be able to verify their own reasoning and one another's reasoning in documents with the help of AI systems.

For mathematical reasoning, the verification of reasoning for users could utilize mathematical knowledge search and retrieval components.

For non-mathematical reasoning, during document authoring, perhaps mixed-initiative multimodal dialogue systems could communicate visually by underlining or otherwise highlighting content which could be discussed with AI systems. These discussions between humans and AI systems could result in producing structured margin notes or endnotes in documents.

As an external developer for the MARDI portal, I want to configure individual views for the presentation of data types (eg. Algorithms...) to the user, so I can ensure my data has an optimal value for the MARDI portal user

Hello,

this issue is connected to the issue #40. We would like to have a property which in a KG connects "Research Problem" to a "Statistical model". One option we could use is as described in #40. Another option is to use property "represented by". The latter property has its homonymic analogue on the wikidata , but this property has another concept in mind to that the one that we need (it stays for " ..person or agency that represents or manages the subject" but we need it to be in the sense ".. conveys the information in the subject and enables intelligent-like decision based on statistical model").

It is possible to have the same property "represented by" but with a different semantic meaning as a property on portal/wikidata?

Thank you.

Describe the issue

This project is part of MaRDI TA1 and the OSCAR project of the SFB-TRR 195.

The Johnson solids are a set of 92 polytopes. A vertex description of these has been notoriously hard to obtain, especially one that can be used by software, as many of these cannot be realized over the rational numbers. Now such a description is available at zenodo and it should be made findable via the portal. I have identified the following subtasks:

• Add description of project to the MaRDI RDM examples page
• Link dataset in wikipedia page
• Add links to single files to the single files of the Johnson solids in both wikipedia and wikidata. Fix bugs in these pages if there are any.

Does that sound reasonable?
cc @zkgeiselmann @alexej-jordan @antonydellavecchia