We present a list of mathematical results for future implementation in a digital Open Mathematics Knowledge Base.
Support the authors with ResearchCoin