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 9001–9100 of 13732.

NameIdKindOutcomeSources
Projective spanGZEYK3AY42unknownopenWikipedia Projective space#27CY
projective special linear groupCGP5E9VFKMunknownopenWikidata Q78498942, MathWorld ProjectiveSpecialLinearGroup, nLab projective special linear group
Projective special linear groupVK76NX5056definitionopenWikipedia List of mathematical abbreviations#S1J9
Projective special unitary group4Z6TXD6F56definitionopenWikipedia List of mathematical abbreviations#QDXF
Projective special unitary groupJT6ZQZWBSHunknownopenWikipedia Projective unitary group#LFVD
Projective symplectic groupJJE5P5J3XKunknownopenWikipedia Classical group#2M1S
Projective tensor productCWWPZQEF6GdefinitionopenWikipedia List of topologies#7BG0
Projective tensor productGZW2RB0Q0JdefinitionopenWikipedia Projective tensor product, Wikidata Q89672221
Projective Tits inputXNX780XH82statementrecord (an 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.36098#F9DZ
Projective transformationC05K4WH4BAdefinitionopenWikipedia List of algebraic geometry topics#ZC1Y
Projective transformations1V9GJZ45DPexamplerecord (an 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.18154#OXD3
projective unitary groupE6WNVE6MK4definitionopenWikidata Q7249475, MathWorld ProjectiveGeneralUnitaryGroup, nLab projective unitary group, Wikipedia Projective unitary group
Projective unitary groupFSH34JW88RdefinitionopenWikipedia List of mathematical abbreviations#CCY2
projective variety4NFRXDGHQ4definitionopenWikidata Q3554818, EoM Projective_algebraic_set, MathWorld ProjectiveAlgebraicVariety, nLab projective variety, Wikipedia Projective variety
Projective vector field62VGKM9TE8definitionopenWikipedia Projective vector field, Wikidata Q7249477
Projective version of the Kong--Tamo boundS0RQQ058SHstatementrecord (an 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.33365#A1YH
Projective-ray estimate6QXFTQP098statementrecord (an 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.04099#6BSU
projectively extended real lineW2HW6DV7XMdefinitionopenWikidata Q2558939, MathWorld ProjectivelyExtendedRealNumbers, Wikipedia Projectively extended real line
Projectively extended real lineWZYZMKRF9YdefinitionopenWikipedia List of topologies#OJML
projectively normalD3RK8V61G6definitionopenWikipedia Glossary of algebraic geometry#J4DR
Projectively unique polytope3Q20FQV0EQdefinitionopenWikipedia Projectively unique polytope, Wikidata Q135654578
projectivity2BVP4SVH3NdefinitionopenWikipedia Glossary of classical algebraic geometry#SS5L
projectivization8GXQCMM60KdefinitionopenWikidata Q7249479, MathWorld Projectivization, Wikipedia Projectivization
Projector converseVS74DSGD1Vstatementrecord (an 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.35986#RXUB
Projector drift via Davis--Kahan5B4V607HJRstatementrecord (an 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.08152#JYNU
Projector identifiabilityD16944A2CPstatementrecord (an 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.31458#SHIG
Prokhorov distanceS25XMC1VZKdefinitionrecord (an 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.40338#ZJPB
Prokhorov's theorem1N3DQ0M4YXstatementopenWikipedia List of theorems#7Q9Q
Prokhorov's theoremTBETGA4DBMstatementopenmathlib_1000 Q7249519, Mathlib isCompact_setOfPred_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOfPred_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOfPred_probabilityMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_closure_of_isTightMeasureSet, Wikidata Q7249519, thousand_plus Q7249519, Mathlib isCompact_setOf_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOf_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOf_probabilityMeasure_mass_eq_compl_isCompact_le, Wikipedia Prokhorov's theorem
ProlateET415PBTGGunknownopenWikipedia Spheroid#ZQNE
prolate cycloid14Z9PP0JGWunknownopenWikidata Q78153395, MathWorld ProlateCycloid
prolate epicycloidBGTSPSBEMSunknownopenWikidata Q78154039, MathWorld ProlateEpicycloid
prolate hypocycloidE0VVS6W3V6unknownopenWikidata Q78154038, MathWorld ProlateHypocycloid
prolate spheroidCQENHCPVSPunknownopenWikidata Q3297588, MathWorld ProlateSpheroid
prolate spheroidal coordinates66X4SRVHB6definitionopenWikidata Q7249552, MathWorld ProlateSpheroidalCoordinates, Wikipedia Prolate spheroidal coordinates
Prolate spheroidal wave functionXZH3M8MEKHdefinitionopenWikipedia Prolate spheroidal wave function, Wikidata Q7249549
Prolog13S6QBVWYRdefinitionopenWikipedia Prolog, Wikidata Q163468
Prolog atomVHMDBC0Y4TunknownopenWikipedia Prolog#9I4S
Prolog-MPIVDECQ9W6RCunknownopenWikipedia Prolog#1CMN
Promise problem486QBS81K6problemopenWikipedia Promise problem, Wikidata Q130203
promonoidal categoryTHW6VWBRJNunknownopenWikidata Q107469099, nLab promonoidal category
promotion6F9HE1XK6BdefinitionopenWikidata Q215599, ProofWiki Definition:Chess/Pawn/Promotion
Prompt-conditioned score TransformerGXMZS5B341definitionrecord (an 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.05333#U7B2
Prompt-generating processGTSDJMFDPMdefinitionrecord (an 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.05333#0F6Y
PromptuaryJRQRGH1KQ6definitionopenWikipedia Promptuary, Wikidata Q7249900
PROMYSGZW55FY09TunknownopenWikipedia Arnold Ross#D3PJ
pronic numberKZCYWCGGHBdefinitionopenWikidata Q1486643, MathWorld PronicNumber, OEIS A002378, Wikipedia Pronic number
Pronic numberZWEQFNPR6EdefinitionopenWikipedia List of sums of reciprocals#KR5G
Pronormal subgroupXYZEQV59QEdefinitionopenWikipedia Pronormal subgroup, Wikidata Q7249944
Pronoun disambiguation problemRG6XAMBKKYunknownopenWikipedia Winograd schema challenge#ZC9K
Prony's method3E5FD0AC5FdefinitionopenWikipedia Prony's method, Wikidata Q7249979
Proof4VTT3JJXVXdefinitionopenWikipedia List of mathematical proofs#H8ER
Proof6B1N7DXJNZdefinitionopenWikipedia Proof (truth), Wikidata Q516021
proof6PJB91KF4XdefinitionopenWikipedia Glossary of logic#5S8X
ProofCKQZM3J31HdefinitionopenWikipedia Proof (play), Wikidata Q3211925
ProofDF3BJPCC5Xproofopenopen_logic content/set-theory/replacement/refproofs.tex#proof-2
proofKXAF0WSFYYdefinitionopenWikipedia List of mathematical abbreviations#GOR5
proofM8NYR28X6Tconceptopenhott_book index/A.11/proof
proofQ7J14FE12Cconceptopenhott_book index/A.1/proof
ProofV6DE785EWMunknownopenWikipedia List of films about mathematicians#1XCC
proof assistant7AWVQC2ACKdefinitionopenWikidata Q11387554, nLab proof assistant, Wikipedia Proof assistant
Proof by assertion7DYYPZZHSVdefinitionopenWikipedia List of fallacies#H6D4
Proof by assertion9PB1TVP7A9definitionopenWikipedia Proof by assertion, Wikidata Q7249996
proof by casesBF4DG7QKQDconceptopenlevin_dmoi index/4.2.5/proof-by-cases
proof by casesS9M4SH2Y57definitionopenWikipedia Glossary of logic#SK7F
proof by contradictionVY3W75JEVCconceptopenlevin_dmoi index/4.2.3/proof-by-contradiction
proof by contradictionZJ3E8DJ8ENstatementopenWikidata Q184899, MathWorld ProofbyContradiction, nLab proof by contradiction, ProofWiki Proof_by_Contradiction
proof by contrapositiveDBEJE0GSHMconceptopenlevin_dmoi index/4.2.2/proof-by-contrapositive
Proof by exampleRQTXCJ1BWPdefinitionopenWikipedia Proof by example, Wikidata Q623213
Proof by exhaustionVDYM42SP1PdefinitionopenWikipedia Proof by exhaustion, Wikidata Q9299950
proof by induction8ZGDDC6MGWdefinitionopenWikipedia Glossary of logic#Q6X2
Proof by infinite descentQ4FHNP01ZXdefinitionopenWikipedia Proof by infinite descent, Wikidata Q619388
Proof by intimidation3VC5T5K3QFdefinitionopenWikipedia Proof by intimidation, Wikidata Q7250000
Proof calculusRWB279XHB2definitionopenWikipedia Proof calculus, Wikidata Q7250002
Proof complexityGJ2ENE13T8topicopenWikipedia Proof complexity, Wikidata Q7249999
Proof compression7M1FV5ZW2JdefinitionopenWikipedia Proof compression, Wikidata Q7250001
Proof mining34ETY91MG3definitionopenWikipedia Proof mining, Wikidata Q7250003
proof netJBW75D4BEAdefinitionopenWikidata Q3457091, nLab proof net, Wikipedia Proof net
Proof of $(\exists x)P(x)$ by Contradiction76JVZ08VQKproofopenernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton-2
Proof of $(\forall n \in \mathbb{Z})(n \geq a \implies P(n))$ by InductionECB6BGN431proofopenernst_ibl MAAPressVersion/MoreInduction.tex#skeleton-1
Proof of $(\forall n\in\mathbb{N})P(n)$ by Complete InductionDPY4RCRYNRproofopenernst_ibl MAAPressVersion/CompleteInduction.tex#skeleton-1
Proof of $(\forall n\in\mathbb{N})P(n)$ by Induction42PEFESKK2proofopenernst_ibl MAAPressVersion/IntroInduction.tex#skeleton-1
Proof of $(\forall x)(A(x)\implies B(x))$15RB0HXFG1proofopenernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:for all direct proof
Proof of $(\forall x)P(x)$ by ContradictionASMJ9KM73Xproofopenernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton-1
Proof of $A\implies B$ by contradiction9DG1KQH80Pproofopenernst_ibl MAAPressVersion/NegatingAndContradiction.tex#pf by contradiction for implication
Proof of $A\implies B$ by contraposition3Y1EJ1YHGQproofopenernst_ibl MAAPressVersion/NegatingAndContradiction.tex#pf by contraposition
Proof of $A\implies B$ by direct proof942D4MKJ04proofopenernst_ibl MAAPressVersion/NegatingAndContradiction.tex#skeleton:direct proof
Proof of $P$ by contradictionYPXV4H58WKproofopenernst_ibl MAAPressVersion/NegatingAndContradiction.tex#skeleton-1
Proof of \cref{thm:flattening}P2T9D80263proofopenhott_book hits.tex#proof-34
Proof of \cref{thm:freudcode}YTJEHACBTHproofopenhott_book homotopy.tex#proof-30
Proof of \cref{thm:freudenthal}F93ZBDWQVAproofopenhott_book homotopy.tex#proof-32
Proof of \cref{thm:hlevel-loops}DJW1KM3ETPproofopenhott_book hlevels.tex#proof-14
Proof of \Cref{thm:uniqueness_primary_form_one_prime_torsion_module}G3TBSYARQGproofopennapkin tex/H113/structure.tex#proof-6
Proof of \olref{prop:rep-add}VDHMJ0QRKJproofopenopen_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-4
Proof of \olref{prop:rep-id}YM3DS0VNMMproofopenopen_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-2
Proof of \olref{thm:interpolation}645QVZJQ9Bproofopenopen_logic content/proof-theory/cut-elimination/interpolation.tex#proof-2
Proof of \olref{thm:lob}JA77Z8ZYZSproofopenopen_logic content/incompleteness/incompleteness-provability/lob-thm.tex#proof-1
Proof of \thmref{thm:dbaronpoly}4BGZKSYYSZproofopenlebl_scv scv.tex#proof-59
Proof of \thmref{thm:fourierlocalization}TBJ9NMFM7Kproofopenlebl_ra ch-approximate.tex#proof-32
Proof of \thmref{thm:Rothstein}6J7JDRPNP1proofopenlebl_scv scv.tex#proof-11