research
∙
06/14/2021
Conservative Integrators for Piecewise Smooth Systems with Transversal Dynamics
We introduce conservative integrators for long term integration of piece...
share
research
∙
05/24/2021
GraphSAT – a decision problem connecting satisfiability and graph theory
Satisfiability of boolean formulae (SAT) has been a topic of research in...
research
∙
04/20/2021
Discrete Vector Bundles with Connection and the Bianchi Identity
We develop a discrete theory of vector bundles with connection that is n...
research
∙
12/28/2018