Main Page OLD

<twitter account="MardiPortal" height=600 dnt="true" />

Welcome to the MaRDI portal. This page is currently a work in progress.

Search

• DLMF formulae
  • that contain sine and tangent functions
  • that depend indirectly on the gamma function
• swMATH software

New Pages

2 September 2024

• 11:3211: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

• 15:4315: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

• 19:2719: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

28 October 2024

• 14:2714:27, 28 October 2024 Project:MySQL (hist | edit) [1,479 bytes] Larissa (talk | contribs) (Created page with "== Heading text == How to use the slow query log Set the slow query log to "on", by doing one of these things: For a permanent solution, edit `my.cnf` and set: slow_query_log = 1 slow_query_log_file = /var/lib/mysql/slow.log long_query_time = 1 #your time in seconds, the lower it is, the more will be logged For a temporary solution, log in to mysql as root and execute: SET GLOBAL slow_query_log = 'ON'; SET GLOBAL slow_query_log_file = '/var/lib/mysql/slow.log'; SET GLOBA...")

22 October 2024

• 12:2412:24, 22 October 2024 Project:Treffen-T4-20241022 (hist | edit) [1,141 bytes] Madhurima (talk | contribs) (Created page with "'''Attendees''': Björn Schembera (University of Stuttgart), Burkhard Schmidt, Christine Biedinger, Madhurima Deb (FIZ), Eloi Ferrer (ZIB) over zoom meeting Category:Task Area Meeting Notes ==Discussion on integration within MaRDI Portal== *They are currently doing some mock-ups or experiments and once they start the mass data import, they are willing to open the git hub issue. *They currently have 100 models and around 1000 entities, for some of which they mainta...")

14 October 2024

• 10:4810:48, 14 October 2024 Project:RerunUpdate (hist | edit) [1,156 bytes] Larissa (talk | contribs) (Created page with "Test") originally created as "Project:UpdateIndex"

Documentation Overview

• Project:Documentation Overview