34 citations · 54 across the 14 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
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…
math.NA2016★ 4 cited
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Sewon Park, Franz Brauße, Pieter Collins +7
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides…
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…