Main Page OLD
From MaRDI portal
<twitter account="MardiPortal" height=600 dnt="true" />
Welcome to the MaRDI portal. This page is currently a work in progress.
Search
- DLMF formulae
- swMATH software
New Pages
2 September 2024
- 12:3212:32, 2 September 2024 Overview of the Integration with Other Task Areas (hist | edit) [2,185 bytes] Madhurima (talk | contribs) (Created page with "Category:Task Area Meeting Notes ==Discussion on integration within MaRDI Portal== == TA1== * The current project that TA1 is integrating into the portal is : '''Johnson Solids'''. Any queries regarding the integration were being addressed by the github issue created by TA1. * Next, they were working on adding examples on RDMP to the portal. The examples are structured along the DFG questionnaire on handling research data. There appeared to be some problems wit...")
1 August 2024
- 16:4316:43, 1 August 2024 1000+ Theorems project (hist | edit) [874 bytes] Schubotz (talk | contribs) (Created page with " === About === The spiritual successor of Freek’s [https://www.cs.ru.nl/~freek/100/ list of 100 theorems]. Now with more than 1000 theorems! The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list. This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinscha...")
28 July 2024
- 20:2720:27, 28 July 2024 MathMod:From falling apples to moving planets (hist | edit) [1,895 bytes] Schubotz (talk | contribs) (Created page with "As a pedagogical example, let us consider the famous story of Sir Isaac Newton being inspired to formulate his theory of gravitation by watching the fall of an apple from a tree in the year 1666. We have implemented this within the MathModDB knowledge graph by including a ''Research Field'' named "Pomology" (science of fruits) containing "Gravitational Effects on Fruit" as a specific ''Research Problem''. Currently, there is a choice of two ''Mathemat...")
New Project Pages
5 October 2024
- 21:0721:07, 5 October 2024 Project:QuickStatements (hist | edit) [9,462 bytes] Schubotz (talk | contribs) (Created page with "== Data Gift to Wikidata == This section describes how to export data from the MaRDI portal to Wikidata to make the data better findable for the general public. Example [https://www.wikidata.org/wiki/Property:P11166 EuDML] prposed by [https://www.wikidata.org/wiki/User:Vladimir_Alexiev Vladimir Alexiev] in 2022, which has currently [https://doi.org/10.5281/zenodo.13894124 17] results. # Prepare query for the [https://query.portal.mardi4nfdi.de MaRDI SPARQL endpoint] #...")
12 September 2024
- 22:0022:00, 12 September 2024 Project:MilestonesMeeting/20240923 (hist | edit) [1,241 bytes] Tconrad (talk | contribs) (Created page with " = Planning = Please add some topics that we should discuss at the meeting. * Recurring updates (e.g. updates to Person pages from WikiData)")
10 July 2024
- 20:4520:45, 10 July 2024 Project:LLMQueryService POC (hist | edit) [950 bytes] Tconrad (talk | contribs) (Created page with "This page describes how to install the proof-of-concept LLM-based query service. === Using a OpenStack VM === # Create a new instance # Install necessary libraries ## apt-get update ## apt-get install git python3-pip python3-venv # Clone the repository and follow the rest of the manual ( https://git.zib.de/bzfconra/mardi_llm_bottest )")
