Math 2.0

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.

Rows 901–1000 of 4710.

NameIdKindOutcomeSources
DA8JPY7QQVDA8JPY7QQVstatementrecord (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.21475#AKMO
DA94TMBJFQDA94TMBJFQstatementrecord (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.15700#RJZO
DA99V5YN2FDA99V5YN2Fstatementrecord (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.20110#R4YA
DA9D4MVV71DA9D4MVV71statementrecord (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.31276#57LM
DA9HACKF4VDA9HACKF4Vstatementrecord (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.29898#691V
DA9KHSANM9DA9KHSANM9statementrecord (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.18016#12HI
DA9RF830VFDA9RF830VFexerciseopenaustin_ula src/exercises/exercises3-2.xml#exercise-3
DA9WA95QYKDA9WA95QYKstatementrecord (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.32946#NT1P
DAA3A6126VDAA3A6126Vstatementrecord (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.00247#UQKY
DAA6QYEC1BDAA6QYEC1Bstatementrecord (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.35027#0OJ1
DAADQ2J8C5DAADQ2J8C5statementrecord (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#MUZ7
DABDJ4K97JDABDJ4K97Jstatementrecord (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 1303.4328#UUQ6
Dabrowski27Z7HZNDS2definitionrecord (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.22109#DW7G
Dabrowski8T97GAHXFMstatementrecord (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.22109#0ABM
DABXS524H6DABXS524H6statementrecord (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.13392#MNUI
DAC361TJ8XDAC361TJ8Xstatementrecord (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.33770#MHQV
DADE08F8MXDADE08F8MXstatementrecord (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.05867#P9WW
DADG0KEP7ZDADG0KEP7ZunknownopenarXiv 2610.00584#IPDS
DADV7610Q2DADV7610Q2statementrecord (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 2509.21444#OKHQ
DAE-aware CBF verification2D0SMKHE9Qstatementrecord (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.09634#SU0N
DAE-aware HOCBF for semi-explicit systemsEX3SNSYX18statementrecord (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.09634#T2MT
DAEJX7653NDAEJX7653Ndefinitionrecord (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#SKJH
DAG5FA81MMDAG5FA81MMstatementrecord (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.15434#OH64
dagger categoryBEMTASXXYQunknownopenWikidata Q5208525, nLab dagger category
DAGMW7Z2QQDAGMW7Z2QQstatementrecord (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#376C
DAH1AS6C91DAH1AS6C91statementopenopen_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#thm:strong-generalization
DAH39E4P1PDAH39E4P1Pstatementrecord (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.19093#Q9W7
DAHC2EAGV0DAHC2EAGV0definitionrecord (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.20510#L59C
DAHJCT91NQDAHJCT91NQstatementrecord (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.03138#QDMP
DAHK45J555DAHK45J555statementrecord (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 1009.2047#8CXC
DAHWTS8NDGDAHWTS8NDGdefinitionrecord (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.08935#ZRG7
Dais--Henk--ZieglerS2JZMQCBH1conjecturerecord (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.16962#ZNB6
DAJ8E98X9BDAJ8E98X9Bdefinitionrecord (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.19791#M1ZR
DAJRP5Y0VSDAJRP5Y0VSdefinitionrecord (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.06541#Q8BZ
DAK1VYK3KEDAK1VYK3KEstatementrecord (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 1810.06028#6YYB
DAK24KVKCPDAK24KVKCPstatementrecord (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 1905.00573#HTM1
DAKCXA3FWPDAKCXA3FWPstatementrecord (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.20801#RHJ2
DAKP63NSN1DAKP63NSN1statementrecord (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 2411.00562#5WKA
Dale HusemöllerSX57PDYSGEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1157845, nLab Dale Husemöller
Dallard, Dumas, Hilaire, Milani\v{c}, Perez, TrotignonX5B95AYE2Ystatementrecord (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.19093#EHKA
Dallard, Milanič, Štorgel9YM26ZQ2G8statementrecord (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.19093#ONFE
Dallard, Milanič, ŠtorgelRG01CNJYRXstatementrecord (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.19093#2J2U
dalton578B3AXBF0definitionopenWikidata Q483261, ProofWiki Definition:Dalton_(Unit)
DAM1WDXX4CDAM1WDXX4Cstatementrecord (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.16631#W6AQ
DAM6FAYV53DAM6FAYV53statementrecord (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.26041#J5Z2
DamageMYCGRN05AJdefinitionrecord (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/0003117#GGD4
Damage map1PKSVNS4NTdefinitionrecord (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/0003117#K0MO
Damage reductionNG95DV5N7Cstatementrecord (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.02219#DG6V
Damien CalaqueYBD0MD9QPJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102105162, nLab Damien Calaque
DAMKHXXAQCDAMKHXXAQCstatementrecord (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.01998#TP2S
damped motionKA4DXQ3C1Mconceptopenlebl_diffyqs index/6.4.1/damped-motion
Damped natural gradient estimationJXXX6E87MCstatementrecord (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#J765
dampingW2MAK5TR0SunknownopenWikidata Q1127660, MathWorld DampedSimpleHarmonicMotion
DAN7NKFCRHDAN7NKFCRHconjecturerecord (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.32903#NU9B
Dana Scott6ESP8TVJEEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q49823, nLab Dana Scott
Dandelin spheresHJN2536MP4statementopenmathlib_1000 Q676413, Wikidata Q676413, thousand_plus Q676413, Wikipedia Dandelin's theorem, MathWorld DandelinSpheres
Danica McKellarRKPRFPREKXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q242949, ProofWiki Mathematician:Danica_Mae_McKellar
Daniel Bernoulli4D1H2Z93GZunknownout_of_scope (a person, not an item of mathematics)Wikidata Q122366, EoM Bernoulli,_Daniel
Daniel da SilvaDBT81NA6ASunknownout_of_scope (a person, not an item of mathematics)Wikidata Q5219175, ProofWiki Mathematician:Daniel_da_Silva
Daniel FriedanSGAHM3SYKMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q547346, nLab Daniel Friedan
Daniel Gabriel FahrenheitYB831SRZMHunknownout_of_scope (a person, not an item of mathematics)Wikidata Q57073, ProofWiki Mathematician:Daniel_Gabriel_Fahrenheit
Daniel Harlow86EZJW6PTQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q58238281, nLab Daniel Harlow
Daniel Huybrechts7J4AHQ4J8Aunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1161188, nLab Daniel Huybrechts
Daniel Kan1TVX9VEK84unknownout_of_scope (a person, not an item of mathematics)Wikidata Q284616, nLab Daniel Kan
Daniel Kastler5DQB4CCW23unknownout_of_scope (a person, not an item of mathematics)Wikidata Q828798, nLab Daniel Kastler
Daniel LazardBTJK3JNBPXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q5217886, nLab Daniel Lazard
Daniel LenzBAM8BYHFDFunknownout_of_scope (a person, not an item of mathematics)Wikidata Q59676621, nLab Daniel Lenz
Daniel QuillenZKSB0NSD7Dunknownout_of_scope (a person, not an item of mathematics)Wikidata Q369658, nLab Daniel Quillen
Daniel SternheimerDPD06VWMX7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q46023413, nLab Daniel Sternheimer
Daniel WaldramXY6DSE5FBYunknownout_of_scope (a person, not an item of mathematics)Wikidata Q64038641, nLab Daniel Waldram
Daniele AmatiKAAAAM0BC6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1163639, nLab Daniele Amati
Daniele GuidoA5PRQ6H3F9unknownout_of_scope (a person, not an item of mathematics)Wikidata Q102341905, nLab Daniele Guido
Daniell integral9TZ6NAYFDMconceptopenWikidata Q2996956, nLab Daniell integral
DANPR0KHJDDANPR0KHJDstatementrecord (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.31212#NWM5
Danskin's theorem2RYN8CF7FKstatementopenmathlib_1000 Q5221089, Wikidata Q5221089, thousand_plus Q5221089, Wikipedia Danskin's theorem
DANV8A4KTCDANV8A4KTCstatementrecord (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.05327#OFJG
DAPD8K6QGVDAPD8K6QGVstatementrecord (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.22074#CR0I
DAPRSA1MPQDAPRSA1MPQstatementrecord (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.14278#2DGZ
DAPVM4Z5CBDAPVM4Z5CBstatementrecord (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.32233#BRDS
DAPXV8VVQJDAPXV8VVQJstatementrecord (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.02042#G3AL
DarbouxBECWV045WBstatementopenlebl_ra ch-der.tex#thm:darboux
Darboux cubicRB5TJT35ZQconceptopenWikidata Q1995504, MathWorld DarbouxCubic
Darboux integralSK7TC2G1R5conceptopenWikidata Q2294564, EoM Darboux_integral, MathWorld DarbouxIntegral
Darboux integralSW1CEFKYFNconceptopenlebl_ra index/8.1.1/darboux-integral
Darboux integralXNRP92JR88conceptopenlebl_ra index/5.1.2/darboux-integral
Darboux sum8M32EW4KZ2conceptopenlebl_ra index/5.1.1/darboux-sum
Darboux sumHWYY8AAV7Fconceptopenlebl_ra index/8.1.1/darboux-sum
Darboux vectorSACE7XESFZconceptopenWikidata Q4010518, MathWorld DarbouxVector
Darboux's theorem2RR6RGRYT8conceptopenlebl_ra index/3.2.5/darboux-s-theorem
Darboux's theoremNE6R6FJEHJstatementopenmathlib_1000 Q1058662, Wikidata Q1058662, thousand_plus Q1058662, Wikipedia Darboux's theorem, nLab Darboux's theorem
Darboux's theorem (analysis)421SD8A1WBstatementnode (a node has the same name as the row)mathlib_1000 Q660799, Mathlib exists_hasDerivWithinAt_eq_of_gt_of_lt, Mathlib exists_hasDerivWithinAt_eq_of_lt_of_gt, Mathlib Set.OrdConnected.image_hasDerivWithinAt, Mathlib Set.OrdConnected.image_derivWithin, Mathlib Set.OrdConnected.image_deriv, Mathlib Convex.image_hasDerivWithinAt, Mathlib Convex.image_derivWithin, Mathlib Convex.image_deriv, Mathlib exists_hasDerivWithinAt_eq_of_ge_of_le, Mathlib exists_hasDerivWithinAt_eq_of_le_of_ge, Wikidata Q660799, thousand_plus Q660799, Wikipedia Darboux's theorem (analysis)
dark radiationHYNR5AH8E1unknownopenWikidata Q5223546, nLab dark radiation
DARKJARPHZDARKJARPHZstatementrecord (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.37520#UETM
DARSAK482QDARSAK482Qstatementrecord (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.16123#26BM
dart graphHRG3RAMATYunknownopenWikidata Q3115561, House of Graphs 1026, MathWorld DartGraph
DART51CF4QDART51CF4Qstatementrecord (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.14742#QCJ2
DARTCBA9KADARTCBA9KAstatementrecord (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 0809.1307#F739
DARXGW53F6DARXGW53F6exerciseopenlebl_scv scv.tex#exercise-73
DAS1H6KNVCDAS1H6KNVCexamplerecord (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 0910.5574#DX0P
DASDR8YXYCDASDR8YXYCstatementrecord (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.16554#P78O