Project:Queries
From MaRDI portal
About
This page assists with the documentation of queries relevant to the development and use of this portal. While the long-term intention is to provide executable versions of these queries, their initial formulation may well be on a conceptual level, with improvements expected, especially as the pertinent data models mature and relevant data are becoming available here.
Sample queries
- Unproven theorems ranked by
- number of papers published about them
- time since first publication
- Proofs for theorem X that do not involve method Y
- Proofs for theorem X that do involve method Y
- Mathematical concepts whose first use in field A predates the first use in field B by time period C
- Sort algorithms ranked by computational complexity
- Integer sequences found in nature
