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 29001–29100 of 29490.

NameIdKindOutcomeSources
\textsf{Subcritical self-similar FCLTXV8AAF2JS4statementrecord (an 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.09404#6L9X
\textsf{Uniform $L^p$ block boundRAQQ683CMGstatementrecord (an 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.09404#2WEI
\textsf{Uniform approximation in path normB8C3KXDHA4statementrecord (an 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.09404#EAID
\textsf{Uniform covariance envelopeSYHFX4GTBDstatementrecord (an 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.09404#LF6G
\textsf{Uniform integral approximation5K8SK9Q5R5statementrecord (an 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.09404#H337
\texttt{Bounds on Lagrange multipliersVBJYE4JME6statementrecord (an 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.06343#63FI
\texttt{Bounds on the momentsKKXQVG6A2Kstatementrecord (an 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.06343#LAMP
\texttt{coal\_below\_1e5}, \dots, \texttt{coal\_below\_1e8QRFZBR3NN8statementrecord (an 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.22298#1ZK1
\texttt{coal\_below\_of\_certEQZGSDEQVMstatementrecord (an 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.22298#WSKZ
\texttt{Constrained entropy productionJRVBNKQ6CPstatementrecord (an 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.06343#5OOM
\texttt{Constrained equilibria9D53BGGMW0statementrecord (an 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.06343#OD5H
\texttt{Contraction by synchronous couplingGR18C31MXHstatementrecord (an 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.06343#FFNV
\texttt{Contraction by synchronous coupling and dissipativity2DKR4YTQHVstatementrecord (an 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.06343#TFVH
\texttt{Contraction of the invariant measure mapP5CNKEP2JRstatementrecord (an 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.06343#F9UG
\texttt{Energy dissipationP5QNF0V2YPstatementrecord (an 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.06343#0SZS
\texttt{Entropy contraction by microscopic constrained log-Sobolev inequalityN2PQPHBV7Jstatementrecord (an 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.06343#3ND8
\texttt{Entropy exponential convergence by constrained log-Sobolev inequality1BPN6G6K0Pstatementrecord (an 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.06343#UW9T
\texttt{Entropy exponential convergence by log-Sobolev inequalityTZ60DP36Z5statementrecord (an 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.06343#TY2O
\texttt{Existence of weak solutions and invarianceH9099XGC0Fstatementrecord (an 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.06343#53J6
\texttt{Explicit constrained microscopic equilibriumP6QSXSZDH2statementrecord (an 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.06343#KT97
\texttt{Explicit form of the Lagrange multiplier5R0916RX8Fstatementrecord (an 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.06343#YW6P
\texttt{Exponential convergenceSCW6SA5QJZstatementrecord (an 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.06343#HMKN
\texttt{Flat derivatives of Lagrange multiplierYR8FGEGYMNstatementrecord (an 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.06343#RLEG
\texttt{Free Lyapunov functionalYR55BBSPKBstatementrecord (an 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.06343#ED6R
\texttt{Free microscopic Lyapunov functional3V28KDNKC9statementrecord (an 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.06343#5OBX
\texttt{Linear caseEW4PXW167Xexamplerecord (an 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.06343#BMRF
\texttt{Lipschitz Lagrange multiplierYF24B9P2JSstatementrecord (an 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.06343#OXB1
\texttt{Propagation of chaos and flat second derivativesEWHGB6S23Ystatementrecord (an 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.06343#SXN4
\texttt{Propagation of chaos and Lipschitz regularity of the first flat derivatives19ZHXE3JAGstatementrecord (an 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.06343#EH7V
\texttt{Quadratic constraintEDTM56EEGKexamplerecord (an 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.06343#2JAL
\texttt{WeaklyCompactTypes} in , \coqident{MoreFoundations}{Wtypes}{picompactW92HAYSMXNdefinitionrecord (an 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#PNSP
\text{Local errorHBREBDMNEPstatementrecord (an 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.33406#AORX
\text{Realization of Three-Gap DifferencesSETCHKV9YBstatementrecord (an 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.02495#DME9
\text{see284XG1287Kstatementrecord (an 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.07370#J20F
\text{see6TZF06M9WVstatementrecord (an 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.07370#WHDW
\text{seeVK2Z4BPE3Zstatementrecord (an 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.07370#VKK8
\theoremcite{Example 9.8}{bilokopytov202366FFGEYAM2statementrecord (an 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.29498#LQ3C
\theoremcite{Lemma 4.1}{aliprantis19743GJECJ7D58statementrecord (an 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.29498#EY10
\theoremcite{Open Problem 1}{aliprantis19741RV28H2NBXproblemrecord (an 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.29498#04X9
\theoremcite{Open Problem 1}{aliprantis197446QSWKKRMPproblemrecord (an 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.29498#ZUPD
\theoremcite{Open Problem 2}{aliprantis1974RVVXW0YEW3problemrecord (an 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.29498#9H33
\theoremcite{Open Problem 3}{aliprantis19748PTSVA53JSproblemrecord (an 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.29498#4XR3
\theoremcite{Open Problem 4}{aliprantis1974H09W60FYAKproblemrecord (an 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.29498#6BE6
\theoremcite{Theorem 2.41}{aliprantis_burkinshaw2003TQAM1HHSHTstatementrecord (an 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.29498#M0ZZ
\theoremcite{Theorem 3.2}{aliprantis1974} and \theoremcite{Theorem 5.1}{aliprantis19746S4W9H01VWstatementrecord (an 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.29498#7TH0
\theoremcite{Theorem 5.3}{aliprantis19743M7WXCP602statementrecord (an 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.29498#LAXK
\theoremcite{Theorem 6.1}{aliprantis1974KC8KF693YMstatementrecord (an 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.29498#KZ9Q
\thmref{thm: HKR homo6VDZ7JVPHGstatementrecord (an 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.30018#L08O
\thmref{thm:dualityF6EB7QG7DEstatementrecord (an 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.30018#7BGR
\thmref{thm:Hochs cohomo mainBPSW2V9J02statementrecord (an 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.30018#IPMG
\thmref{thm:thom-sebastianiW9KAX9VZEQstatementrecord (an 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.30018#4W4G
\TS is unconditional9W9377AXMEstatementrecord (an 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#QWAD
\upshape FujitaTKQGG588PEstatementrecord (an 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.23634#L1HU
\upshape FujitaXM119VG6PDstatementrecord (an 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.23634#K18Z
\upshape Fujita and KawarabayashiGPZN0K15KMconjecturerecord (an 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.23634#KWMK
\upshape MaderD7B60QQ93Estatementrecord (an 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.23634#L899
\upshape MaderVT7WDTM3DBstatementrecord (an 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.23634#6Y3W
\upshape MaderWZZY8D8P08conjecturerecord (an 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.23634#MKJO
\usetoken{S}{value} of a TermW6J0WK840Wdefinitionopenopen_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-2
\wisc \textbf{(Colimits of sized functors9YJ3GQ2AX7statementrecord (an 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#K7VG
\wisc \textbf{(Products of set-valued sized functors are sizedVZKGZSFGEHstatementrecord (an 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#DMKG
\|\varphi\|7RRNSZYRGCdefinitionopenWikipedia Glossary of set theory#R2Y2
^QVVSVGQ2HBdefinitionopenWikipedia Glossary of commutative algebra#8162
``Almost-always'' regularityNJ7TEEP84Mstatementrecord (an 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.21775#O002
``continuity'' of functions in type theory7YBFWSTGT3conceptopenhott_book index/1.2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryBFBXHDYKFAconceptopenhott_book index/u1.u2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryDR5ZC765DVconceptopenhott_book index/1.3/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryDZWZ970WFWconceptopenhott_book index/1.4/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryGQ8G26J4MCconceptopenhott_book index/6.2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryKT0H55NJJXconceptopenhott_book index/9.11/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryYJ66B9A20Aconceptopenhott_book index/9.2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryYPW2BGQVY5conceptopenhott_book index/9.1/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryYZXRKJ1FG6conceptopenhott_book index/1.9/continuity-of-functions-in-type-theory
``Energy-Independent" Tomography via Iterative Unsqueezing, Theorem 3VQ4Q8HBYNKstatementrecord (an 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.06810#NFRF
``Euclidean algorithm''6GNYSKXMF8statementopennapkin tex/H113/structure.tex#claim-1
``Existence"D1QPHQC8EAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.04317#XLL2
``First isomorphism theorem'' in abelian categoriesRJQJQ922AAstatementopennapkin tex/cats/abelian.tex#prop:break_exact
``Fixing $x$''8XBDWA8F2Adefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.00162#N98F
``functoriality'' of functions in type theory8Q1RQ58W8Fconceptopenhott_book index/9.11/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theory8VGX0X5PA6conceptopenhott_book index/1.2/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryAZ10Z6Z3JZconceptopenhott_book index/6.2/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryC3V218VZDJconceptopenhott_book index/9.1/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryH8DCKZGSP2conceptopenhott_book index/1.9/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theorySBWCE1BXXJconceptopenhott_book index/1.4/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryYY0BCV8VB6conceptopenhott_book index/9.2/functoriality-of-functions-in-type-theory
``H'' LemmaRC11NPMYKHstatementrecord (an 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.05506#GE4V
``Hybrid'' local strong convexityF74K6FPH15statementrecord (an 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.30590#PKVR
``naturality'' of homotopiesETSZFRVSSZconceptopenhott_book index/1.4/naturality-of-homotopies
``Non-negative Reals''Z456TDXHC7definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.00162#ZG2A
``Reversed" Hofer--Zehnder conjecture2P9QNRNQJKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.25960#IJI0
``The Basic Lemma'' , Theorems 2.1.1, 2.1.3, 2.1.5, 2.1.6 , Corollary 5.6E2CHNZAX7Gstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2505.04593#CRK3
``Uniqueness"TDYQHM7B7Cstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.04317#ZJLB
{ }538M237DJ8definitionopenWikipedia Glossary of set theory#HUWY
{$\QQ[x]$ is a Euclidean domain}7RJE3DD9P4exampleopennapkin tex/H113/ring-flavors.tex#example-10
{$\ZZ[\sqrt7]$} is a UFDWG9BAPTQ5Tstatementopennapkin tex/alg-NT/classgrp.tex#proposition-2
{1}, {2}, ...,{n}2D057K36W4definitionopenWikipedia Glossary of classical algebraic geometry#DUYI
{Norm of $a+b\sqrt[3] 2+c \sqrt[3] 4$}ZB0XY18PESexampleopennapkin tex/alg-NT/norm-trace.tex#example-2
{The ring $\ZZ[\frac{1 + \sqrt{-19}}{2}]$ is not a Euclidean domain}JF514RVEX1exampleopennapkin tex/H113/ring-flavors.tex#example-11
{}NY1ACW5YJAdefinitionopenWikipedia Glossary of commutative algebra#GY5N
{}^\beta\alpha9CMWW7Z2C4definitionopenWikipedia Glossary of set theory#1EO9