User contributions for Schubotz
From MaRDI portal
1 August 2024
- 17:0617:06, 1 August 2024 diff hist −197 Module:Theorems No edit summary
- 17:0517:05, 1 August 2024 diff hist −252 1000+ Theorems project No edit summary Tag: Visual edit: Switched
- 17:0317:03, 1 August 2024 diff hist +34 N Module:Theorems Schubotz moved page Module:Theorems to Module:Theorems current Tag: New redirect
- 17:0317:03, 1 August 2024 diff hist 0 m Module:Theorems Schubotz moved page Module:Theorems to Module:Theorems
- 17:0317:03, 1 August 2024 diff hist +2,900 Module:Theorems No edit summary
- 16:5616:56, 1 August 2024 diff hist +363 ProofWiki ID (P1575) Created claim: formatter URL (P10): https://proofwiki.org/wiki/$1 current
- 16:4516:45, 1 August 2024 diff hist −125 1000+ Theorems project No edit summary
- 16:3816:38, 1 August 2024 diff hist +417 1000+ Theorems project No edit summary
- 16:3716:37, 1 August 2024 diff hist +2,384 N Module:Sparql Created page with "-- This example builds a HTML table with the results of a SPARQL query. -- By default one column is used per SPARQL variable. -- If the second parameter is set to "true", the first two columns are combined into one column. local sparql = require('SPARQL') local mwHtml = require('mw.html') local p = {} function p.buildTableFromSparql(frame) local sparqlQuery = frame.args[1] local combineFirstTwoColumns = trimAndLower(frame.args[2]) == "true" -- PHP function sparql.r..." current
- 16:2916:29, 1 August 2024 diff hist +364 N Module:Theorems Created page with "local sparql = require('SPARQL') -- Load the SPARQL binding local p = {} function p.showFirstValue(frame) local sparqlQuery = frame.args[1] local queryResults = sparql.runQuery(sparqlQuery) -- Use the runQuery method local firstColName = queryResults['head']['vars'][0] return queryResults['results']['bindings'][0][firstColName]['value'] end return p"
- 15:5415:54, 1 August 2024 diff hist +96 1000+ Theorems project →Discussion
- 15:5015:50, 1 August 2024 diff hist +18 1000+ Theorems project →About
- 15:4315:43, 1 August 2024 diff hist +719 N 1000+ Theorems project 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 diff hist +1,895 N MathMod:From falling apples to moving planets 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..." current
16 July 2024
- 21:5421:54, 16 July 2024 diff hist +254 N MathML-intent-property (P1516) Created a new Property: MathML-intent-property current
- 21:5221:52, 16 July 2024 diff hist +341 arity (P1515) Created claim: Wikidata QID (P12): Q1315869 current
- 21:5221:52, 16 July 2024 diff hist +475 N arity (P1515) Created a new Property: arity, fixed number of arguments or operands that a function or operation requires
19 June 2024
- 22:0722:07, 19 June 2024 diff hist +1,019 Documentation of KPI 2024 →Size of the MaRDI database
- 21:4421:44, 19 June 2024 diff hist +243 Documentation of KPI 2024 →KPI
10 June 2024
- 15:5515:55, 10 June 2024 diff hist +121 Help:Mathematical Concepts No edit summary current
- 15:4415:44, 10 June 2024 diff hist −8 Help:Mathematical Concepts No edit summary
- 15:4215:42, 10 June 2024 diff hist +464 N MathML-intent-concept-name (P1511) Created a new Property: MathML-intent-concept-name, The concept name from the core or open MathML intent spec current
- 13:0713:07, 10 June 2024 diff hist +11 Help:Mathematical Concepts No edit summary
- 13:0613:06, 10 June 2024 diff hist +132 Help:Mathematical Concepts No edit summary
- 13:0213:02, 10 June 2024 diff hist +435 N Help:Mathematical Concepts Created page with "Notes about Mathematical Concepts Core concepts: https://github.com/davidcarlisle/mathml-docs/blob/main/_data/core.yml concept: new external identifier MathML-intent-concept-name fixity: new property type item --> items: function, prefix, postfix, nofix, silent character: new property datatype math Related works Formula concepts https://link.springer.com/article/10.1007/s11192-023-04667-9 MOI https://arxiv.org/abs/2002.02712"
5 June 2024
- 16:2416:24, 5 June 2024 diff hist +514 Guided Jupyter Tour - Optimal Transport (Q6230818) Created claim: publication date (P28): 8 November 2022 current
- 16:2216:22, 5 June 2024 diff hist +95 Guided Jupyter Tour - Optimal Transport (Q6230818) Added link to [mardi]: Dataset:6230818
- 16:2116:21, 5 June 2024 diff hist +11 N Guided Jupyter Tour - Optimal Transport Created page with "{{Dataset}}" current
- 16:2016:20, 5 June 2024 diff hist +433 Guided Jupyter Tour - Optimal Transport (Q6230818) Created claim: Internal Project ID (P1507): INF (Q6230805)
- 16:1916:19, 5 June 2024 diff hist +433 Guided Jupyter Tour - Optimal Transport (Q6230818) Created claim: MaRDI profile type (P1460): MaRDI dataset profile (Q5984635)
- 16:1916:19, 5 June 2024 diff hist +433 Guided Jupyter Tour - Optimal Transport (Q6230818) Created claim: community (P1495): Mathematics of Experiment (Q6230804)
- 16:1816:18, 5 June 2024 diff hist +429 Guided Jupyter Tour - Optimal Transport (Q6230818) Created claim: instance of (P31): Jupyter Notebook (Q6230812)
- 16:1816:18, 5 June 2024 diff hist +352 Guided Jupyter Tour - Optimal Transport (Q6230818) Created claim: DOI (P27): 10.25625/AMNQC4
- 16:1716:17, 5 June 2024 diff hist +345 N Guided Jupyter Tour - Optimal Transport (Q6230818) Created a new Item: Guided Jupyter Tour - Optimal Transport, LiveDocs on Optimal Transport.
- 15:3015:30, 5 June 2024 diff hist +383 INF (Q6230805) Created claim: described at URL (P104): https://www.uni-goettingen.de/en/630958.html current
- 15:2915:29, 5 June 2024 diff hist +429 INF (Q6230805) Created claim: instance of (P31): scientific project (Q6205094)
- 15:2915:29, 5 June 2024 diff hist +433 INF (Q6230805) Created claim: community (P1495): Mathematics of Experiment (Q6230804)
- 15:2815:28, 5 June 2024 diff hist +314 N INF (Q6230805) Created a new Item: INF, Project in Mathematics of Experiment
- 15:2315:23, 5 June 2024 diff hist +97 Mathematics of Experiment (Q6230804) Added link to [mardi]: Community:6230804 current
- 15:2215:22, 5 June 2024 diff hist +13 N Mathematics of Experiment Created page with "{{Community}}" current
- 15:2115:21, 5 June 2024 diff hist +433 Mathematics of Experiment (Q6230804) Created claim: MaRDI profile type (P1460): MaRDI community profile (Q6205095)
- 15:2115:21, 5 June 2024 diff hist +2,049 Mathematics of Experiment (Q6230804) Created claim: description (P1459): We witness an era where unprecedented amounts of data are acquired in experimental research in the natural sciences. While new measurement techniques and instruments keep being devised and improved for inexpensive and efficient data acquisition, the current bottleneck is how to extract meaningful information from the resulting vast amounts of such measurements. Typical reasons are that modern measurement technologies often provide such informat...
- 15:2015:20, 5 June 2024 diff hist +429 Mathematics of Experiment (Q6230804) Created claim: instance of (P31): community (Q6038423)
- 15:2015:20, 5 June 2024 diff hist +383 Mathematics of Experiment (Q6230804) Created claim: described at URL (P104): https://www.uni-goettingen.de/en/628179.html
- 15:1915:19, 5 June 2024 diff hist +187 Mathematics of Experiment (Q6230804) Added [en] description: Collaborative Research Center 1456 - Mathematics of Experiment - The challenge of indirect measurements in the natural sciences
- 15:1815:18, 5 June 2024 diff hist +242 N Mathematics of Experiment (Q6230804) Created a new Item: Mathematics of Experiment
4 June 2024
- 09:1809:18, 4 June 2024 diff hist −1 DLMF:4.21.E10 (Q1905) Changed claim: DLMF defining formula (P14): \tan@@{u}\pm\tan@@{v}=\frac{\sin@{u\pm v}}{\cos@@{u}\cos@@{v}} current
1 June 2024
- 15:5615:56, 1 June 2024 diff hist +851 Zeta and Related Functions - 25.11 Hurwitz Zeta Function No edit summary current Tag: Visual edit: Switched
- 15:4115:41, 1 June 2024 diff hist +40,755 N Zeta and Related Functions - 25.11 Hurwitz Zeta Function Created page with "{{DISPLAYTITLE:Zeta and Related Functions - 25.11 Hurwitz Zeta Function}} <div style="width: 100%; height: 75vh; overflow: auto;"> {| class="wikitable sortable" style="margin: 0;" |- ! scope="col" style="position: sticky; top: 0;" | DLMF ! scope="col" style="position: sticky; top: 0;" | Formula ! scope="col" style="position: sticky; top: 0;" | Constraints ! scope="col" style="position: sticky; top: 0;" | Maple ! scope="col" style="position: sticky; top: 0;" | Mathema..."
