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 1901–2000 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Derivative of a vanishing mixed block | MGVCTXKZRV | 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.25762#UFRT |
| derivative of the Heaviside function | EJHF93YNJM | unknown | open | mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of the Heaviside function |
| Derivative of the initial condition | RYAC4VDNGY | 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.32710#4DGB |
| Derivative of the interpolation | HEBQ0N6P7X | 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.06480#JD80 |
| derivative of the inverse of a function | CY8WAB7N9A | unknown | open | mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of the inverse of a function, Mathlib HasStrictDerivAt.of_local_left_inverse |
| derivative of the inverse of a function | GSBGE0YFB2 | unknown | open | mathlib_overview Analysis > Differentiability > derivative of the inverse of a function, Mathlib HasFDerivAt.of_local_left_inverse |
| Derivative of the terminal residual | NE0QPEGASQ | 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.05164#729B |
| Derivative root count | FK9N6Y51XR | 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.33327#X5VS |
| derivative test | F3AA6JGRWH | concept | open | Wikidata Q898560, MathWorld FirstDerivativeTest |
| derivative, arcsine | JV5A2R66PH | concept | open | active_calculus index/2.6.4/derivative-arcsine |
| derivative, complex-valued function | NEFF75M18D | concept | open | lebl_ra index/1.1.3/derivative-complex-valued-function |
| derivative, constant function | MAAMMBY6WN | concept | open | active_calculus index/2.1.3/derivative-constant-function |
| derivative, cosine | ZJG3XC7NHY | concept | open | active_calculus index/2.2.2/derivative-cosine |
| derivative, cotangent | 3MM8F0EGK4 | concept | open | active_calculus index/2.4.2/derivative-cotangent |
| derivative, definition | 7H6X4Y4V71 | concept | open | active_calculus index/1.3.2/derivative-definition |
| derivative, definition | 9SYBX0K95R | concept | open | active_calculus index/1.4.2/derivative-definition |
| derivative, exponential function | 2H5CVKYSJG | concept | open | active_calculus index/2.1.3/derivative-exponential-function |
| derivative, inverse | EJ222YW164 | concept | open | active_calculus index/2.6.5/derivative-inverse |
| derivative, logarithm | F1PKN1P19N | concept | open | active_calculus index/2.6.3/derivative-logarithm |
| derivative, power function | 8JTVXVPFS9 | concept | open | active_calculus index/2.1.3/derivative-power-function |
| derivative, sine | STXHTHPXWY | concept | open | active_calculus index/2.2.2/derivative-sine |
| derivative, tangent | 9MCQG7AVBY | concept | open | active_calculus index/2.4.2/derivative-tangent |
| Derivatives of $g$ | G79BT4ZPN2 | 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.21781#T2LI |
| Derivatives of conditioned transition probabilities | JQMPGFB3S9 | 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.24569#22OH |
| derivatives of Dirac measures | BKGF0R1HA8 | unknown | open | mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivatives of Dirac measures |
| Derivatives of random convex functions | XQ6GDKY8E4 | 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.32710#K307 |
| Derivatives of the primal family | 8DJST4QXJV | 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.05164#QTXC |
| Derived affine Stokes theorem | XGR189YC2X | 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.27799#EHIK |
| Derived affine trace compatibility | D67T306J3E | 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.27799#9C96 |
| derived algebraic geometry | 2KM59XHZH7 | topic | open | Wikidata Q16959942, nLab derived algebraic geometry |
| Derived Banach self-intersection | Z6QCG18MXZ | 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.28220#Q83O |
| derived category | T5B1BHFKR6 | unknown | open | Wikidata Q5262626, EoM Derived_category, nLab derived category |
| Derived conifold trace comparison | 81JKV1RD2X | 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.27799#F4HS |
| Derived Fredholm local models | W6775DM408 | 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 2609.28220#H4NG |
| derived functor | 761W8S0310 | definition | open | Wikidata Q320245, MathWorld DerivedFunctor, nLab derived functor, ProofWiki Definition:Right_Derived_Functor |
| Derived Hecke algebra, {Venkatesh | FVV1NMSDCR | 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.21278#Q495 |
| Derived monoidal trace | EQM6XWA265 | 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.27799#ZV05 |
| Derived refinement comparison | TC4Y11WCBV | 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.27799#V4YE |
| Derived refinement roof | RCX296DCYB | 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.27799#J61W |
| derived scheme | Y0PJPZVTQR | unknown | open | Wikidata Q16959947, nLab derived scheme |
| Derived sections from the finite Cech theorem | 172DC9NMMX | 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.28220#NVPO |
| derived set | 7A5EPMT2YV | concept | open | Wikidata Q322340, MathWorld DerivedSet, ProofWiki Definition:Derived_Set |
| Derived stability of the centered labeled covariance | 5XNM7E19R2 | 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.05388#W97K |
| derived stack | THMERW8KAZ | unknown | open | Wikidata Q16937241, nLab derived stack |
| derived tensor product | 1TMDZZ15DF | unknown | open | Wikidata Q39046230, nLab derived tensor product |
| DES3GVAECC | DES3GVAECC | 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.36279#MR2D |
| Desargues configuration | 1T9V647S8G | concept | open | Wikidata Q15720456, MathWorld DesarguesConfiguration |
| Desargues graph | D9ZTD57XD0 | unknown | open | Wikidata Q3113838, House of Graphs 1036, MathWorld DesarguesGraph |
| Desargues' theorem | X6HCQK70KS | statement | open | mathlib_1000 Q841893, Wikidata Q841893, thousand_plus Q841893, Wikipedia Desargues's theorem, EoM Desargues_assumption, MathWorld DesarguesTheorem |
| Desargues’s Theorem | HZ995Y074C | statement | open | mathlib_100 87 |
| DESB92SP3Q | DESB92SP3Q | definition | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#def:divides |
| Descartes Rule of Signs | DP18G6ZPTN | statement | open | mathlib_100 100, Mathlib Polynomial.roots_countP_pos_le_signVariations |
| Descartes' rule of signs | HA3NM64NFE | statement | open | Wikidata Q1379344, MathWorld DescartesSignRule |
| Descartes's theorem | E47C9Q967Q | statement | open | mathlib_1000 Q1196538, Wikidata Q1196538, thousand_plus Q1196538, Wikipedia Descartes's theorem |
| descendant | HA9P9C63C6 | concept | open | levin_dmoi index/5.2.2/descendant |
| Descending (Stable) Manifold | 5DXJMMWD5F | 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.01937#A4VS |
| descending chain condition | S1YZFGG0AD | unknown | open | Wikidata Q78657438, MathWorld DescendingChainCondition, nLab descending chain condition |
| Descending equivariant and geometric fixed point homotopy groups | 96YTR527ZH | 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.21675#4DCE |
| Descending metric slope | TNTP5Z9JX3 | 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.17909#2553 |
| Descending set / discrete unstable manifold | 67620TSXP8 | 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.01937#2H3Z |
| Descent | 2DSGG6PE42 | 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.21662#02XB |
| Descent | F9BZR4Q8GQ | 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.31352#7W4T |
| Descent | H1DBZ5TT7P | 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.10074#FYBB |
| descent | QJ09P9ZRRR | concept | open | Wikidata Q5263725, nLab descent |
| descent | R0SMRWZ5CZ | 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.19214#EKI1 |
| descent algebra | MXSVH8JPAJ | unknown | open | Wikidata Q16944786, nLab descent algebra |
| Descent and invertibility | QVHVWTK8R5 | 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.10993#XNDA |
| Descent and invertibility | V4B6K6GQ4W | 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.19953#K70F |
| Descent and lifting | PG8VG4Y3BX | 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.01346#FITG |
| Descent and the coarse-graining filtration | G4QCX8QP7A | 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.37375#WDCB |
| descent at the bottom | Y49F4TBE0R | 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.19214#4GDS |
| descent estimate | PNB3VZBS2W | 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 2608.24606#JYM4 |
| Descent from the next level | JBJTJDYSJ4 | 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.05652#LRUX |
| Descent in expectation | 6C2MGZF8SQ | 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#F7AD |
| Descent lemma | JZN82XBHSE | 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.21461#UWWD |
| Descent Lemma | SX3BVR3WK7 | 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.32832#EZIO |
| Descent lemma for $\s$ | V07D4SSXFZ | 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.07290#7S2B |
| Descent lemma for $\s$ with MSS | SWR1BRVRCA | 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.07290#KMZ3 |
| Descent lemma for $\y$ | 4QP2QRNZF3 | 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.07290#M5HJ |
| Descent lemma in a norm pair | JX7V87D3C9 | 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.13773#RNIG |
| Descent obstruction | DRP16YDSTE | 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.15831#1SAN |
| Descent of invariant characters | 3JXQ3Q1MJY | 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.30301#L2Y0 |
| Descent of isomorphisms | 82A4G1P8W6 | 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.26318#EX6W |
| Descent of sheaf codes | X0153806NZ | 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.28028#LU3I |
| Descent of the fixed potential | HHNCKKTDC1 | 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.28306#EYC5 |
| Descent of the fixed potential | RTJMH4K1ZE | 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.28306#JDLE |
| Descent Property | 9PFHH5M0HN | 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.10927#06T9 |
| Descent to a meromorphic line-bundle section | PAVTG6RMXH | 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#M790 |
| Descent under Joyce chart changes | F5V1CV3F5K | 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.27799#L2J5 |
| Descent up to a power | E0PEJNW8WN | 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.15831#VF50 |
| Descent with unequal hidden lower bounds | X7QZ41SESK | 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.09356#7ITQ |
| Descent--Hamiltonian identity | N7B2QA7063 | 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.36548#MQRH |
| desconocidas | JX5XN14B0R | unknown | open | Wikidata Q12340078, MathWorld Unknown |
| Describing the solution space from a reduced row echelon matrix | 79ZZPBGK2V | example | open | austin_ula src/section1-2.xml#example-2 |
| Description of $\mathcal{R}$ and $\mathcal{I}$ | 2H61RXEK1Z | 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#U8NQ |
| descriptive set theory | F1BE21QTFH | topic | open | Wikidata Q225869, MathWorld DescriptiveSetTheory, nLab descriptive set theory, ProofWiki Definition:Descriptive_Set_Theory |
| descriptive statistics | JKD0TF1107 | definition | open | Wikidata Q380344, ProofWiki Definition:Descriptive_Statistics |
| DESE9W074T | DESE9W074T | 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.12188#07CR |
| Desideratum 2(b) -- L\"owner sandwich for dual coordinate chart | BF5J384S0G | 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.30590#8Z32 |
| Design exactness | C3KZ1BYDPV | 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.31689#2CQG |