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 12901–13000 of 13732.

NameIdKindOutcomeSources
Ptolemy's theorem30T2EGA9T5statementopenWikipedia List of theorems#IL24
Ptolemy's theorem8VQ5YM6DHMstatementopenWikipedia Pythagorean theorem#ZYVK
Ptolemy's theoremFESQ6ZZZMRstatementopenWikipedia Euclidean geometry#H1JS
Ptolemy's theoremPCEC0DQSTNstatementopenWikipedia Cyclic quadrilateral#SK49
Ptolemy's theoremQ4C823BVS2statementnode (a node has the same Wikidata item as the row)mathlib_100 95, Mathlib EuclideanGeometry.mul_dist_add_mul_dist_eq_mul_dist_of_cospherical, mathlib_1000 Q459547, Wikidata Q459547, thousand_plus Q459547, Wikipedia Ptolemy's theorem, MathWorld PtolemyInequality
PTP91NBPHXPTP91NBPHXstatementrecord (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.23803#21I4
PTPE3XM5EHPTPE3XM5EHexamplerecord (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.00323#KVC3
PTPWRQTC07PTPWRQTC07statementrecord (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.18600#8IRK
PTQ0J1GFZNPTQ0J1GFZNstatementrecord (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.08766#1ZL8
PTQ1JN842QPTQ1JN842Qstatementrecord (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.06785#X5DJ
PTQA0V1KCRPTQA0V1KCRstatementrecord (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.33185#SS89
PTQB15CQZAPTQB15CQZAexampleopenlevin_dmoi ptx/sec_counting-advPIE.ptx#example-2
PTQCQ6TVFVPTQCQ6TVFVstatementrecord (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 2011.06637#UGO9
PTQPA0KZKKPTQPA0KZKKdefinitionrecord (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.16779#LE4Q
PTRC73NGGFPTRC73NGGFdefinitionrecord (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.03358#0EP3
PTRVBCEEBBPTRVBCEEBBstatementrecord (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.18562#6F66
PTS80PXZGDPTS80PXZGDstatementrecord (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.15528#ZKHE
PTSCJJM6GKPTSCJJM6GKstatementrecord (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.10469#84XM
PTSNBN9563PTSNBN9563statementrecord (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.21929#ZUAH
PTTABM00BTPTTABM00BTstatementrecord (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.12014#HMKB
PTTF6PRAKHPTTF6PRAKHstatementrecord (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 2211.14214#DAE2
PTTZKYKQRHPTTZKYKQRHstatementrecord (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.08190#AKPS
PTV3JM5M16PTV3JM5M16proofopenopen_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-3
PTVNRB22QWPTVNRB22QWstatementrecord (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.09201#PCA1
PTWDXPEXH6PTWDXPEXH6exerciseopenlebl_diffyqs ch-fourier-and-pde.tex#exercise-29
PTWHRERAQ6PTWHRERAQ6exerciseopenlevin_dmoi ptx/exercises/intro-sets.ptx#exercise-12
PTWX8VSHXSPTWX8VSHXSstatementrecord (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.32650#CVBN
PTX2P39XKPPTX2P39XKPstatementrecord (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.22374#QZR1
PTX9DAAT6QPTX9DAAT6Qexamplerecord (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.15720#6NU4
PTXB2X5NGJPTXB2X5NGJstatementrecord (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 2212.05398#C7ES
PTXNHDE2RAPTXNHDE2RAstatementrecord (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.20203#SL9N
PTYEAD7Q7TPTYEAD7Q7Tstatementrecord (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.26401#KIR3
PTYQ11JFRXPTYQ11JFRXexerciseopenaustin_ula src/section4-1.xml#ula-preview-4-1
PTYQPT5JX7PTYQPT5JX7statementrecord (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 math/9802134#PNU3
PTZ31XBF4BPTZ31XBF4Bstatementrecord (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.17863#85OW
PTZ4MBE8KQPTZ4MBE8KQstatementopenapplied_combinatorics source/s_background_relations.ptx#proposition-1
PTZQAK2X5HPTZQAK2X5Hdefinitionopennapkin tex/cats/functors.tex#definition-4
PTZV3XK1ZNPTZV3XK1ZNdefinitionrecord (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.21052#FCF0
PTZVMXZ486PTZVMXZ486proofopenlebl_ra ch-der.tex#proof-2
PTZYVH6E98PTZYVH6E98statementrecord (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.31220#QY7O
PTZYW1ADSEPTZYW1ADSEexerciseopenhott_book reals.tex#ex:reals-apart-neq-MP
PU learningJAWZDGHQ85unknownopenWikipedia One-class classification#I03V
Pu's inequality3HSTGS6A8WstatementopenWikipedia Pu's inequality, Wikidata Q7257195
Pu's inequalityD83QVGYQ14statementopenWikipedia List of differential geometry topics#Q4UK, Wikipedia List of inequalities#JW79
Public BlockchainS7M0QMRMESunknownopenWikipedia Blockchain#GKPG
Public key certificateJWF9520T82definitionopenWikipedia Public key certificate, Wikidata Q274758
Public key fingerprintC0PNB98YQAdefinitionopenWikipedia Public key fingerprint, Wikidata Q6578920
Public key infrastructureM7XCQVRY2CdefinitionopenWikipedia Public key infrastructure, Wikidata Q658476
Public Policy Institute of CaliforniaGB4W2WVE51unknownopenWikipedia List of polling organizations#4KAX
Public Policy PollingP2FHQTN3DHunknownopenWikipedia List of polling organizations#GMKJ
Public scalar exposureJDVD3MAFCNstatementrecord (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.38668#HSBK
Public Use Microdata AreaJW6EX6AP3MdefinitionopenWikipedia Public Use Microdata Area, Wikidata Q7257651
Public-key authentication4XHV1G8K5YunknownopenWikipedia Key authentication#2CR8
Public-key cryptographyA6YHW15Q8DdefinitionopenWikipedia List of telecommunications encryption terms#VJL8
public-key cryptographySHJ56XSRT9definitionnode (a node has the same Wikidata item as the row)Wikidata Q201339, MathWorld Public-KeyCryptography, Wikipedia Public-key cryptography
Public-key encryptionRMKDSND9JQstatementrecord (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.14615#61I2
Public-key steganography7WJD0Y8YT3statementrecord (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.14615#GFM2
Publication biasN2S0KY2X3MdefinitionopenWikipedia Publication bias, Wikidata Q919364
Publications in topologyFS23GS8QHYtopicopenWikipedia List of topology topics#HBZK
Publications of Statistics CanadaEE1FBK66VKunknownopenWikipedia Statistics Canada#3N7I
Publicly verifiable secret sharingS51NYT46XHdefinitionopenWikipedia Publicly verifiable secret sharing, Wikidata Q7258075
Published hereditary and periodic criteriaEEBF5BP86Vstatementrecord (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.39700#PUNX
Published strong-monotonicity subsolverQYR7GCN1RHstatementrecord (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.05038#2DUV
Puck puzzleVZTJMFQ80MproblemopenWikipedia Puck puzzle, Wikidata Q1124035
Pugh's closing lemma7ETK6J9WAWstatementopenWikipedia List of lemmas#ZZEA
Pugh's closing lemmaN0HC1BEVBCstatementopenWikipedia Pugh's closing lemma, Wikidata Q7258945
Pui Ching Invitational Mathematics CompetitionW59VN6E5Z4unknownopenWikipedia List of mathematics competitions#6Q5H
Puig subgroupPFPBYH8XP4definitionopenWikipedia Puig subgroup, Wikidata Q7259034
Puiseux seriesWJJVQKJ7BHstatementopenmathlib_1000 Q401319, Wikidata Q401319, thousand_plus Q401319, MathWorld PuiseuxSeries, nLab Puiseux series, Wikipedia Puiseux series
Puiseux's theoremNXVH8CRH90statementopenWikidata Q3527141, MathWorld PuiseuxsTheorem
Puiseux's theoremZ8DVM01NH1definitionopenWikipedia List of theorems#40I6
Puiseux’s TheoremTWPBZEX2STstatementopenmathlib_100 41
Pulation squareRN5931QGJWdefinitionopenWikipedia Pulation square, Wikidata Q7259225
Pull of the presentKFQX8MGQ10unknownopenWikipedia Push of the past#LSVD
Pull-through formulaNBZ2PCKWK6statementrecord (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.16081#Z3RV
Pullback1AK2DPNTHKdefinitionopenWikipedia Pullback, Wikidata Q7259417
pullback80SFM6EXG5definitionopenWikidata Q1397439, nLab pullback, ProofWiki Definition:Pullback_(Category_Theory), Wikipedia Pullback (category theory)
pullbackC38MFH893KdefinitionopenWikidata Q978505, nLab pullback of a differential form, Wikipedia Pullback (differential geometry)
pullbackCG0EKZCH7DdefinitionopenWikipedia Glossary of algebraic topology#4X17
pullbackCP2E7X7PGGconceptopenhott_book index/3.8/pullback
pullbackDRJAE9E0HVconceptopenhott_book index/5.8/pullback
pullbackN7Z0A0T1Z6conceptopenhott_book index/6.1/pullback
pullbackTWKKQ0VZDPconceptopenhott_book index/C.1.1/pullback
pullbackX4CQ48QSC2definitionopenWikidata Q25345330, nLab pullback in cohomology, Wikipedia Pullback (cohomology)
Pullback and $d$ commuteMVNNVEREDYexerciseopennapkin tex/diffgeo/stokes.tex#problem-1
Pullback Box metricBP4VT4CTEAdefinitionrecord (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.26262#7GGD
pullback bundleES5DDXGZ2SdefinitionopenWikidata Q4200951, nLab pullback bundle, Wikipedia Pullback bundle
Pullback compatibility of the cohomological operatorsVYMNYRXCGGstatementrecord (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.04179#J715
Pullback decompositionBZY6J7JV4Mstatementrecord (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.20230#OQLV
Pullback Lemma18ESPTVXTHstatementrecord (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.09650#7RD0
pullback mapAMNJ9PJR94definitionrecord (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 1408.1555#PZIH
Pullback measure and transformation formulaA5TCDYZH6JstatementopenWikipedia Change of variables#P5SN
Pullback of Segre cyclesRDATREDEEHstatementrecord (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.07528#XH0M
pullback of the basis functionsH8WMEZZ2WKstatementrecord (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.39511#FEOM
pullback of the basis functionsHDKY1F9X35statementrecord (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.39511#JSCV
pullback of the basis functions, BernsteinVQ2AAEA6H5statementrecord (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.39511#TSXG
Pullback of the subspace theorem2Q8XP0BEVGstatementrecord (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.17589#HKXV
pullback of vector fieldsXPMNYTFCDPunknownopenmathlib_overview Geometry > Differentiable manifolds > pullback of vector fields, Mathlib VectorField.mpullback
pullback surjects to basic forms93BT1WSAACstatementrecord (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 1408.1555#QNRB
Pullback suspensionANDTYE86F4statementrecord (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.00115#FNSE