| Derivative of $B_k$ | 2JWNRF2KZ6 | 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.10860#QJ3Q |
| derivative of a composition of functions | SJ0YYDG1JC | unknown | open | mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of a composition of functions, Mathlib deriv_comp |
| derivative of a composition of functions | VZ22MKW0FH | unknown | open | mathlib_overview Analysis > Differentiability > derivative of a composition of functions, Mathlib HasFDerivAt.comp |
| derivative of a distribution | RBEBQTEFQT | unknown | open | mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of a distribution |
| Derivative of a matrix | AVPH48YFR6 | unknown | open | Wikipedia Matrix calculus#OREP |
| 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 post-LMMSE SINR | 6X4CH9EQMV | 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.21265#A1ZP |
| Derivative of the exponential map | EFRZ4BD50K | definition | open | Wikipedia Derivative of the exponential map, Wikidata Q25303679 |
| Derivative of the exponential map | WY1H4BEWTP | definition | open | Wikipedia List of exponential topics#XBYT |
| 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, Wikipedia Derivative test |
| derivative test | VHJ2N282CT | definition | open | Wikipedia Glossary of calculus#OL69 |
| 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 |
| Derivative-free optimization | MFCZ35JDBY | definition | open | Wikipedia Derivative-free optimization, Wikidata Q16977029 |
| 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 |
| Derivator | 6NGH2ASY9W | definition | open | Wikipedia Derivator, Wikidata Q5262625 |
| derived | DK7MQDVQ4Z | definition | open | Wikipedia Glossary of commutative algebra#T5R6 |
| 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 algebra | 1DYZJCRC6V | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#DB6O |
| derived algebraic geometry | 2KM59XHZH7 | topic | open | Wikidata Q16959942, nLab derived algebraic geometry, Wikipedia Derived algebraic geometry |
| derived algebraic geometry | W1S08R6V6R | definition | open | Wikipedia Glossary of algebraic geometry#KVVM |
| 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 | 9JZPV0PWRP | definition | open | Wikipedia Glossary of tensor theory#PH7L |
| Derived category | 9T968HME04 | definition | open | Wikipedia List of homological algebra topics#H1RT, Wikipedia List of algebraic topology topics#Y117, Wikipedia List of algebraic geometry topics#8C0T |
| derived category | T5B1BHFKR6 | definition | open | Wikidata Q5262626, EoM Derived_category, nLab derived category, Wikipedia 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 equivalence | QD9ZAME7RQ | unknown | open | Wikipedia Derived category#GZV2 |
| 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 from Fourier's law for heat conduction | NHAMST7K62 | statement | open | Wikipedia Thermal conductance and resistance#Y333 |
| derived functor | 761W8S0310 | definition | open | Wikidata Q320245, MathWorld DerivedFunctor, nLab derived functor, ProofWiki Definition:Right_Derived_Functor, Wikipedia Derived functor |
| Derived functor | NB511G9ZT7 | definition | open | Wikipedia List of homological algebra topics#H5GZ |
| Derived functor | Y14XYKX1VT | definition | open | Wikipedia List of incomplete proofs#ILRP |
| Derived group | DW2Y720XHR | definition | open | Wikipedia List of group theory topics#MA38 |
| 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 inverse limit | CTC532SYQ9 | unknown | open | Wikipedia Inverse limit#4BT4 |
| 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 noncommutative algebraic geometry | 64Z3KKGPGW | definition | open | Wikipedia Derived noncommutative algebraic geometry, Wikidata Q96376257 |
| Derived noncommutative algebraic geometry | 65GBR42TN5 | definition | open | Wikipedia Glossary of areas of mathematics#Y5JO |
| 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 | definition | open | Wikidata Q16959947, nLab derived scheme, Wikipedia 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 series | K23VMPP6BE | unknown | open | Wikipedia Commutator subgroup#KEKS |
| Derived set | 5AHG38TWEY | definition | open | Wikipedia Glossary of general topology#RO6O |
| derived set | 7A5EPMT2YV | concept | open | Wikidata Q322340, MathWorld DerivedSet, ProofWiki Definition:Derived_Set, Wikipedia Derived set (mathematics) |
| Derived set (mathematics) | 8V1XWTBMC1 | definition | open | Wikipedia List of real analysis topics#U3IO |
| 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 | definition | open | Wikidata Q16937241, nLab derived stack, Wikipedia Derived stack |
| derived subgroup | 9HQGBFDNVK | definition | deferred (the item has its own article, page 8847) | Wikipedia Glossary of group theory#1XK0 |
| derived symplectic geometry | HWZ0TM4NQD | definition | open | Wikipedia Glossary of symplectic geometry#XJ2T |
| derived tensor product | 1TMDZZ15DF | definition | open | Wikidata Q39046230, nLab derived tensor product, Wikipedia Derived tensor product |
| Derived trigonometric formulas | SYT8SF8VE9 | statement | open | Wikipedia Ailles rectangle#4J82 |
| Derived unique key per transaction | CBKFRSAVP1 | definition | open | Wikipedia Derived unique key per transaction, Wikidata Q5262632 |
| Deriving Coulomb's law from Gauss's law | 809AFNZGCT | statement | open | Wikipedia Coulomb's law#REPY, Wikipedia Gauss's law#MOR7 |
| Deriving Gauss's law from Coulomb's law | P1YQ04XZMQ | statement | open | Wikipedia Coulomb's law#DEEN |
| Deriving Gauss's law from Coulomb's law | R8S3V67Q55 | statement | open | Wikipedia Gauss's law#JST7 |
| Deriving Gauss's law from Newton's law | 6A2R81855Y | statement | open | Wikipedia Gauss's law for gravity#2BQA |
| Deriving Newton's law from Gauss's law and irrotationality | FE822C636Q | statement | open | Wikipedia Gauss's law for gravity#4QZ1 |
| Deriving the formulas | NZDX44W1HP | statement | open | Wikipedia Shoelace formula#W269 |
| Derrick Henry Lehmer | FN90FSTGV8 | unknown | open | Wikipedia List of people by Erdős number#LNCX, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7KFX |
| Derrick Niederman | XGFGDBE8HV | topic | open | Wikipedia Derrick Niederman, Wikidata Q5263066 |
| Derrick's theorem | QFQMBS8VJ0 | statement | open | Wikipedia Derrick's theorem, Wikidata Q5262967 |
| Dershowitz–Manna ordering | C0VYH0NGR4 | definition | open | Wikipedia Dershowitz–Manna ordering, Wikidata Q17008947 |
| Deryk Osthus | JXXGV6NEMM | unknown | open | Wikipedia List of people by Erdős number#EX1X, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YG8N |
| DES Challenges | 71XBAT44N6 | definition | open | Wikipedia DES Challenges, Wikidata Q5204873 |
| Des MacHale | 68KQCE2RCM | topic | open | Wikipedia Des MacHale, Wikidata Q5263488 |
| DES supplementary material | EXK8X84DMQ | definition | open | Wikipedia DES supplementary material, Wikidata Q2357684 |
| DES-X | SWVAV9R22S | definition | open | Wikipedia DES-X, Wikidata Q2454245 |
| 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 | 9WYZFQ014R | definition | open | Wikipedia Glossary of classical algebraic geometry#80Q7 |
| Desargues configuration | 1T9V647S8G | concept | open | Wikidata Q15720456, MathWorld DesarguesConfiguration, Wikipedia Desargues configuration |
| Desargues graph | D9ZTD57XD0 | definition | open | Wikidata Q3113838, House of Graphs 1036, MathWorld DesarguesGraph, Wikipedia Desargues graph |
| Desargues' theorem | BZ4A5WVMAM | statement | open | Wikipedia List of triangle topics#XZZZ |
| Desargues' theorem | X6HCQK70KS | statement | open | mathlib_1000 Q841893, Wikidata Q841893, thousand_plus Q841893, Wikipedia Desargues's theorem, EoM Desargues_assumption, MathWorld DesarguesTheorem |
| Desargues' theorem and Desarguesian planes | CC6DVDE32W | statement | open | Wikipedia Projective plane#ZVU7 |
| Desargues's theorem | 35JV5J3ZWV | statement | open | Wikipedia List of theorems#MDD8 |
| Desargues’s Theorem | HZ995Y074C | statement | open | mathlib_100 87 |