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 25501–25600 of 25924.

NameIdKindOutcomeSources
\emph{Bony--Weyl paralinearization and exact homogeneityQ7D45G04WNstatementrecord (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.37593#D6Q0
\emph{Change of quantizationPY1SD9TKGEstatementrecord (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.37593#Z6JI
\emph{Composition4P8EKAWDYGstatementrecord (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.37593#63I3
\emph{Convergence of Optimal CostP5EMA0RCYGstatementrecord (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.13424#MDNI
\emph{Decrease of $J_T^*$ with $T$ZWT7CZX34Cstatementrecord (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.13424#6IK0
\emph{Deghostification} by antisymmetric polarization610F30459Zdefinitionrecord (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.36548#B6DZ
\emph{Energy estimate30SCKXR3RJstatementrecord (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.37593#PTE9
\emph{Feasibility9M8XCVSXXFstatementrecord (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.13424#BRUY
\emph{in $\ZF$}AF7HWN8JFGstatementopenopen_logic content/set-theory/choice/hartogs.tex#HartogsLemma
\emph{in $\ZF$}DY1BNTHZ84statementopenopen_logic content/set-theory/choice/hartogs.tex#thm-1
\emph{Local differential privacy} (LDP1TYHFH1NHDdefinitionrecord (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.28297#R6A2
\emph{Non-prioritized, dimension-wise comparisonJCPTH8FAS2examplerecord (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 2601.13428#XJ8K
\emph{Non-prioritized, joint comparisonBSY01TENCFexamplerecord (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 2601.13428#QKRS
\emph{Optimal SolutionG2T5S1X1S0statementrecord (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.13424#1Y6U
\emph{Paralinearization in Birkhoff CoordinatesEPP0Y8BKVWstatementrecord (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.37593#6QGU
\emph{ParaproductHPWGXM3WWMstatementrecord (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.37593#NNFW
\emph{PIMM4HRYB3D0Xexamplerecord (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 2601.13428#1V0R
\emph{Principle of induction on !!{formula}s}56FEHK5EP9statementopenopen_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#thm:induction
\emph{Principle of induction on !!{formula}s}6D2XE2R7VSstatementopenopen_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#thm:frmind
\emph{Principle of induction on terms}9J6GARABWWstatementopenopen_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#lem:trmind
\emph{Prioritized, joint comparisonW9JN2VKHZEexamplerecord (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 2601.13428#EDZF
\emph{Sample-splitting for U-statistics7TW5NNSE4Hexamplerecord (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 2601.13428#7MXB
\epower alone implies no type-II bound8GKVXRSCARstatementrecord (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.27765#935X
\epower is well defined and bounded894FVRG7S6statementrecord (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.27765#PL7G
\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
\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