- With Nathan Bell and Kaushik Kalyanaraman. PyDEC: A Python Library for Discretizations of Exterior Calculus for simplicial complexes of any dimension embedded or not and for cubical complexes of any dimension. Implements discrete exterior derivative as coboundary, a Delaunay Hodge star operator and lowest order Whitney forms.
- With Vaibhav Karve. graphsat: A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.
Return to homepage of Anil N. Hirani;
Page maintained by Anil Hirani;
Last modified: Thurs Mar 3 14:18:00 CST 2016