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 28601–28700 of 29490.

NameIdKindOutcomeSources
\bf Triangular augmentation and response reconstructionB2PAGXTNNYstatementrecord (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.02791#6MJ8
\bf Types of nodes7TTJMVBDZBdefinitionrecord (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 2312.14445#DILL
\bf Unreachability and trapping functionFDYY93DT57definitionrecord (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.02791#ZHUM
\bf Weak martingale solutionMS4G7MR570definitionrecord (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.29747#AXAM
\bf Weak martingale solution on the torusBSEBDXPWQVdefinitionrecord (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.29747#4VS8
\bf{$L^1$-contraction and uniqueness54XWDM983Dstatementrecord (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.16700#P5VS
\bf{$p$-th order trapping via function value oracle7KF2WRVY4Hstatementrecord (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.02791#ZA3M
\bf{Asymptotic Variance Comparison between $\hat\beta_{0,t}^{\text{WCLS}}$ and $\hat\beta_{0,t}^{\text{U}}$PY2WGPSYCNstatementrecord (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 2306.17260#HK9U
\bf{Basis InvariancePEJ7WQZKQ8statementrecord (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.03661#NBNR
\bf{Global existence1ECR3S13W3statementrecord (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.16700#0XHK
\bf{Semisimple BoundY43J44DS08statementrecord (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.03661#34AB
\bf{Simple Bound81Q0S0N1Z2statementrecord (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.03661#2J4Z
\bf{Uncertainty ConservationJ0SQ733B47statementrecord (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.03661#76R8
\boldmath Rates for \(P_k/P_{k-1}\W7RY3SEW0Tstatementrecord (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.31555#RAGA
\calT-Relaxed) too-long$^*$ pathsGRCWAPEW73definitionrecord (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.39269#CYHG
\chg{Erd\H{o}s-SimonovitsX0Z62XXJYNstatementrecord (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.24353#PIXL
\chg{Quadratic improvement: general activationsRJ7R2F137Hstatementrecord (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.09044#9ZID
\cite[Definition 8.14]BHJ6RN5HQ2SGdefinitionrecord (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 1802.02910#LEXU
\cite{{calamoneri2014pairwiseQ4X2CTDC5Estatementrecord (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.14681#0AWI
\cite{{conner88}}, Corollary 18.4M59EBCBGZBstatementrecord (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.07180#FD7U
\cite{{conner88}}, Corollary 18.4ZK2TD9F9Z7statementrecord (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.07180#AKYA
\classical (Ad\'amekSK3T2DJCZSstatementrecord (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#DH5G
\code{exists\_odd\_sq\_mul\_cube8Q9ZCTG7FGstatementrecord (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.25011#KQEM
\code{not\_powerful\_of\_two\_mod\_fourY1C6TN9S1Dstatementrecord (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.25011#4Z7O
\code{not\_powerful\_of\_witness41ZT2RQ1M9statementrecord (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.25011#49EN
\code{odd\_of\_powerful\_tripleBMY6QDWBEQstatementrecord (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.25011#WLYW
\coqident{Algebra}{DCPO}{dcpowithbottom4DGC6VBKJ9definitionrecord (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 1904.09810#RN0K
\coqident{Algebra}{DCPO}{isdcpomorphismKC7T93D8GDdefinitionrecord (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 1904.09810#WX2K
\coqident{Algebra}{DCPO}{isdirectedXG26A5EPF2definitionrecord (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 1904.09810#DT98
\coqident{Algebra}{DCPO}{isupperbound}, \coqident{Algebra}{DCPO}{islub}, \coqident{Algebra}{DCPO}{isdirectedcompleteETNX9NM0M9definitionrecord (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 1904.09810#K74H
\coqident{cwf_structure}}, {\coqident{cwfRAQ5YX005Ddefinitionrecord (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 1705.04310#3CPQ
\coqident{Foundations}{Sets}{hrelE40N0WF8YCdefinitionrecord (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 1904.09810#J7GE
\coqident{Foundations}{Sets}{PartialOrderDY49REP7VDdefinitionrecord (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 1904.09810#PHOD
\coqident{Foundations}{Sets}{posetmorphism99MC912VGXdefinitionrecord (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 1904.09810#VCU1
\coqident{fpullbackBXSEAAG3YDdefinitionrecord (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 1705.04310#P0QN
\coqident{is_universe_transfer8SYK00Q0JKstatementrecord (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 1705.04310#U660
\coqident{isaprop_rel_universe_structureBA5WWT02BFstatementrecord (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 1705.04310#Z4N4
\coqident{isweq_from_cwf_to_repGMGQPQBKZ7statementrecord (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 1705.04310#I0MH
\coqident{isweq_is_universe_transferM1XH20CQ3Hstatementrecord (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 1705.04310#YGS8
\coqident{MoreFoundations}{ClosureOfHrel}{is_singlevaluedWZ1SS9E8TRdefinitionrecord (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 1904.09810#6Y2V
\coqident{MoreFoundations}{ClosureOfHrel}{isdecidable_hrelE0NQ9QFRBDdefinitionrecord (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 1904.09810#460H
\coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos}, \coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos_hrel78HNKXG8PRdefinitionrecord (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 1904.09810#JWXL
\coqident{MoreFoundations}{ClosureOfHrel}{refltransclos_step}, \coqident{MoreFoundations}{ClosureOfHrel}{refltransclos_step_hrel9794F5Q0F1definitionrecord (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 1904.09810#MMBW
\coqident{MoreFoundations}{Wtypes}{getfibA1TTB70VRKdefinitionrecord (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 1904.09810#JJ6V
\coqident{MoreFoundations}{Wtypes}{indexedWtypeNVK66CGZT0definitionrecord (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 1904.09810#WIEZ
\coqident{MoreFoundations}{Wtypes}{picompact_empty}, \coqident{MoreFoundations}{Wtypes}{picompact_unit1372W7PVG2examplerecord (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 1904.09810#FB87
\coqident{MoreFoundations}{Wtypes}{subtrees2DC3DJEPZQdefinitionrecord (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 1904.09810#VZGA
\coqident{obj_ext_structure739C96AA4Kdefinitionrecord (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 1705.04310#K52A
\coqident{Partiality}{LiftMonad}{Kleisli_extensionC1XZB62ETAdefinitionrecord (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 1904.09810#AHTZ
\coqident{Partiality}{PartialElements}{isdefined}, \coqident{Partiality}{PartialElements}{valueG6EYPAJH4Adefinitionrecord (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 1904.09810#6LLA
\coqident{Partiality}{PartialElements}{lift7VY6G0PV27definitionrecord (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 1904.09810#1YR0
\coqident{Partiality}{PartialElements}{lift_embedding5H8QYCHDG4definitionrecord (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 1904.09810#QLDD
\coqident{Partiality}{PartialElements}{liftorder_least1X6E5PJNEHdefinitionrecord (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 1904.09810#CLS2
\coqident{Partiality}{PCF}{adequacy_relationMF80HVHCN0definitionrecord (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 1904.09810#ABHB
\coqident{Partiality}{PCF}{denotational_semantics_termsEW9FYWJ69Hdefinitionrecord (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 1904.09810#PYAP
\coqident{Partiality}{PCF}{denotational_semantics_typeQRFCS6NEMMdefinitionrecord (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 1904.09810#8DWT
\coqident{Partiality}{PCF}{numeral6C4K4A1FJ5definitionrecord (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 1904.09810#YGS9
\coqident{Partiality}{PCF}{smallstep'}, \coqident{Partiality}{PCF}{smallstepJVGH9EFV1Kdefinitionrecord (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 1904.09810#VFO4
\coqident{Partiality}{PCF}{termRG8F7PPGQGdefinitionrecord (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 1904.09810#WT6O
\coqident{Partiality}{PCF}{typeH4HF2HHMT6definitionrecord (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 1904.09810#Z4N2
\coqident{qq_morphism_structureSQAHRHMXFBdefinitionrecord (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 1705.04310#L2FG
\coqident{relative_universe}, \coqident{weak_relative_universeWD53TFJM0Gdefinitionrecord (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 1705.04310#8WEL
\coqident{rep_mapNCGG9QTM8Pdefinitionrecord (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 1705.04310#8N79
\coqident{term_fun_structureH8GERM4FSQdefinitionrecord (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 1705.04310#JJC0
\coqident{weq_relative_universe_weak_relative_universeEMC8XN7ZVWstatementrecord (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 1705.04310#JIM1
\dbci Operator7FTKCVZFNFdefinitionrecord (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.27120#1Z55
\ddotQ5XSDEETS7definitionopenWikipedia Glossary of mathematical symbols#XYG6
\dotWA95T4WTPDdefinitionopenWikipedia Glossary of mathematical symbols#8BEL
\DynoSPLIT with capacity margin \(\varepsilon\TXCWQB3BP2definitionrecord (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.17329#OQ1M
\emph{$t$-motives associated with Drinfeld modules6WRCGC9MZ9unknownopenarXiv 2609.23287#IZPE
\emph{Asymptotic Block SeparationB5MECEKTWEstatementrecord (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#G7FF
\emph{Axial, generic and cuspidal eta quotientsRET25E5JCYdefinitionrecord (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.10576#N22R
\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{Carlitz $t$-motive4G1HY3X957examplerecord (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.23287#QY2H
\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{Models and good reductionsRXZSHTSGZVunknownopenarXiv 2609.23287#RLZD
\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
\Erd--HajnalKNKRAX9ZF5conjecturerecord (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.21895#HNXO
\eta1XFJNYTGY6definitionopenWikipedia Glossary of algebraic geometry#DQLW