Math 2.0

Inventory: other names

The rows of the inventory whose names start with a character that is not a letter of A to Z. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 26501–26600 of 26896.

NameIdKindOutcomeSources
\lean{CoherentCDHGV4Y1BSdefinitionrecord (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.23143#7V29
\lean{dichotomy1ECG0X6DSZstatementrecord (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.23143#FFTG
\lean{hg\_modelVR0710ETXQstatementrecord (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.23143#MYYW
\lean{Label}, \lean{Path}, \lean{step}, \lean{FV5TZ30KKQ1definitionrecord (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.23143#WI1V
\lean{PSetCF24Z2ZG5Qdefinitionrecord (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.23143#3G14
\lean{replacementEMJ60CK76Zstatementrecord (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.23143#OYNJ
\lean{rule8R4YNZCE10definitionrecord (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.23143#5F6I
\lean{Rule.coherentPWX5ZKBRHMstatementrecord (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.23143#SKJX
\lean{Unb}, \lean{Reach}, \lean{G$\nu$BJ5CS2MB5Fdefinitionrecord (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.23143#LZJK
\lean{V\_model8MCS4CMXTWstatementrecord (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.23143#48SZ
\lean{Vl\_model4GX28D5AS7statementrecord (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.23143#C64J
\lean{worldly\_ruleND89C9XWV0statementrecord (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.23143#5O5R
\LLPS{$k$} ProblemNFCXQ78035definitionrecord (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.26769#84K5
\LL{$k$} Problem3BB07W83V5definitionrecord (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.26769#0T5R
\lpfp transition dynamicsZFKZDPZ992statementrecord (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.38132#ZYDN
\Luczak--Mieczkowska--\v{S}ileikisW5X0WXXWXZconjecturerecord (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.16203#2C49
\MModify{Analytical shadowing of a guiding orbit of transition mapsJY81906K4Kstatementrecord (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.16404#6P5U
\mycite{Machina1982} preference functional on abstract Wiener spaceYCC7R0AVNDstatementrecord (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.25026#W8IE
\myindex{Cauchy--Schwarz inequality}TKCFQN4BW1statementopenlebl_ra ch-several-vars-ders.tex#thm-1
\myindex{Cauchy--Schwarz inequality} \footnote{ Sometimes it is called the \myindex{Cauchy--Bunyakovsky--Schwarz inequality}. \href{https://en.wikipedia.org/wiki/Hermann_Schwarz}{Karl Hermann Amandus Schwarz} (1843--1921) was a German mathematician and \href{https://en.wikipedia.org/wiki/Viktor_Bunyakovsky}{Viktor Yakovlevich Bunyakovsky} (1804--1889) was a Ukrainian mathematician. What we stated should really be called the Cauchy inequality, as Bunyakovsky and Schwarz provided proofs for infinite-dimensional versions.}JB3MVXSQQ9statementopenlebl_ra ch-metric.tex#lemma-1
\myindex{Chebyshev's equation of order $p$}RREWZPKHVVexerciseopenlebl_diffyqs ch-power-ser.tex#exercise-23
\myindex{Chebyshev's equation of order 1}B1ZWWX7MGNexerciseopenlebl_diffyqs ch-higher-order-ode.tex#exercise-6
\myindex{Cousin II}Y9ZS27DJ6Zdefinitionopenlebl_scv scv.tex#defn-22
\myindex{Cousin I}CGY132Q3BAdefinitionopenlebl_scv scv.tex#defn-21
\myindex{Fubini for sums}B7269BCEJHstatementopenlebl_ra ch-approximate.tex#thm:fubiniforsums
\myindex{Hartogs triangle}3H26NX9WK2exerciseopenlebl_scv scv.tex#exercise:hartogstriangle
\myindex{Hermite's equation of order 2}3M70E3GC28exerciseopenlebl_diffyqs ch-higher-order-ode.tex#exercise-7
\myindex{Leibniz integral rule}X93RQK3M10statementopenlebl_ra ch-one-dim-ints-sv.tex#thm-1
\myindex{Local parametrization theorem}V3S5AK4FVSstatementopenlebl_scv scv.tex#localparthm
\myindex{Mertens' theorem}\footnote{Proved by the German mathematician \href{https://en.wikipedia.org/wiki/Franz_Mertens}{Franz Mertens} (1840--1927).}P92FEWKC28statementopenlebl_ra ch-seq-ser.tex#thm-2
\myindex{Poincar\'e lemma}84YRVGYQGVstatementopenlebl_ra ch-one-dim-ints-sv.tex#thm-2
\myindex{Puiseux}SNVRYEJ1A4statementopenlebl_scv scv.tex#thm-25
\myindex{Riemann extension theorem}HFWVKWY0ZVstatementopenlebl_scv scv.tex#thm-10
\myindex{Weierstrass $M$-test}6HCVPZDJQ9statementopenlebl_ra ch-approximate.tex#thm:weiermtest
\myindex{Weierstrass division theorem}V95GNMCBH1statementopenlebl_scv scv.tex#thm-22
\myindex{Weierstrass preparation theorem}HV2MQQ6EJ5statementopenlebl_scv scv.tex#thm-21
\nameref{cor:genB56G4KFWYQstatementrecord (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 2402.05875#7DWV
\nameref{thm:new_no_finM43Y4S7SCFstatementrecord (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 2402.05875#8ZIN
\nameref{thm:new_S_barJTVSMBEH2Cstatementrecord (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 2402.05875#NANT
\OzII wins in both accuracy and speed, and the gap widens with precision9K8YQ275WGunknownopenarXiv 2609.29554#53DO
\parencite[Thm. 2.7]{pritchardLinearQuadraticControl1987ZNQJZ83CP5statementrecord (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.25431#8SYO
\probname{(Un)DirectedHamiltonicityMAJGMWHJC6problemrecord (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.38436#Y23M
\probname{0-1-ILPFQN1QMWXQQproblemrecord (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.38436#QICK
\probname{3-SatPM7Z2NZ9ENproblemrecord (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.38436#5DRV
\probname{3DMatchingZH0CFHBBBYproblemrecord (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.38436#5878
\probname{CliqueWS00ARE8HVproblemrecord (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.38436#K8BS
\probname{CliqueCover23DBNHKCWCproblemrecord (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.38436#IUWB
\probname{CNFSatY0CTZBKVKYproblemrecord (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.38436#XC49
\probname{ColorabilityK9VCR272M1problemrecord (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.38436#XFQN
\probname{DominoGS193GMBCSproblemrecord (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.38436#QM9F
\probname{ExactCover9XAXTB84BPproblemrecord (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.38436#BC9Y
\probname{ExactTupleCoverMAQJ74VFFPproblemrecord (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.38436#2FXU
\probname{FeedbackArcSetBNVZJV6DMXproblemrecord (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.38436#WD06
\probname{FeedbackVertexSetVP89SPF0ZMproblemrecord (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.38436#MTJQ
\probname{HittingSetW1QX437MTRproblemrecord (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.38436#C0DN
\probname{MaxCutC60TMJS8FMproblemrecord (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.38436#DWRA
\probname{SetCoveringSFWWGV36E5problemrecord (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.38436#L37S
\probname{SetPackingBWVYQZF8XAproblemrecord (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.38436#GSHS
\probname{SteinerTreeMJERD2ABR5problemrecord (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.38436#HQRZ
\probname{VertexCoverF2J967V2VFproblemrecord (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.38436#M25V
\protect{*{Lemma 3.29EK0JJQHE6statementrecord (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.30575#KX9N
\protect{*{Section 3}, *{Proposition 7YQ7NZYM77Estatementrecord (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.30575#0086
\protect{*{Theorem 1.1NR409RK6GXstatementrecord (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.30575#T5IQ
\protect{Reiser--WraithAV0AAF44YVstatementrecord (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.38126#QUE6
\protect{SperançaPGCPJDT715statementrecord (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.38126#T7HK
\PWL functionGA6JBTWDQJdefinitionrecord (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.28794#WHRI
\qm{Reorganization of operatorsJS3HHPCZB5statementrecord (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 1803.10042#TJEH
\redhead{Recovery pressureWEJXFK047Mdefinitionrecord (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.05504#IK72
\revision{Sequential local updates and parallel minibatchingQP5X8TMBVZstatementrecord (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.12641#8PUE
\rev{Compact} resolvent7K2E38Q5DHdefinitionrecord (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.01855#B32O
\rev{Haar uniqueness and dense orbits3CNP496P4Jstatementrecord (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.27204#1G03
\rm It$\hat{o}$-Michler4CKP4M9ZQKstatementrecord (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.26471#KUGS
\S 1 Proposition 3.2Z5SZRD2N67statementrecord (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.08434#X0HV
\S 1.A.aS9GE535AXSstatementrecord (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.15831#V7ER
\sc Lov\'asz Local LemmaGMMZF0SZKCstatementrecord (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.34339#4TFS
\SEPH{$k$} ProblemFRY8S6H98Gdefinitionrecord (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.26769#2XED
\sf CHAJAQRGM2E7statementrecord (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.35180#CY97
\tc{Ax1GenTwoScottWR723GFAZ2statementrecord (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.36279#NMFR
\tc{Ax1GenTwoVariant3PlainDDR24HFFF2statementrecord (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.36279#8G1I
\tc{Ax1GenTwoVariant3Th4B2HGA2Z50Vstatementrecord (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.36279#ZE8M
\tc{G\_ex9FQZEZ5CHXstatementrecord (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.36279#7CUM
\tc{G\_ex\_Two\_atEBQP729Q2Qstatementrecord (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.36279#MLWV
\tc{L\_TwoRDHFGCHF65statementrecord (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.36279#KED6
\tc{NoNecExistE8TSJ8WZZAstatementrecord (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.36279#L13S
\tc{Reach\_KT7NBF414Y9statementrecord (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.36279#8AE4
\tc{Serial4NRF5V1MZ9statementrecord (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.36279#YTNW
\texorpdfstring{$\ell^2$}{l2} controlJ1VK997ET4statementrecord (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 2606.02312#DJF4
\texorpdfstring{$\ell_1$}{l1} Lewis weightsZ152EQ39JDdefinitionrecord (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.24235#FBCI
\texorpdfstring{$E$}{E}-typical Witt vectors3Z1010GNG0definitionrecord (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.18246#XH3C
\texorpdfstring{[Bel09, Prediction 4.1XCH4AGSZ9Aconjecturerecord (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.03255#CDEW
\textbf, Lemma 3.3R37GX67TCDstatementrecord (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.30086#YF8N
\textbf, Remark 3.24WX8V1ECGRstatementrecord (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.30086#YSLU
\textbf, Theorem 2.2PXF2VWK7FQstatementrecord (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.30086#CREA
\textbf, Theorem 6.2E9HDKP8NJ4statementrecord (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.30086#46PS
\textbf,Theorem 3.9X92V8EMWV3statementrecord (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.30086#TH97
\textbf{$\mathcal C, \mathcal S$ZF264MTRY2definitionrecord (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.14266#WH63
\textbf{${\cal K}$-convergence4TKK3GMD3Jstatementrecord (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.24479#DQ0O
\textbf{(Initial algebras via inflationary iteration8GPMCJ0FPSstatementrecord (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 2105.03252#YIGL
\textbf{(Sized endofunctors have initial algebrasN2E2EJX7Z6statementrecord (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 2105.03252#LAJN
\textbf{\textit{Tao - Proposition 1.9}}\textitGJ7PJVRTY1statementrecord (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.33018#EWTV