Publications (44)
Kinetic Simulation of Filament Growth Dynamics in Memristive Electrochemical Metallization Devices
Sven Dirkmann, Martin Ziegler, Mirko Hansen +3
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
Real Analytic Machines and Degrees
Tobias Gärtner, Martin Ziegler
Computational Complexity of Quantum Satisfiability
Christian Herrmann, Martin Ziegler
Revising Type-2 Computation and Degrees of Discontinuity
Martin Ziegler
An Explicit Solution to Post's Problem over the Reals
Klaus Meer, Martin Ziegler
Low functions of reals
Katrin Tent, Martin Ziegler
Fast (Multi-)Evaluation of Linearly Recurrent Sequences: Improvements and Applications
Martin Ziegler
Planar Visibility Counting
Matthias Fischer, Matthias Hilbig, Claudius Jähn +2
The role of ion transport phenomena in memristive double barrier devices
Sven Dirkmann, Mirko Hansen, Martin Ziegler +2
Kolmogorov Complexity Theory over the Reals
Martin Ziegler, Wouter M. Koolen
Effectively Open Real Functions
Martin Ziegler
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova +1
Relative Computability and Uniform Continuity of Relations
Arno Pauly, Martin Ziegler
Fast Multipoint-Evaluation of Bivariate Polynomials
Michael Nüsken, Martin Ziegler
Sharply $2$-transitive groups
Katrin Tent, Martin Ziegler
Does Quantum Mechanics allow for Infinite Parallelism?
Martin Ziegler
Computable Closed Euclidean Subsets with and without Computable Points
Stéphane Le Roux, Martin Ziegler
Computability of the Solutions to Navier-Stokes Equations via Recursive Approximation
Shu-Ming Sun, Ning Zhong, Martin Ziegler
The paper investigates the recursive computability of solutions to the 2‑D incompressible Navier‑Stokes equations, constructing a representation for divergence‑free vector fields a…
Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability
Martin Ziegler
In depth nano spectroscopic analysis on homogeneously switching double barrier memristive devices
Julian Strobel, Mirko Hansen, Sven Dirkmann +10
Randomized Computation of Continuous Data: Is Brownian Motion Computable?
Willem Fouché, Hyunwoo Lee, Donghyun Lim +3
Anticipation of digital patterns
Karlheinz Ochs, Martin Ziegler, Eloy Hernandez-Guevara +5
The isometry group of the bounded Urysohn space is simple
Katrin Tent, Martin Ziegler
Quasi-Optimal Arithmetic for Quaternion Polynomials
Martin Ziegler
On the isometry group of the Urysohn space
Katrin Tent, Martin Ziegler
Real Computational Universality: The Word Problem for a class of groups with infinite presentation
Martin Ziegler, Klaus Meer
Computational Complexity of Smooth Differential Equations
Akitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick +1
Real Hypercomputation and Continuity
Martin Ziegler
A model theoretic study of right-angled buildings
Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler
An alternative axiomization of $N$-pseudospaces
Katrin Tent, Martin Ziegler
On many-sorted $Ï$-categorical theories
Enrique Casanovas, Rodrigo Peláez, Martin Ziegler
On fields and colours
Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler
Logical Limitations to Machine Ethics with Consequences to Lethal Autonomous Weapons
Matthias Englert, Sandra Siebert, Martin Ziegler
An Enhanced Lumped Element Electrical Model of a Double Barrier Memristive Device
Enver Solan, Sven Dirkmann, Mirko Hansen +5
On Faster Integer Calculations using Non-Arithmetic Primitives
Katharina Lürwer-Brüggemeier, Martin Ziegler
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines
Christian Herrmann, Johanna Sokoli, Martin Ziegler
Ample Hierarchy
Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler
A Note on Generic Types
Martin Ziegler
Adaptive Mesh Approach for Predicting Algorithm Behavior with Application to Visibility Culling in Computer Graphics
Matthias Fischer, Claudius Jähn, Martin Ziegler
Nonlinear Reformulation of Heisenberg's Dynamics
Martin Ziegler, Benno Fuchssteiner
Physically-Relativized Church-Turing Hypotheses
Martin Ziegler
Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions
Christian Herrmann, Martin Ziegler
Variations of the Turing Test in the Age of Internet and Virtual Reality
Florentin Neumann, Andrea Reichenberger, Martin Ziegler