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 1301–1400 of 5460.

NameIdKindOutcomeSources
Pass lengths, phase by phaseVZ2Y09VEZVstatementrecord (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.12713#FMR9
Passage from rational to integral finitenessE1BX5YYZ1Astatementrecord (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.26318#07QX
Passage of the nonlocal termsH28ZMYBYQ2statementrecord (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.12387#XJLC
Passage to full levelHKA7D8XY1Jstatementrecord (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.33808#11RB
Passage to pointed mapping objectsS7VM84C37Ystatementrecord (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.03865#WU1X
Passage to the unbounded BSPDET2W9C8E8JYstatementrecord (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.09278#2M93
Passing to powers removes the transientsXNM896YPYQstatementrecord (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.09602#QYE2
Passing uniform regularity and its deficit to the limitQBTB4F1N88statementrecord (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.38228#7KLZ
past5H8BDYECK3definitionopenWikidata Q192630, ProofWiki Definition:Past
Past version of the $C^{(1,3)}$ Hawking singularity theorem, version 1E0GB38XJT8statementrecord (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#F0UG
Pasting Lemma for $\star$-relative trisectionsB9CQC7CC39statementrecord (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 1911.06467#3TR5
Pasting Lemma for Relative Trisections with Empty BindingNE97J1ME3Bstatementrecord (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 1911.06467#NAQE
PASYC2F2SBPASYC2F2SBstatementrecord (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.30086#K1PT
Patchwork globalization7QSFFVB5CDstatementrecord (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.24610#ZM2U
path16MVBP57PAunknownopenWikidata Q1366002, MathWorld Path
path3PKV3T0A2Munknownnode (a node has the same Wikidata item as the row)Wikidata Q1415372, MathWorld GraphPath
path3YX5X2ADB8conceptopenhott_book index/1/path
path6DXK40K5RMconceptopenlebl_scv index/B/path
pathB9NVK1ZPF0conceptopenlevin_dmoi index/5.1/path
pathNR25MM0X3Mconceptopenapplied_combinatorics index/5.1/path
pathSAWKXC03VPconceptopenhott_book index/1.1/path
Path arrangement with bounded edge congestionQC2H780VB9statementrecord (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.02843#XJMX
Path biconjugacyW8ZR28S2DDstatementrecord (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.18350#4SZ6
path complement graphTZ4QMQFB8MunknownopenWikidata Q136039958, MathWorld PathComplementGraph
path connectednessCY99NM59T8unknownopenmathlib_undergrad Topology > Topology and Metric Spaces > path connectedness, Mathlib IsPathConnected
Path connectednessM22Q91D7RNunknownopen
Path energy and Riemannian distance on $\DiffSobId^m$ZFF2TXVSFJdefinitionrecord (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 2410.06788#PZQF
Path factorizations of the Darboux productSMVSY3JXF9statementrecord (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.26066#H52J
path graph5W7Y06HT43definitionnode (a node has the same Wikidata item as the row)Wikidata Q917421, MathWorld PathGraph, ProofWiki Definition:Path_Graph
path graph P3FDRRYJM2DRunknownopenWikidata Q127699255, House of Graphs 32234
path graph P4DGHA9W0KTKunknownopenWikidata Q127699294, House of Graphs 594
path graph P5EV95W95TQXunknownopenWikidata Q136049287, House of Graphs 286
path integralED4RA7MBG7topicopenWikidata Q898323, EoM Integral_over_trajectories
Path liftingF212SVCXFVstatementrecord (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.01346#WGA1
Path lifting property1EAKWENF24statementopenhott_book basics.tex#thm:path-lifting
Path lower-bound configuration, {*{Theorem 7.3NJCQY42QMFstatementrecord (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#SIGQ
Path rooted score9QJY4N301Fstatementrecord (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.39633#XFL3
Path selection problemSG70ZFBNGNstatementrecord (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.10393#6J1I
Path Type32GXA65PRFdefinitionrecord (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.07671#6I30
path, $n$-NC72H3TX7Kconceptopenhott_book index/5.13/path-n
path, $n$-NYFD5ACNRTconceptopenhott_book index/5.4/path-n
path, $n$-TSQ970C3TWconceptopenhott_book index/1.15/path-n
path, 2-1M2YHW3EQ6conceptopenhott_book index/1.1/path-2
path, 2-2APVHF3SR8conceptopenhott_book index/1/path-2
path, 3-2JVCZ6Z85Hconceptopenhott_book index/1/path-3
path, 3-A4W96TYBDYconceptopenhott_book index/1.1/path-3
path, augmentingJ87BBAEQYAconceptopenapplied_combinatorics index/13.3/path-augmenting
path, constant5TV7D8VP63conceptopenhott_book index/A.12.1/path-constant
path, dependentK072NRQMCBconceptopenhott_book index/1.3/path-dependent
path, dependentP5W58ZE2QMconceptopenhott_book index/5.2/path-dependent
path, dependent, in dependent function typesGY4YCDK9THconceptopenhott_book index/1.9/path-dependent-in-dependent-function-types
path, dependent, in function typesCEG21YNKDZconceptopenhott_book index/1.9/path-dependent-in-function-types
path, dependent, in identity types8C42DWEYJ5conceptopenhott_book index/1.11/path-dependent-in-identity-types
path, directedHVKJ96B5MDconceptopenapplied_combinatorics index/12.2/path-directed
path, fibration8DMNAW3QEWconceptopenhott_book index/7.1.2/path-fibration
path, induction325TSWC350conceptopenhott_book index/A.12.1/path-induction
path, induction basedWSMC5BJN18conceptopenhott_book index/A.12.1/path-induction-based
path, topologicalAPZDEJAZDFconceptopenhott_book index/u1.u2/path-topological
path, topologicalBW40C5RG08conceptopenhott_book index/1/path-topological
Path-clearing lemmaD920K3PPK5statementrecord (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#BZYY
path-connected spaceRCM0BR74EYunknownnode (a node has the same name as the row)Wikidata Q3487687, MathWorld Pathwise-Connected
Path-connectedness of $S_F^t (x_0)$ZMAXVDXJEFstatementrecord (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.10220#FGIB
Path-dependent induced geometry2TZ4Z8HD5Ystatementrecord (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.02528#LA4K
Path-length limit for deterministic weightsJT2RRTQ423statementrecord (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.00614#9Q4I
Paths of a Given TypeGBBAJNWEKCstatementrecord (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.07671#JPR5
pathwidth35FFR7E7XJunknownopenWikidata Q7144893, MathWorld Pathwidth
Pathwise characterization of maximal weak subslope8KWQ4E2471statementrecord (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#N1VH
Pathwise characterization of open setsQ1TDNEFF9Pstatementrecord (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.10591#ODK8
Pathwise covariance at one levelPCE63RJ2Y3statementrecord (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.38228#K6JO
Pathwise Ergodic TheoremRS0Y4RKDF6statementrecord (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.40096#E56M
Pathwise ergodic theorem under \(\mbK_{\vartheta;\omega}\MFV9XZHBNNstatementrecord (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.40096#ZH8Y
Pathwise extension to several swapsC90YYZHK1Dstatementrecord (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.19207#NHK5
Pathwise gradient6F4460BECHstatementrecord (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.26270#02ZY
Pathwise phase transitionZSJZB2WQX1statementrecord (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.00614#Z26G
Pathwise uniqueness for the stopped KS equationQPBANJ3E42statementrecord (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.28985#5SA6
Pathwise uniqueness for the stopped Zakai equation2PJR05ZG1Kstatementrecord (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.28985#77VE
Pathwise Uniqueness in the Rough RegimeM4HHAE3FVHstatementrecord (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#YTY6
Pathwise Uniqueness in the Young regime1ZRM5MAAKQstatementrecord (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#NBB8
Pathwise Uniqueness of Rough Solutions8Q1CZXH5EBdefinitionrecord (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#HBM1
Pathwise Uniqueness of Young Solutions9NNGSAQ9K2definitionrecord (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#TOS5
PATJQQTD4JPATJQQTD4Jconjecturerecord (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.38556#C35L
Patricia RitterYVXC47VY3Qunknownout_of_scope (a person, not an item of mathematics)Wikidata Q59842839, nLab Patricia Ritter
Patrick DehornoyCA6AWYXXV2unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1298883, nLab Patrick Dehornoy
Patrick du ValKASWN52N3Hunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1698330, nLab Patrick du Val
Patrick HaydenXW0X6ZKSZ2unknownout_of_scope (a person, not an item of mathematics)Wikidata Q7146677, nLab Patrick Hayden
Patrick Suppes1YT8Y367XNunknownout_of_scope (a person, not an item of mathematics)Wikidata Q323107, ProofWiki Mathematician:Patrick_Colonel_Suppes
pattern inventoryYAP9ZHKKHPconceptopenapplied_combinatorics index/15.4.2/pattern-inventory
pattern matchingNNPNFP7F37conceptopenhott_book index/8.6/pattern-matching
pattern matchingNWKF9Z1MKNconceptopenhott_book index/A.10/pattern-matching
pattern matchingQDWYNTNJ6Zconceptopenhott_book index/A.12.3/pattern-matching
pattern matchingTVEBDSAVPTconceptopenhott_book index/4.4/pattern-matching
Pattern N161FFY20RTWBstatementrecord (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.08865#PV6U
pattern trichotomyE9RG5C7K6Qstatementrecord (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.04000#MWLH
Patterns N13 and N149F63JGTMEPstatementrecord (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.08865#NWPG
Patterns N5--N8G036XDZKZTstatementrecord (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.08865#FVGS
Patterns N9--N1241K3YW5WEJstatementrecord (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.08865#VU0X
PATW40TQWBPATW40TQWBstatementrecord (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.28814#TERD
Paul AppellP7ABBK3G0Estatementout_of_scope (a person, not an item of mathematics)Wikidata Q715906, ProofWiki personnage/Paul_Émile_Appell/105834
Paul BernaysSD3S0MVDXEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q122318, nLab Paul Bernays
Paul Cohen6BMA754JFBunknownout_of_scope (a person, not an item of mathematics)Wikidata Q216809, nLab Paul J. Cohen