Math 2.0

Inventory: P

The rows of the inventory whose names start with P. 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 4501–4600 of 5460.

NameIdKindOutcomeSources
Proof using coversK3MXAEXK7Jproofopennapkin tex/topology/compactness.tex#proof-5
Proof using sequencesV32SVMAE6Gproofopennapkin tex/topology/compactness.tex#proof-7
proof without words38RD4477HGunknownopenWikidata Q3402800, MathWorld ProofwithoutWords
proof, assistant1QS9Y2F640conceptopenhott_book index/4/proof-assistant
proof, assistant2A8CHC5ZMNconceptopenhott_book index/u1.u6/proof-assistant
proof, assistantBWDPQ8V5PYconceptopenhott_book index/5.13/proof-assistant
proof, assistantCNW9J0G1H7conceptopenhott_book index/7/proof-assistant
proof, assistantD7PPGZJA7Zconceptopenhott_book index/A.12.3/proof-assistant
proof, assistantRT758SX3W2conceptopenhott_book index/u1.u1/proof-assistant
proof, assistantWHK03JCR23conceptopenhott_book index/2.9/proof-assistant
proof, assistant, \NuPRLEHAP7WJ981conceptopenhott_book index/9.11/proof-assistant-nuprl
proof, assistant, AgdaN5SYJSXEDYconceptopenhott_book index/A.12.3/proof-assistant-agda
proof, assistant, Coq5PKA57C0SKconceptopenhott_book index/1.15/proof-assistant-coq
proof, assistant, CoqT1YXAW8QS6conceptopenhott_book index/A.12.3/proof-assistant-coq
proof, assistant, CoqZGSX509NFJconceptopenhott_book index/9.11/proof-assistant-coq
proof, by contradictionJSMM60QH7Bconceptopenhott_book index/9.4/proof-by-contradiction
proof, by contradictionX6Q597TG9Vconceptopenhott_book index/A.11/proof-by-contradiction
proof, combinatorial3RCJ2P5BNYconceptopenapplied_combinatorics index/2.4/proof-combinatorial
Proof-producing $\delta$-decidabilityB0R9JMK9SMstatementrecord (an 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#X040
Proof: completed.VJ1P0A75MSproofopenopen_logic content/history/set-theory/cantor-plane.tex#proof-2
Proof: first part.G10S12WTEJproofopenopen_logic content/history/set-theory/cantor-plane.tex#proof-1
Prop 8.7.1; p. 485; , Section 4.3JPA7DYN3Z5definitionrecord (an 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.19791#SCSP
Prop. 2.9, Prop 2.2352GGJJQCVTstatementrecord (an 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.36181#2YYX
Prop. 2.9, Prop 2.23RDJ2NHB35Wstatementrecord (an 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.36181#CIG4
Propagation DissipatorYTEGTNZG04definitionrecord (an 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.26769#7DV8
Propagation from one level to the nextR04K4QCD3Astatementrecord (an 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.05652#Q644
Propagation identity, multiple revealsAH64NR39ZTstatementrecord (an 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.04989#56BR
Propagation identity, multiple revealsJ78XSASP4Sstatementrecord (an 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.04989#6FH1
Propagation of boundedness away from $\{\rho=1\}$12TPTB6MVTstatementrecord (an 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.08434#8GQ0
Propagation of Chaos62DS37AP7Tstatementrecord (an 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#WE3A
Propagation of chaos7YVCDGDN0Rstatementrecord (an 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.24185#Z2AN
Propagation of covariance momentsAQVNBATD7Sstatementrecord (an 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.32695#G097
Propagation of nonnegativity2DZJ7XB8A1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2608.19483#FRG1
Propagation of the covariance matricesQH5FAWVHWPstatementrecord (an 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.32695#QAZV
Propagation of the fractional-source residualG853SS29BVstatementrecord (an 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.05388#445L
Propagation of the magnetic profileFZT33CECQ2statementrecord (an 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.13248#FKGB
Propagation of the weighted $C^1$ bounds3W7GXN33RPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.09062#344K
Propagation of the whole primitive multisetXQBZRR61KWstatementrecord (an 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.05652#8AMB
Propagation under compositionBT92JPN5JCstatementrecord (an 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.25987#2QCY
Propagation with zero residual covariance96XSX8DY7Bstatementrecord (an 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.04989#WHB1
propagatorTC38HVC9AYunknownopenWikidata Q302518, nLab quantum propagator
Proper !!^{subformula}5DTXJ3XW3Jdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#defn-2
Proper Bayes-Sufficient CompressionEQ9DHDGSH1definitionrecord (an 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.03769#F2JT
proper class14DG00MGJJdefinitionopenWikidata Q11916410, MathWorld ProperClass, ProofWiki Definition:Class_(Class_Theory)/Proper_Class
Proper cone structuresGQS41X2FNMstatementrecord (an 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#E1LD
proper divisorPS28FE0C78unknownopenWikidata Q3032319, MathWorld ProperDivisor
proper element search77BG0NWZPBunknownopenmathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > proper element search
Proper fixed stable-map locusTTVKE3Q6GJstatementrecord (an 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.03520#XMGT
proper fraction868750ZGD0unknownopenWikidata Q11922678, MathWorld ProperFraction
proper group actionX9YVCNBF0JunknownopenWikidata Q121070525, MathWorld ProperAction, nLab proper action
proper idealVQVS93ZDE5definitionopenWikidata Q132227547, MathWorld ProperIdeal, ProofWiki Definition:Ideal_of_Ring/Proper_Ideal
proper map8DPNDRE0WTunknownopenWikidata Q1090009, EoM Proper_map, MathWorld ProperMap, nLab proper map
Proper mapping theoremKP6E5QKGP4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.02022#7ZN4
Proper metric spaceKQF570SBTYstatementrecord (an 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.05388#CIED
proper morphismHEJM0JPC35definitionopenWikidata Q7250176, EoM Proper_morphism, nLab proper morphism, ProofWiki Definition:Proper_Morphism_of_Schemes
Proper prefixA3AF3R0B0Xdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#defn-1
Proper proximality9C2Q1T3AW2statementrecord (an 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.22109#43LS
Proper PTR-submanifoldE4XNHQDKBKdefinitionrecord (an 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.00077#YFTK
proper rational functionG91B2EJH8Hconceptopenlebl_diffyqs index/7.1.3/proper-rational-function
proper subsetR7GX3QZ905definitionopenWikidata Q59489332, MathWorld ProperSubset, nLab proper subset, ProofWiki Definition:Proper_Subset
proper superset76NYXS9D64unknownopenWikidata Q59489401, MathWorld ProperSuperset
Proper-face calibration errors420X57JNN3statementrecord (an 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.29658#LWF6
Proper-face pair-shock aggregation7TVG7NFP0Tstatementrecord (an 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.29658#84XK
Proper-factor virtual unipotence at fixed rankK30TMKQP8Bstatementrecord (an 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.27204#QPPM
Proper-free-factor restrictionsQBH0BHJSHVstatementrecord (an 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.27204#LHX4
properly discontinuous actionDQSQAYVBTWunknownopenWikidata Q7250192, nLab properly discontinuous action
Properness and the common interiorEHHFDJ9RAQstatementrecord (an 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#QK4R
Properness of every componentZ92XFGW9XCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.02022#S87O
Properties and a priori estimates83K2XJ45WHstatementrecord (an 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#GIN5
Properties obtained from filtersKNMEV1GBVJstatementopennapkin tex/set-theory/forcing.tex#lemma-2
Properties of $\bS_h$K1FG4G97XYstatementrecord (an 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.01504#YA0O
Properties of $\calE$CANXX0W19Fstatementrecord (an 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.11034#HRWB
Properties of $\delta$-regularizationYXJN5K2HHQstatementrecord (an 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.12544#ZXB6
Properties of $\E$ for $q\ge1$XW37EHVN03statementrecord (an 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.20013#VWGC
Properties of $\hw$ and $\hu$X04PDPJ8PXstatementrecord (an 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.38132#F13V
Properties of $\Lambda_\Omega$7MB58QFVG2statementrecord (an 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.14988#UYMA
Properties of $\mT_\Omega$KXSR51R7ZFstatementrecord (an 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.14988#B2XF
Properties of $\Omega^*$GPF85528PVstatementrecord (an 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.14988#YLJW
Properties of $\Omega_\epsilon$A1PSVR9NHCstatementrecord (an 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.14988#Z95F
Properties of $\Psi_\varepsilon\ast 1_{\overline{B}_r(x)}$4EQ2R2F9B9statementrecord (an 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.24451#0U0L
Properties of $\Vds$JNZYB519KWstatementrecord (an 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.38132#836S
Properties of arithmetic encoding, lemma 2.8YNRF4MSA5Bstatementrecord (an 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.11031#8WZ6
Properties of binary visible choiceF71NFCWR17statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1803.10042#GFAU
Properties of compressionVKDTJ4B4PJdefinitionrecord (an 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.11031#N3F6
Properties of degrees3CSXRKSGS4statementopennapkin tex/alg-geom/bezout.tex#proposition-1
Properties of ERP $\GG_2$-Structures5V1AWQVV45statementrecord (an 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.34154#UQ6J
Properties of fractional exchange matricesCZ03NWR29Tstatementrecord (an 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.24569#WVTI
Properties of functions in $\mathcal F_j^+$DZXYW5A14Kstatementrecord (an 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.24451#YDSD
Properties of invertible matricesMMVYJTX0KDstatementopenaustin_ula src/section3-1.xml#proposition-invertible-properties
Properties of Legendre transformJMH7H9575Pstatementrecord (an 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.17519#J70A
Properties of Lorentz spaces50E1HF48YTstatementrecord (an 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#R195
Properties of Lorentz spacesXNA4JE7YR8statementrecord (an 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#055X
Properties of mixed tubesW0AV3RN1WNstatementrecord (an 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.11793#QD1O
Properties of net polynomialsY8V3JNKNM2statementrecord (an 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.20273#9EMR
Properties of one iterationDA9TQ6H0PBstatementrecord (an 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.06557#5OP5
Properties of one iterationPHJJQ3ABJNstatementrecord (an 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.02407#VGAY
Properties of polynomial hullsCMHTWJHHMFstatementrecord (an 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.28028#FOFH
Properties of representatives *{Lem. 3.2K5AMGVXVZVstatementrecord (an 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#NE2M
Properties of Schwarz SymmetrizationFA4BQ57HZKstatementrecord (an 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.05056#FNUC
Properties of the absolute normXQV2PSTWKQstatementopennapkin tex/alg-NT/dedekind.tex#lemma-1