Math 2.0

Inventory: E

The rows of the inventory whose names start with E. 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 13401–13500 of 14772.

NameIdKindOutcomeSources
Existence of a positive radial ground stateMFAP2EG6G4statementrecord (an 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.35030#279U
Existence of a preference relation3GKAWRJ5QFstatementrecord (an 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.20542#E4WT
Existence of a pull-back set attractorKNYBYVC7H2statementrecord (an 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.06321#10YV
Existence of a rich Fubini extensionNQBA7QCKRXstatementrecord (an 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.21710#0S3N
Existence of a risk coefficientRWSJQKNJZGstatementrecord (an 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.33360#ZYZD
Existence of a solutionBWRNQMS2RZstatementopenWikipedia McKean–Vlasov process#HSDN
Existence of a superkernelYT83ZAS791statementrecord (an 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.11760#OLKO
Existence of a weak set attractorYKMS41QFH4statementrecord (an 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.06321#JWR1
existence of algebraic closure of a fieldJ16Q3WVH53unknownopenmathlib_overview General algebra > Field theory > existence of algebraic closure of a field, Mathlib AlgebraicClosure
existence of an eigenvalueWN5WGF44K9unknownopenmathlib_overview Linear algebra > Structure theory of endomorphisms > existence of an eigenvalue, Mathlib Module.End.exists_eigenvalue
Existence of an optimal deep kernel hedgeTYCPVANWDXstatementrecord (an 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.34474#51EH
Existence of an optimal distributed controlJEMJA09W56statementrecord (an 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.08374#7GEM
existence of basesRQX5PBPTA5unknownopenmathlib_undergrad Linear algebra > Fundamentals > existence of bases, Mathlib Module.Basis.ofVectorSpace
Existence of Canonical RepresentationQAT1W10CK4statementrecord (an 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.25091#B7KT
Existence of Cantor sets for any prescribed decay rateYJ1F6WYRSGstatementrecord (an 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.33557#D1CY
Existence of cuspidal base changeM8GESFDYG5statementrecord (an 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.26477#B6QJ
Existence of dual equilibriaCREGQDNJ27statementrecord (an 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.20998#79F0
Existence of Equilibrium6339YB5080statementrecord (an 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.20998#RV2E
Existence of equilibrium pairsJC6K5RVRV8statementrecord (an 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.25915#V3ZC
Existence of exceptional weightsTN99GECVV2statementrecord (an 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.14310#OWAD
Existence of fixed pointsAX989H377Qstatementrecord (an 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.22513#E22D
Existence of God6PVS5PE1N6definitionopenWikipedia Existence of God, Wikidata Q1699404
Existence of ground state6S9BX6FW2Zstatementrecord (an 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.28454#E7MI
Existence of ground stateDJZSZP3QNZstatementrecord (an 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.15460#HXYS
existence of Hilbert basis2YXXRXTFKDunknownopenmathlib_overview Analysis > Hilbert spaces > existence of Hilbert basis, Mathlib exists_hilbertBasis
Existence of invariant probability measureZAX0JQS243statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.10636#F9ZY
Existence of Lyapunov Functions in {$\R_D$JD2GMYP5PMexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.08233#7JZA
Existence of measurable medial meanV1RHHADGTTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2203.01511#IO8W
existence of minimizersZAMXASGZVDstatementrecord (an 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.26645#TY29
Existence of minimizers for $S_{\alpha,\beta}(n,m)$H0WAZT8P99statementrecord (an 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.09001#2LVT
Existence of Morse Lyapunov functionsMKEVH1KNYGstatementrecord (an 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.05626#G5YY
Existence of motions in regular pointsN6J3KX9C13statementrecord (an 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.17004#NLEB
Existence of motions on analytic manifolds4CJ1F8TAG0statementrecord (an 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.17004#EPGT
existence of orthonormal basis87SDCGDTVPunknownopenmathlib_overview Linear algebra > Finite-dimensional inner product spaces (see also Hilbert spaces, below) > existence of orthonormal basis, Mathlib OrthonormalBasis
existence of positive critical transition valuesT9JZXG61H3examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2210.06147#FIXR
existence of presentationsJ6ZPTJ4MZYstatementrecord (an 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.22667#RVHF
Existence of primal and dual equilibria under antisymmetryNY3CAY4EZYstatementrecord (an 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.20998#S1J7
Existence of primal equilibriaZSK7XMSNWAstatementrecord (an 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.20998#3J1B
Existence of projection onto the river \& further properties3RM5DYV39Gstatementrecord (an 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.30957#CHKP
Existence of QOT barycenters4AQ915N2HZstatementrecord (an 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.01855#0048
Existence of recovering meshesJ1MDNDF244statementrecord (an 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.00117#BNIX
Existence of relaxed minimizers3PRRMP0V3Vstatementrecord (an 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.00033#39Z4
Existence of robust inner CSS gadgetsB3XYC26DHRstatementrecord (an 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.40252#14XO
Existence of smooth wider globally hyperbolic structuresJDKGRCE7XWstatementrecord (an 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.11911#TTXH
Existence of smooth wider non-totally imprisoning structuresG9QX0JFR8Jstatementrecord (an 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.11911#2XIY
Existence of solution to Kolmogorov backward equationsY8C5740Z37statementopenWikipedia Continuous-time Markov chain#OPWO
Existence of solutionsTDT22MKZ9Qstatementrecord (an 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.12165#4F7T
Existence of solutions for nonlocal problemVF3BC7WQA6statementrecord (an 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.27414#RUNE
Existence of solutions for nonlocal problem with autonomous operators64VEW85YZ3statementrecord (an 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.27414#M19J
Existence of Strong-Young Solutions870DVRAQHZdefinitionrecord (an 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.06473#E7O4
Existence of testsT12SKT53F1statementrecord (an 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.07240#CHP6
Existence of the $\mathcal Q(q,d)$ familyVE509M1D5Jstatementrecord (an 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.02392#LGPY
Existence of the analytic neighborhood1XBDPSNHJQstatementrecord (an 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.21093#QLJT
Existence of the candidatesDF3175P8AMstatementrecord (an 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.29839#7SMC
Existence of the connection constantNXWZ1X9SS3statementrecord (an 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.00396#S4UJ
Existence of the edge speedsDZEP8ZASNEstatementrecord (an 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.18312#BAFA
Existence of the elementary blocks6S6YBRW73Xstatementrecord (an 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.05364#U2D3
Existence of the finite-width $\phi^4_2$ measure3KAJ04JGZ9statementrecord (an 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.00453#KRJY
Existence of the global attractorV50G4PVPNYstatementrecord (an 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.11027#D59Z
Existence of the very weak solution, case $V \in \mathbb{R}$ZQBSPWXC8Vstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2110.12380#I18C
Existence of the very weak solution, case $V\geq 0$JYJDZGJ2XTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2110.12380#CC2G
Existence of theories that satisfy the axiomsWGJTC0W5X7statementopenWikipedia Wightman axioms#12QB
Existence of unimodular stellar towersGQW2H9Q363statementrecord (an 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.27799#L4D1
existence predicateHA2WRDEC9VdefinitionopenWikipedia Glossary of logic#72W0
Existence theoremGG5E650VZCstatementopenWikipedia Spectral theory of ordinary differential equations#B7VX
Existence theoremHFBMSQFDSWstatementopenWikipedia Wozencraft ensemble#3YKK
existence theoremVDY2S7Q844statementopenarXiv 2610.08253#1231, Wikidata Q2694495, MathWorld ExistenceTheorem, Wikipedia Existence theorem
Existence theoremYCTTEHGHJ4statementopenWikipedia List of mathematical logic topics#E17J
Existence theorem for limits2W6546DYNYunknownopenWikipedia Limit (category theory)#TSU2
Existence time estimate for geodesics9PC4P2EX92statementrecord (an 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.11911#N8L5
Existence via compactness45RYH454BSstatementrecord (an 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.20998#4T60
Existence, uniqueness and properties of gradient flows7DJJXD79WPstatementrecord (an 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#ZK21
existentCG4XXGCZJCdefinitionopenWikipedia Glossary of Principia Mathematica#PRTJ
Existential axioms1NEFWTV5SWstatementopenWikipedia Algebraic structure#A77K
Existential closedness conjectureJ6RHEYQQ2FstatementopenWikipedia Existential closedness conjecture, Wikidata Q130535643
Existential closureC5J21CDZMCdefinitionopenWikipedia Existential closure, Wikidata Q105615241
Existential fallacy42CCHGB1PVdefinitionopenWikipedia Existential fallacy, Wikidata Q2893176
Existential fallacyVR5HY853X9definitionopenWikipedia List of fallacies#18K1
Existential forgeryHA0PZEAWPKunknownopenWikipedia Digital signature forgery#7T47
Existential generalization8355TE6XM9statementopenWikipedia Existential generalization#XH7X
existential generalizationDRWZAJCZEXdefinitionopenWikipedia Glossary of logic#4UJ9
Existential generalizationDWBV9S1WYKdefinitionopenWikipedia Existential generalization, Wikidata Q5420356
Existential graphG41AM6WEC1definitionopenWikipedia List of graph theory topics#JGCP, Wikipedia List of Boolean algebra topics#3F27
Existential graphK6KZH8GVZ7definitionopenWikipedia Existential graph, Wikidata Q1383836
existential importC9T0K2YSEFdefinitionopenWikipedia Glossary of logic#IIFO
Existential improvement beyond the double semicircle lawWAZVF8Y2Y1statementrecord (an 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.12357#OU1E
existential instantiation8QMSP06R6TdefinitionopenWikipedia Glossary of logic#NG5T
Existential instantiationAA2EYHXFS5definitionopenWikipedia Existential instantiation, Wikidata Q2013340
Existential instantiationGTVRJVRYWEstatementopenWikipedia Existential instantiation#HLLY
existential introductionEY7QW1ZNTYdefinitionopenWikipedia Glossary of logic#L656
existential quantificationC95ZYPF74Pdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q773483, nLab existential quantifier, Wikipedia Existential quantification
Existential quantificationN29DJCKHN0statementopenWikipedia Existential quantification#H8DC
existential quantifier15PY5Q9M07definitionopenWikipedia Glossary of logic#U41G
existential quantifierQJNAKM2NHKconceptopenlevin_dmoi index/1.2.3/existential-quantifier
existential sentenceEW0ETQQZY3unknownopenWikidata Q141488402, MathWorld ExistentialSentence
Existential typeQFA2HFJVEYunknownopenWikipedia Type system#O3F3
existential variable1ZBJMNE7MDdefinitionopenWikipedia Glossary of logic#5DDP
Existentially closed model68T2RM6F3FdefinitionopenWikipedia List of mathematical logic topics#NZMJ
existentially closed model9H0XK58TTNdefinitionopenWikidata Q5420362, nLab existentially closed model, Wikipedia Existentially closed model
Existing gradient of EVD4SGRT4EY91statementrecord (an 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.32505#F2VW