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 25801–25900 of 25924.

NameIdKindOutcomeSources
\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
\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
``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
{$\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
{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
¬S78DYPETC8unknownopenWikidata Q3874245, MathWorld NegationSign
±5X63TFM3GSunknownopenWikidata Q260387, MathWorld PlusorMinus
¼HR246MF9NBunknownopenWikidata Q2310416, MathWorld Quarter
½T7V391H2WSunknownopenWikidata Q2114394, MathWorld Half
×EF72RF330WunknownopenWikidata Q1900125, MathWorld MultiplicationSign
ångströmBS4G431EMNdefinitionopenWikidata Q81454, ProofWiki Definition:Metric_System/Length/Angstrom
Écalle , HakimTCQ2244WAEstatementrecord (an 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.01520#B6IA
Édouard GoursatCS65V7DMEPunknownout_of_scope (a person, not an item of mathematics)Wikidata Q274322, nLab Édouard Goursat, ProofWiki Mathematician:Édouard_Jean-Baptiste_Goursat
Édouard Lucas90RNZRJMC0unknownout_of_scope (a person, not an item of mathematics)Wikidata Q274377, ProofWiki Mathematician:François_Édouard_Anatole_Lucas
Élie CartanFCTNHACKVXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q274639, nLab Élie Cartan, ProofWiki Mathematician:Élie_Joseph_Cartan
Émile BaudotHD6AZ90FJYunknownout_of_scope (a person, not an item of mathematics)Wikidata Q550192, ProofWiki Mathematician:Émile_Baudot
Émile Borel9DPWY4G862unknownout_of_scope (a person, not an item of mathematics)Wikidata Q154356, EoM Borel,_Émile, nLab Émile Borel, ProofWiki Mathematician:Félix_Édouard_Justin_Émile_Borel
Émile LemoineJREP6N6MWQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q286074, ProofWiki Mathematician:Émile_Michel_Hyacinthe_Lemoine
Émile Léonard MathieuNGZ7TY4FGMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q286161, ProofWiki Mathematician:Émile_Léonard_Mathieu
étale algebra63SYGZ3882unknownopenWikidata Q17097882, nLab étale algebra
étale homotopy typeNTRK0C3DHNunknownopenWikidata Q17011031, nLab étale homotopy
étale morphismC0NYJWWWFBunknownopenWikidata Q8078428, nLab étale map
étale topology4D73EPR2HJunknownopenWikidata Q8078427, EoM Etale_topology, nLab étale site
étale toposG5ZMYA6CNXunknownopenWikidata Q17011044, nLab étale topos
Étienne BézoutDPXBSZKATJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q289471, ProofWiki Mathematician:Étienne_Bézout
Étienne PascalF2VQZ90KCZunknownout_of_scope (a person, not an item of mathematics)Wikidata Q2140187, ProofWiki Mathematician:Étienne_Pascal
Évariste Galois4T2GGJS88Cunknownout_of_scope (a person, not an item of mathematics)Wikidata Q7091, nLab Évariste Galois, ProofWiki Mathematician:Évariste_Galois
Øystein OreYF33AZGBJ7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q329846, nLab Øystein Ore, ProofWiki Mathematician:Øystein_Ore
ĀryabhaṭīyaNMZ4XZ08JQunknownout_of_scope (a book, not an item of mathematics)Wikidata Q3518429, ProofWiki Book:Aryabhata_the_Elder/Aryabhatiya
Čech cohomology610E6YJC6YtopicopenWikidata Q1095535, EoM Čech_cohomology, nLab Čech cohomology
Śleszyński–Pringsheim theoremZAXJ2PHX80statementopenmathlib_1000 Q8081891, Wikidata Q8081891, thousand_plus Q8081891, Wikipedia Śleszyński–Pringsheim theorem
Α/α5CJ90WB07Wunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q9887, ProofWiki Symbols:Greek/Alpha
ΓF2R46HDT5Gunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14387, ProofWiki Symbols:Greek/Gamma
ΖTDYHEFZG6Aunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14394, ProofWiki Symbols:Greek/Zeta
ΗHCX826JZGZunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14396, ProofWiki Symbols:Greek/Eta
Θ/θ52ASYB7X4Cunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14398, ProofWiki Symbols:Greek/Theta
ΛDNCZC0Y7X3unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q10897, ProofWiki Symbols:Greek/Lambda
μ operatorS8VB28974PunknownopenWikidata Q307772, MathWorld Mu-Operator
μ-recursive functionTK0R173WKEunknownopenWikidata Q284164, EoM Recursive_function, MathWorld RecursiveFunction, nLab recursive function
Μ/μ9YPJGVDJBKunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q9902, ProofWiki Symbols:Greek/Mu
Ξ/ξFYYH4M1DK4unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14406, ProofWiki Symbols:Greek/Xi
Ο/ο18YA32SXZRunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14408, ProofWiki Symbols:Greek/Omicron
ΡKS1J7CF943unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14412, ProofWiki Symbols:Greek/Rho
ΣE8ZA87RFB6unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14413, MathWorld Sigma, ProofWiki Symbols:Greek/Sigma