32 citations · 37 across the 4 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013
A state vector algebra for algorithmic implementation of second-order logic
Dmitry Lesnik, Tobias Schaefer
We present a mathematical framework for mapping second-order logic relations onto a simple state vector algebra. Using this algebra, basic theorems of set theory can be proven in a…
physics.flu-dyn2013★ 1 cited
Averaging and spectral properties for the 2D advection-diffusion equation in the semi-classical limit for vanishing diffusivity
Eugene Dedits, Andrew C. Poje, Tobias Schaefer +1
We consider the two-dimensional advection-diffusion equation on a bounded domain subject to either Dirichlet or von Neumann boundary conditions and study both time-independent and…