Inventory: D
The rows of the inventory whose names start with D. 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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 2801–2900 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Direction recovery with a well-conditioned Fisher matrix | KF0KD6GC0A | statement | record (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.33499#FX5U |
| Direction vector \& modulus | 4MN2V4HMZ6 | definition | record (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.10365#6XUM |
| Direction-covering boundary mass yields quadratic growth | NE0HFWKDTK | statement | record (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.33472#MI9D |
| Direction-of-deviation positivity | VBGZTB1M7T | statement | record (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.25120#7HK9 |
| directional 1-form | FN14HPMM3B | definition | record (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#J7JC |
| Directional affine extractor | PDKEMRB0YX | definition | record (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#P9T8 |
| Directional affine extractors imply average-case hardness | VMNFF030WY | statement | record (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#TKHU |
| Directional affine extractors imply weakly read-once hardness | QQX4MP21XW | statement | record (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#AGRN |
| Directional and distributional inverses | 8PBRFRA0JX | statement | record (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#VQ74 |
| Directional backward Monge density | C527PTBZPF | statement | record (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#QHGO |
| directional catalogue | 660WBJCX0N | definition | record (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#VZPU |
| Directional convolution | 2CSVA1DB9P | definition | record (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.13892#M0RO |
| Directional convolutions | 4SXS9K4DQ2 | statement | record (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.13892#HBY4 |
| Directional cosine radii | Z5AJM8JYNQ | statement | record (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#QGZ9 |
| directional derivative | 7VRNZ5KV9S | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > directional derivative, Mathlib lineDeriv |
| directional derivative | FVA7MW0TAS | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q383851, MathWorld DirectionalDerivative, nLab directional derivative |
| Directional derivative bias | 9GDKK8T0HA | definition | record (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#U8B5 |
| Directional derivative bounds on separated leaves | HRW400FRAY | statement | record (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#53I6 |
| Directional Derivative Lipschitz Bound | 9DVN6D7KW2 | statement | record (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.14344#Q56A |
| Directional derivative of the Fr\'echet function | WHDH5Z8CZ7 | statement | record (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.17909#5JB6 |
| Directional Derivatives | 5J64N92PY9 | definition | record (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.14344#9SCA |
| Directional derivatives | XKMR8BSNZF | statement | record (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.37479#E24J |
| Directional derivatives at a boundary point | 80RAEGK26M | statement | record (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#HKCN |
| Directional derivatives transverse to a flat boundary piece | DNRM2N568K | statement | record (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#4NEY |
| Directional entropy measurements determine a vector law | AGTFS2EJ77 | statement | record (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#XZVT |
| Directional Fr\'echet-cosine inequality | Q9RESWCTAM | statement | record (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.17909#70YF |
| Directional hardness with independent uniform auxiliary variables | E3WQQHG59S | statement | record (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#0MHI |
| Directional Hessian Smoothness Bound | 8H2TGM3R2A | statement | record (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.14344#MQZL |
| Directional overlapping-gadget lifting | VJ5MHSPRFT | statement | record (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#TZUM |
| Directional phase and arrival-time difference | MCRNQTE3A9 | statement | record (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.21328#K8CJ |
| Directional Pitt's inequality for $p=q=2$ | 3HPRJ9D34H | statement | record (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.34946#OM23 |
| Directional regret from one comparison per round | GJK3M0QQN9 | statement | record (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.05428#ZJNT |
| Directional regret of discrete block-normalized learning | TFNF6AQQ14 | statement | record (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.05428#UURU |
| Directional spin convolution | RD4GPW6HNS | definition | record (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.13892#CPER |
| Directional stability of Reeb graphs | MG8BJWYHT8 | statement | record (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.03126#YYGI |
| Directional stability of the Reeb Transform | ZXDH8AXZQP | statement | record (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.03126#O2DQ |
| Directional tube categories | A5JCVZNX6C | definition | record (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.08787#55SC |
| Directional two-sample extension | NRK69TMXX3 | statement | record (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.30565#VYYT |
| directrix | 9QX7B6G7BV | unknown | open | Wikidata Q12718748, MathWorld ConicSectionDirectrix |
| Diregularity Lemma | BW2APPY1F1 | statement | record (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 2603.21971#VNKJ |
| Dirichlet beta function | QZV97H6HZQ | definition | open | Wikidata Q1227706, MathWorld DirichletBetaFunction, ProofWiki Definition:Dirichlet_Beta_Function |
| Dirichlet boundary condition | 34YE1AT5E9 | unknown | open | Wikidata Q1193699, MathWorld DirichletBoundaryConditions |
| Dirichlet boundary conditions | CYCCAMQEMR | concept | open | lebl_diffyqs index/3.1.1/dirichlet-boundary-conditions |
| Dirichlet CG approximation with mutation | 4NVJPHQMT4 | statement | record (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.02669#2Y12 |
| Dirichlet character | CFSQEN9YXK | unknown | open | Wikidata Q1063579, Mathlib DirichletCharacter, MathWorld DirichletCharacter, nLab Dirichlet character |
| Dirichlet class number formula | T3F6F3T434 | unknown | open | mathlib_overview General algebra > Algebraic Number Theory > Dirichlet class number formula, Mathlib NumberField.tendsto_sub_one_mul_dedekindZeta_nhdsGT |
| Dirichlet conditions | WD663Q52RE | statement | open | Wikidata Q1227685, MathWorld DirichletFourierSeriesConditions |
| Dirichlet convolution | 3YZN6P7P5R | concept | node (a node has the same name as the row) | Wikidata Q6453184, EoM Dirichlet_convolution, ProofWiki Definition:Dirichlet_Convolution |
| Dirichlet correction | 87Z0JP7H9Y | statement | record (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.19461#S2UR |
| Dirichlet decomposition | 5WDV2W78HC | statement | record (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.05421#XZ96 |
| Dirichlet Divisor Problem | VJRHYJXSKB | concept | open | Wikidata Q81421260, MathWorld DirichletDivisorProblem |
| Dirichlet energy | 9FVBYVW4G7 | definition | record (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.28185#KYYP |
| Dirichlet eta function | 4RX7M0SXNT | unknown | open | Wikidata Q973313, MathWorld DirichletEtaFunction |
| Dirichlet form comparison | 1W374FGHN1 | statement | record (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.09522#OONP |
| Dirichlet function | P9JCG9KCHS | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q948386, MathWorld DirichletFunction |
| Dirichlet heat kernel: bounds and vanishing | 27EFQKSD5Y | statement | record (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.08011#CDMC |
| Dirichlet integral | Q04MKWD44C | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q778099, MathWorld DirichletIntegrals |
| Dirichlet L-function | 6EV0Z1BJRP | unknown | open | Wikidata Q2264419, MathWorld DirichletL-Function, MathWorld DirichletL-Series, nLab Dirichlet L-function |
| Dirichlet lambda function | AM6QZ50PNG | unknown | open | Wikidata Q115966623, MathWorld DirichletLambdaFunction |
| Dirichlet principle | 3XHBEEVSCX | statement | record (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.06944#F112 |
| Dirichlet problem | PV054Z980J | topic | open | Wikidata Q1192869, EoM Dirichlet_problem, MathWorld DirichletProblem |
| Dirichlet Process | 934KFXPZG8 | definition | record (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.21340#CBOA |
| Dirichlet Process, Dirichlet Mean, Markov-Krein Transform | DV8MH1HJTS | definition | record (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.18436#IP2G |
| Dirichlet series | G0S6SS9ZVJ | unknown | open | Wikidata Q620595, LMFDB knowl lfunction.dirichlet_series, MathWorld DirichletSeries |
| Dirichlet theorem | AAYMTQ871C | unknown | open | mathlib_undergrad Measures and integral calculus > Fourier analysis > Dirichlet theorem |
| Dirichlet's $S$-unit Theorem | 9WWA2X6C3G | statement | record (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.32138#VCGI |
| Dirichlet's approximation theorem | PTXAQHJ7PV | statement | node (a node has the same name as the row) | mathlib_1000 Q1227703, Mathlib AddCircle.exists_norm_nsmul_le, Mathlib Real.exists_int_int_abs_mul_sub_le, Mathlib Real.exists_nat_abs_mul_sub_round_le, Mathlib Real.exists_rat_abs_sub_le_and_den_le, Wikidata Q1227703, thousand_plus Q1227703, Wikipedia Dirichlet's approximation theorem |
| Dirichlet's energy | SJNA6AJ811 | unknown | open | Wikidata Q5280760, MathWorld DirichletEnergy |
| Dirichlet's principle | 6WDFVHBBJ1 | unknown | open | Wikidata Q975727, MathWorld DirichletsPrinciple |
| Dirichlet's theorem on arithmetic progressions | 7NJNJY1XC9 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 48, Mathlib Nat.infinite_setOfPred_prime_and_eq_mod, mathlib_1000 Q550402, Wikidata Q550402, thousand_plus Q550402, Mathlib Nat.infinite_setOf_prime_and_eq_mod, Wikipedia Dirichlet's theorem on arithmetic progressions, MathWorld DirichletsTheorem |
| Dirichlet's unit theorem | C3YPA0PYTY | statement | open | mathlib_1000 Q1227702, Mathlib NumberField.Units.basisModTorsion, Mathlib NumberField.Units.exist_unique_eq_mul_prod, Wikidata Q1227702, mathlib_overview General algebra > Algebraic Number Theory > Dirichlet unit theorem, thousand_plus Q1227702, Wikipedia Dirichlet's unit theorem, nLab Dirichlet's unit theorem |
| Dirichlet--Neumann bracketing | S9HFQV8PVB | statement | record (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.24892#DW0T |
| Dirichlet-Cannings-Gillespie | 81Y2DQEVPV | example | record (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.02669#WQQL |
| Dirichlet-process power Fr\'echet means | 24YEDR3NJV | statement | record (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.00501#P7KO |
| Dirichlet-to-interior-Neumann formulation | BBYJVTDQTS | statement | record (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#TUPU |
| Dirichlet-to-interior-Neumann map | 8CDKXTKF9T | statement | record (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#SL03 |
| Dirichlet-to-Neumann matching | ZDM70EDTVB | statement | record (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 2501.09848#7UZE |
| Dirk Kreimer | R74BF728DA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q118448, nLab Dirk Kreimer |
| Disappearance under enlargement of the first part | M7DD23CSTW | problem | record (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.04305#MWVW |
| disc | 8V8JT8F658 | concept | open | hott_book index/5.6/disc |
| disc | M3PYMHZ7J4 | concept | open | hott_book index/5.7/disc |
| discarded block | DZ404Q2YX3 | statement | record (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.26134#B2H0 |
| Disconnected and connected spaces | MBE0R6T6PH | example | open | napkin tex/topology/top-more.tex#example-2 |
| disconnected graph | 30MZNME9XK | unknown | open | Wikidata Q138827270, MathWorld DisconnectedGraph |
| Discontinuity | ENE8VT5X91 | statement | record (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.34402#EP0A |
| discontinuity | PZGKFGVY1V | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q541961, MathWorld Discontinuity |
| Discontinuity set | 72986NWQPR | statement | record (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.39409#QQ8W |
| discontinuous function | MAZ5YSCRD9 | unknown | open | Wikidata Q91305654, EoM Discontinuous_function, MathWorld Discontinuous |
| Discounted costs, horizon-free | TTGSG4G148 | statement | record (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#HUMG |
| Discounted fixed point | HW3CGZ39MQ | statement | record (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#B77T |
| Discounted hitting domination | NEW38ZARN5 | definition | record (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.31535#1UU2 |
| Discounted hitting potential | JHQHNEHWYN | statement | record (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.31535#FQYZ |
| Discovery order given the stopped forest | 4Z3SHDAQ6K | statement | record (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.13063#9PU9 |
| Discovery order given the tree | NVKEYA8MS7 | statement | record (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.13063#I2IL |
| discrete $(h,\nu)$-perturbation | 4PBQGMGZC8 | statement | record (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.30559#K6JN |
| Discrete \Lojasiewicz estimate | G8XJ0MQH1M | statement | record (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.10790#VT95 |
| Discrete alphabets | WKQ34195F4 | example | record (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.28297#JVGT |
| Discrete annealing for two schemes of Mou et al. | 9NH3YE170Z | statement | record (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.28611#YTVD |
| Discrete averaging of the action | WNV8EPF91R | statement | record (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.19461#M1NE |
| Discrete barrier bound | 59JK20QQ6Z | statement | record (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.05313#QP7Z |