Project:Queries: Difference between revisions
From MaRDI portal
| Line 7: | Line 7: | ||
* Computational concepts included in K-12 algebra curricula | * Computational concepts included in K-12 algebra curricula | ||
* Counterexamples for assumption X | |||
* Data repositories suitable for mathematical data of type X | * Data repositories suitable for mathematical data of type X | ||
* Integer sequences found in nature | * Integer sequences found in nature | ||
Revision as of 23:01, 7 November 2022
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 a subset of such queries, their initial formulation may well be on a conceptual level, with improvements expected over time, especially as the pertinent data models mature and relevant data are becoming available here.
Sample queries
Let's sort them alphabetically for now.
- Computational concepts included in K-12 algebra curricula
- Counterexamples for assumption X
- Data repositories suitable for mathematical data of type X
- Integer sequences found in nature
- Mathematical concepts whose first use in field A predates the first use in field B by time period C
- Proofs for theorem X that do involve method Y
- Proofs for theorem X that do not involve method Y
- Sets that contain themselves
- Sort algorithms ranked by computational complexity
- Sort algorithms ranked by computational complexity
- Unproven theorems ranked by number of papers published about them
- Unproven theorems ranked by time since first publication
