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 28701–28800 of 29490.

NameIdKindOutcomeSources
\Ev-powerCXFRKB2GGEdefinitionrecord (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.08210#WUZS
\Ev-value constructionSA6CVJZT5Zstatementrecord (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.08210#3WZL
\Ev-variablesCA6CW0NZSGdefinitionrecord (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.08210#7HZ2
\Folner\ sequencesRWCNHYDYP0definitionrecord (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.30410#UWBC
\frcontrol transition dynamicsK1F8ZVH580statementrecord (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#VI0J
\FTS under the exponent conditionF3Z2NG0M55statementrecord (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.35844#JI7K
\Gls{opinf} decomposition theoremVABQES0S3Ystatementrecord (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.01295#ENMK
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/PrimeChain.lean\#L138}{\Verb|strongSSC\_chainTup|18J6AAYV5Bstatementrecord (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.16323#ZTT0
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L181}{\Verb|of\_sum\_natAbs\_lt|XFJE5V42VXstatementrecord (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.16323#GDHE
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L199}{\Verb|pair\_of\_sum\_natAbs\_lt|5S7ZHKKK8Gstatementrecord (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.16323#KA52
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L229}{\Verb|strongSSC\_tupReduce|PVJ7YWK8VDstatementrecord (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.16323#V9HK
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L167}{\Verb|VWPair.of|}, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L176}{\Verb|VWPair.of\_coprime|TMK8FAS4QTstatementrecord (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.16323#SWD1
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L258}{\Verb|strongSSC\_vwTup|HDW86QRYY0statementrecord (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.16323#O3T2
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Four.lean\#L331}{\Verb|quality\_ramaekersTuples\_four\_ge|SK9A87K55Hstatementrecord (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.16323#SYQY
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/General/Main.lean\#L110}{\Verb|quality\_factorFreeTuples\_ge|Q2MXDGJ46Astatementrecord (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.16323#KP4P
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Main.lean\#L155}{\Verb|quality\_factorFreeTuples\_ge\_of\_odd\_of\_disjoint|DJJV1K6TFVstatementrecord (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.16323#4PFA
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Subsum.lean\#L215}{\Verb|OddCase.strongSSC\_tup|4NA5RFRQQKstatementrecord (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.16323#MDKL
\hspace{-0.01cmM0JT1XC7V3statementrecord (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.09634#C8EN
\hspace{-1sp4SB7YRK5W8statementrecord (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.03341#DBOZ
\hspace{-1spDY2WQFXMKMstatementrecord (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.03341#S8XO
\hspace{1pt6QY0JCYTXXstatementrecord (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.20583#5HKF
\hspace{1ptB6Z114FV13statementrecord (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.20583#32ZT
\hspace{1ptDHJ7QFP8HKstatementrecord (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.20583#ORBW
\labelcref{algebraic_dimension_formulaAVZPENDSC0statementrecord (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.35605#OH61
\labelcref{algebraic_reductionAKK9GDMHQJstatementrecord (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.35605#VH5L
\labelcref{BC_ring_iso_and_algebraa72JF3MBXBSstatementrecord (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.35625#GHA5
\labelcref{GCE_are_distinct_cohomologicalW8WAH02Y3Hstatementrecord (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.35625#0543
\labelcref{integral_BC_are_isoXZRP01XCHMstatementrecord (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.35625#G6EX
\labelcref{rat_dimension_is_rat_measureTNE7ECQY9Cstatementrecord (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.35605#GMVU
\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{celisse:hal-02548917}(Lemma 28SQXS59P4X3statementrecord (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.21017#GPW8
\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
\mycite{nguyen2023neurons} Corollary 3.8W9SCJVK24Estatementrecord (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.21017#HKQQ
\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
\prod2QB4GMXSTDdefinitionopenWikipedia Glossary of mathematical symbols#088I
\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