Pages that link to "Item:Q3193031"
From MaRDI portal
The following pages link to Fingerprint Databases for Theorems (Q3193031):
Displaying 9 items.
- Completeness of reference databases, old-fashioned or not? (Q634502) (← links)
- DiscreteZOO: towards a fingerprint database of discrete objects (Q1662198) (← links)
- DiscreteZOO: a fingerprint database of discrete objects (Q2209260) (← links)
- \texttt{Findstat} -- a database and search engine for combinatorial statistics and maps (Q2306449) (← links)
- Zeta types and Tannakian symbols as a method for representing mathematical knowledge (Q2364677) (← links)
- The Heterogeneity of Mathematical Research (Q3305309) (← links)
- Eigenvectors from eigenvalues: A survey of a basic identity in linear algebra (Q5860469) (← links)
- Homomesies on permutations: An analysis of maps and statistics in the FindStat database (Q6181105) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)