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 25401–25500 of 25924.

NameIdKindOutcomeSources
\bf Randomized first-order lower boundNF96VVKBH7statementrecord (an 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#XQMO
\bf Randomized lower boundJ71JS1AZ5Fstatementrecord (an 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.16295#D70T
\bf RandomnessXDNQ468DDHproblemrecord (an 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#3P06
\bf Reconstruction and update certificatesKC9ZZJM2E4statementrecord (an 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#6X6E
\bf Reduced echelon formQWDW86RF7Vdefinitionrecord (an 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.37893#B0Q2
\bf Regularity and initial gapC8E1M0PE2Vstatementrecord (an 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#LXFG
\bf Replicated hard spectrumPW9CXJJXPXstatementrecord (an 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#MRKU
\bf Resolvent expansions at elliptic thresholdsK6R9R0ZQCTstatementrecord (an 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.19845#IW6D
\bf Resolvent expansions at hyperbolic thresholdsNAD65FH3RVstatementrecord (an 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.19845#XM4X
\bf Sequential accumulationCASZ51Y9HRstatementrecord (an 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#ZT62
\bf Side information graph8NDG8H4KWWdefinitionrecord (an 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.08202#6Y5B
\bf SmoothnessYKZEMM5HZCproblemrecord (an 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#9SUD
\bf Stationarity certification7S7Q5RBNSMstatementrecord (an 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#QWS7
\bf Stationarity from an approximate model5XJM2J8H41statementrecord (an 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#HCA0
\bf Stopping Time}, as per Definition 8CCYA094GDTdefinitionrecord (an 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#7950
\bf Strong reduced echelon form98PNBPDQNWdefinitionrecord (an 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.37893#G8LZ
\bf Sufficient conditions for $(L)$-a.e.9G2WZVEW60statementrecord (an 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#ITHY
\bf Supermartingale convergenceMFAYRYZP3Cstatementrecord (an 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#6Z01
\bf Supermartingale decompositionBZJ1CWEPV8statementrecord (an 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#26OV
\bf The category of $\Q$-shaped modulesR4225EZW1GunknownopenarXiv 2610.21507#1BXA
\bf The equivalence class of $A$ depends only on the module $N(A)$64PGZX1G7Qstatementrecord (an 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.37893#ZMIH
\bf The equivalence class of strong reduced echelon forms of $A$ depends only on the module $N(A)$5BE3SVARN7statementrecord (an 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.37893#KD1S
\bf The Q-shaped derived category6E9BKG6X6XunknownopenarXiv 2610.21507#JE2P
\bf The Q-shaped homotopy categoryX29X4PN9NQunknownopenarXiv 2610.21507#XZMV
\bf Total gradient-query complexity3RDWR0R76Qstatementrecord (an 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#30MQ
\bf Tower Inequality3B4V4RT9ZFstatementrecord (an 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#9IW3
\bf Trajectory setSN18FX1VA2definitionrecord (an 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#X04K
\bf Trapping implies existence of stationarityDARFY3ZJPYstatementrecord (an 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#WQJI
\bf Trapping or descentR3MQZKB48Gstatementrecord (an 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#RO28
\bf Trapping-or-descent dichotomy9STWNP4SHZstatementrecord (an 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#70Q0
\bf Trapping-or-descent dichotomyB4W45Z68XHstatementrecord (an 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#KUMR
\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
\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{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