10 citations · 10 across the 1 of their papers we have counts for
2 papers
math.CT2020★ 10 cited
Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, Andrew Baas +1
Scientific computing is currently performed by writing domain specific modeling frameworks for solving special classes of mathematical problems. Since applied category theory provi…
cs.PL2019
A Compositional Framework for Scientific Model Augmentation
Micah Halter, Christine Herlihy, James Fairbanks
Scientists construct and analyze computational models to understand the world. That understanding comes from efforts to augment, combine, and compare models of related phenomena. W…