| Application of Jordan's lemma | Y20DZW8WM4 | example | open | Wikipedia Jordan's lemma#X89V |
| Application of ranking SVM | WZCR4SPYM3 | example | open | Wikipedia Ranking SVM#CFX1 |
| Application of regression-kriging | XG9C0M4AAX | example | open | Wikipedia Regression-kriging#BEI6 |
| Application of the \(7/8\) theorem | YH9MZ6GKEQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15559#TBF3 |
| Application of the history index model | 87NEARCS1H | example | open | Wikipedia History index model#RSMN |
| Application of the rational root theorem | XQM5TGFPQR | statement | open | Wikipedia Square root of 2#Y6PM |
| Application of the spectral Favard theorem | EXH20M4E1P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08568#FPUA |
| Application of the theorem | T0FTJKFSBE | statement | open | Wikipedia Stein's method#2A2M |
| Application of the work energy theorem | 1SN906JYSN | statement | open | Wikipedia Projectile motion#SRTK |
| Application to Bieberbach conjecture | 4M1Z2NEP6C | statement | open | Wikipedia Loewner differential equation#3RZM |
| Application to Bieberbach conjecture | J1DBDAK810 | statement | open | Wikipedia Nevanlinna's criterion#DAOD |
| Application to circuit lower bounds – Kannan's theorem | ZE0FTR9TXG | statement | open | Wikipedia Karp–Lipton theorem#CD5S |
| Application to extensiveness of power law potential | XGDPT7PT9G | statement | open | Wikipedia Shortcut model#B1NI |
| Application to Roth’s theorem | MVJCJ20KZJ | statement | open | Wikipedia Roth's theorem on arithmetic progressions#GSCU |
| Application to smooth Riemann mapping theorem | HQJWRKCXSS | statement | open | Wikipedia Sobolev spaces for planar domains#C1WF |
| Application to the area expansion | SM7HDET82H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02531#M99E |
| application to the calculation of multiple integrals | 4XQZD95BZP | unknown | open | mathlib_undergrad Numerical Analysis > Numerical integration > application to the calculation of multiple integrals |
| Application to the Erdős–Szekeres theorem | X6NCCJ4FG6 | statement | open | Wikipedia Robinson–Schensted correspondence#UKNJ |
| Application to the four colour theorem | H3AMTACFXH | statement | open | Wikipedia Kempe chain#MC8J |
| Application to the isoperimetric inequality | 2WQRZ7B00X | statement | open | Wikipedia Wirtinger's inequality for functions#LVQM |
| Application to the law of cosines | FYNH2F64F7 | statement | open | Wikipedia Dot product#9UKZ |
| Application to the same signing law | R82CN99T79 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#TZEX |
| Application with Bayes’ Theorem | YMQYSKPRFS | statement | open | Wikipedia Classification rule#KSBI |
| application, of hypothesis or theorem | CQ16RXJFNW | concept | open | hott_book index/A.11/application-of-hypothesis-or-theorem |
| Application: Moser stability theorem | RRWV7JGE84 | statement | open | Wikipedia Moser's trick#2NJH |
| Application: Newton's second law | VVJMQFAZPQ | statement | open | Wikipedia Impulse (physics)#ATKS |
| Application: the Hahn–Banach theorem | 57GA6Z4S4G | statement | open | Wikipedia Tychonoff's theorem#56LF |
| Application: the Seifert–van Kampen theorem | CR9QBX7VK4 | statement | open | Wikipedia Pushout (category theory)#7BVQ |
| Applications | 10C8F2RRFQ | example | open | Wikipedia Zarankiewicz problem#5EVS |
| Applications | 10XQXYY078 | example | open | Wikipedia Matsumoto's theorem (group theory)#HTJY |
| Applications | 10YM728CNP | example | open | Wikipedia Wasserstein metric#IZZZ |
| Applications | 1179126JH1 | example | open | Wikipedia Kaniadakis exponential distribution#2IQ0 |
| Applications | 11KVATMP54 | example | open | Wikipedia Olog#Y5FC |
| Applications | 124S3SBDXY | example | open | Wikipedia Polytope#GM2B |
| Applications | 12M3VC5BV1 | example | open | Wikipedia Non-Archimedean ordered field#Y9VP |
| Applications | 138DCS7DHF | example | open | Wikipedia Kullback–Leibler Upper Confidence Bound#5KZE |
| Applications | 1397SW31FE | example | open | Wikipedia Microplane model for constitutive laws of materials#YH12 |
| Applications | 13KN26M4H5 | example | open | Wikipedia Total internal reflection#WXGZ |
| Applications | 1421DW3E43 | example | open | Wikipedia Split (graph theory)#CK20 |
| Applications | 14ZCES4V95 | example | open | Wikipedia Axiom of finite choice#SVEX |
| Applications | 1596ZSM41T | example | open | Wikipedia Shearlet#J47C |
| Applications | 15GVP0YF12 | example | open | Wikipedia Rainbow matching#QCZI |
| Applications | 15X5TFT9R6 | example | open | Wikipedia Fundamental vector field#GXTC |
| Applications | 1969Y1W07V | example | open | Wikipedia Principle of maximum entropy#0BHI |
| Applications | 19D5ZPQXES | example | open | Wikipedia Situation theory#P9YF |
| Applications | 19HRJJVHV4 | example | open | Wikipedia Cauchy–Schwarz inequality#I5QV |
| Applications | 19KVD8SBFN | example | open | Wikipedia Belief aggregation#75O6 |
| Applications | 19VBQNECNW | example | open | Wikipedia Cheap talk#VF6Z |
| Applications | 1A69614EZX | example | open | Wikipedia Hamilton–Jacobi equation#X0HZ |
| Applications | 1AZ7J8NJVD | example | open | Wikipedia K-statistic#Q82M |
| Applications | 1B5J7GRP82 | example | open | Wikipedia Authority distribution#93QM |
| Applications | 1BF3R3PH6M | example | open | Wikipedia Theory of functional connections#SEN8 |
| Applications | 1BRDAFGJD5 | example | open | Wikipedia Log-t distribution#8C40 |
| Applications | 1BV59Q9DVR | example | open | Wikipedia Peridynamics#OZRL |
| Applications | 1DPFP5SQPC | example | open | Wikipedia Fisher's noncentral hypergeometric distribution#UAZB |
| Applications | 1DS89MJW9X | example | open | Wikipedia Box spline#8E8V |
| Applications | 1E500TB0T1 | example | open | Wikipedia Gamma function#EHQI |
| Applications | 1E64B9VMKF | example | open | Wikipedia Fitting subgroup#IYBQ |
| Applications | 1EA5RQT1YW | example | open | Wikipedia Nonlocal operator#1CJJ |
| Applications | 1EEJE3XJYS | example | open | Wikipedia Random effects model#53MY |
| Applications | 1EGKV048FQ | example | open | Wikipedia Hungarian algorithm#QU40 |
| Applications | 1FW0R1VYCQ | example | open | Wikipedia Schur functor#VOOS |
| Applications | 1G608RY6NC | example | open | Wikipedia Tannakian formalism#WQWP |
| Applications | 1GKJC84F7G | example | open | Wikipedia Decision Linear assumption#SXHG |
| Applications | 1H9VQ3FQC1 | example | open | Wikipedia Smoothed finite element method#9BKF |
| Applications | 1JKEPK1FF8 | example | open | Wikipedia Friction#6Z9W |
| Applications | 1JRV22PMJM | example | open | Wikipedia Huffman coding#V7LJ |
| Applications | 1JXHQEZR28 | example | open | Wikipedia Coefficient of variation#QTRL |
| Applications | 1KNB1Z1MB8 | example | open | Wikipedia Complete information#RDXN |
| Applications | 1KVRR998FA | example | open | Wikipedia Poisson-Dirichlet distribution#3X6P |
| Applications | 1KZPTNKDFT | example | open | Wikipedia Random matrix#MWQ2 |
| Applications | 1M042ZBHPF | example | open | Wikipedia Book embedding#XIOC |
| Applications | 1MFVT3F1JN | example | open | Wikipedia Partial fractions in complex analysis#VPEO |
| Applications | 1MQPJKFKZX | example | open | Wikipedia Linear map#ZM3G |
| Applications | 1N5TJM3T28 | example | open | Wikipedia Salem–Spencer set#TBAL |
| Applications | 1NN8Z0QT0E | example | open | Wikipedia Fourier shell correlation#EEDI |
| Applications | 1NYSJXW8EM | example | open | Wikipedia Psephology#KE2Y |
| Applications | 1P111YW2YD | example | open | Wikipedia Continuous functional calculus#5UM2 |
| Applications | 1P1B00MQJP | example | open | Wikipedia Frank-Kamenetskii theory#MTKA |
| Applications | 1Q038MDQEK | example | open | Wikipedia All-or-nothing transform#AQNV |
| Applications | 1QSCT3KBW5 | example | open | Wikipedia Ingrid Daubechies#2E7A |
| Applications | 1R63V08X2F | example | open | Wikipedia Series multisection#SBL7 |
| Applications | 1RJ8M9RSRC | example | open | Wikipedia Neumann boundary condition#RV4W |
| Applications | 1RNWW656YK | example | open | Wikipedia Group cohomology#Q8SA |
| Applications | 1S8X5GESK2 | example | open | Wikipedia Impossible world#5DDN |
| Applications | 1SHEF0EZT6 | example | open | Wikipedia Heavy-light decomposition#34XK |
| Applications | 1SVB8AX7F9 | example | open | Wikipedia Berk-Jones test#301F |
| Applications | 1SY2RPFN1A | example | open | Wikipedia Floor and ceiling functions#A62X |
| Applications | 1T79T468JV | example | open | Wikipedia Support vector machine#1M54 |
| Applications | 1TB773AZY6 | example | open | Wikipedia BRS-inequality#BWOU |
| Applications | 1TMM5CXSA9 | example | open | Wikipedia Three-valued logic#VX5P |
| Applications | 1TPB2QEAGA | example | open | Wikipedia Onsager–Machlup function#6BJI |
| Applications | 1TPY416Z7Q | example | open | Wikipedia Derived algebraic geometry#94F2 |
| Applications | 1TZH5BZS31 | example | open | Wikipedia Local differential privacy#RTF9 |
| Applications | 1V5C723HH3 | example | open | Wikipedia John ellipsoid#OGT1 |
| Applications | 1WRKHKG7X5 | example | open | Wikipedia Heat transfer#MO3S |
| Applications | 1WTDRNFQY8 | example | open | Wikipedia Bias–variance tradeoff#9KUK |
| Applications | 1XFNF4F1P0 | example | open | Wikipedia Matrix of ones#NKHA |
| Applications | 1YG6KHYG1J | example | open | Wikipedia Bilevel optimization#P4T5 |
