ENTITY
Dummit and Foote
Dummit and Foote
PulseAugur coverage of Dummit and Foote — every cluster mentioning Dummit and Foote across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Bug found in abstract algebra text; VMware users face new hurdles
A blog post details a bug found in Dummit and Foote's abstract algebra text. Separately, a technical article discusses how Broadcom's decision to remove VDDK downloads makes it more difficult for users to leave VMware.
-
Dataset formalizes graduate algebra problems for AI verification
Researchers have developed Lean-GAP, a dataset containing 430 formalized graduate-level algebra problems derived from the textbook "Abstract Algebra" by Dummit and Foote. The process involved a pipeline for PDF-to-LaTeX…