Wolfram Data Repository

Immediate Computable Access to Curated Contributed Data

Metamath Report

Source Notebook

Contributions to the Set.mm database

Details

Data is produced by running the report script on the set.mm database file

Examples

Basic Examples

In[1]:=
ResourceData[\!\(\* TagBox["\"\<Metamath Report\>\"", #& , BoxID -> "ResourceTag-Metamath Report-Input", AutoDelete->True]\)]
Out[32]=

Visualizations (3) 

Number of contributions by people:

In[33]:=
ResourceData[\!\(\* TagBox["\"\<Metamath Report\>\"", #& , BoxID -> "ResourceTag-Metamath Report-Input", AutoDelete->True]\)][ BarChart[Take[Sort@Counts[#], -20], BarOrigin -> Left, ChartLabels -> Automatic, ImageSize -> Large] &, "Person"]
Out[33]=

Total number of contributions by year:

In[34]:=
ResourceData[\!\(\* TagBox["\"\<Metamath Report\>\"", #& , BoxID -> "ResourceTag-Metamath Report-Input", AutoDelete->True]\)][ Counts/*TimeSeries/*(TimeSeriesAggregate[#, "Year"] &)/* DateListPlot, "Date"]
Out[34]=

Number of contributions to different parts of mathematics by year:

In[35]:=
ResourceData[\!\(\* TagBox["\"\<Metamath Report\>\"", #& , BoxID -> "ResourceTag-Metamath Report-Input", AutoDelete->True]\)][All, {DateObject[#Date, "Year"], #Part} &][ GroupBy[First]/*KeySort, Map[Last]/*Counts][ BarChart[#, ChartLayout -> "Stacked", ChartStyle -> "Pastel", Frame -> True, FrameTicks -> {{Automatic, None}, {MapIndexed[{First[#2], DateValue[#1, "YearShort"]} &, Keys@#], None}}, ChartLegends -> DeleteDuplicates[Join @@ Keys@Values[#]]] &]
Out[35]=

Wolfram Research, "Metamath Report" from the Wolfram Data Repository (2022)  

Data Resource History

  • Date Created:

Source Metadata

Data Downloads

Publisher Information

  • Prepared for the Wolfram Data Repository By: Nikolay Murzin
  • Publisher of Record: Wolfram Research