34 citations · 54 across the 14 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 1 cited
Computability in Basic Quantum Mechanics
Eike Neumann, Martin Pape, Thomas Streicher
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space . In terms of the Hilbert lattice of close…
cs.LO2016★ 4 cited
A topological view on algebraic computation models
Eike Neumann, Arno Pauly
We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and c…