94 citations · 361 across the 25 of their papers we have counts for
3 papers · 1 filter
Conservative Integrators for Piecewise Smooth Systems with Transversal Dynamics
Anil N. Hirani, Andy T. S. Wan, Nikolas Wojtalewicz
We introduce conservative integrators for long term integration of piecewise smooth systems with transversal dynamics and piecewise smooth conserved quantities. In essence, for a p…
GraphSAT -- a decision problem connecting satisfiability and graph theory
Vaibhav Karve, Anil N. Hirani
Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure…
Discrete Vector Bundles with Connection
Daniel Berwick-Evans, Anil N. Hirani, Mark D. Schubel
We develop a combinatorial theory of vector bundles with connection on locally ordered simplicial complexes. This is a first step towards a discrete exterior calculus for bundle-va…