Metamath Report

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[ ResourceObject[ CloudObject[ "https://www.wolframcloud.com/obj/nikm/DeployedResources/Data/\ Metamath-Report"]]]$

Out[1]=

Visualizations (2)

Number of contributions by people:

In[2]:=

$ResourceData[ ResourceObject[ CloudObject[ "https://www.wolframcloud.com/obj/nikm/DeployedResources/Data/\ Metamath-Report"]]][ BarChart[Take[Sort@Counts[#], -20], BarOrigin -> Left, ChartLabels -> Automatic, ImageSize -> Large] &, "Person"]$

Out[2]=

Number of contributions to different parts of mathematics by year:

In[3]:=

$ResourceData[ ResourceObject[ CloudObject[ "https://www.wolframcloud.com/obj/nikm/DeployedResources/Data/\ Metamath-Report"]]][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[3]=

External Links

Source Metadata

Publisher Information

Contributed By: Nikolay Murzin