
Double pushout rewriting of Csets
We generalize a pushout complement algorithm from graph rewriting to fin...
read it

Categorical Data Structures for Technical Computing
Many mathematical objects can be represented as functors from finitelyp...
read it

Compositional Scientific Computing with Catlab and SemanticModels
Scientific computing is currently performed by writing domain specific m...
read it

Unsupervised Construction of Knowledge Graphs From Text and Code
The scientific literature is a rich source of information for data minin...
read it

A Compositional Framework for Scientific Model Augmentation
Scientists construct and analyze computational models to understand the ...
read it
James Fairbanks
is this you? claim profile