Martin Ziegler - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 56 from 56

2017

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014)Andrej Bauer, Ulrich Berger 0001, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler. jla, 9, 2017. [doi]

2015

C[0;1]Hugo Férée, Martin Ziegler. macis 2016: 489-504 [doi]

On Computability of Navier-Stokes' EquationShu-Ming Sun, Ning Zhong, Martin Ziegler. CiE 2015: 334-342 [doi]

2014

From Calculus to Algorithms without ErrorsNorbert Th. Müller, Martin Ziegler. icms 2014: 718-724 [doi]

Building memristive neurons and synapsesMartin Ziegler, Mirko Hansen, Marina Ignatov, Hermann Kohlstedt. iscas 2014: 1066-1069 [doi]

2013

Real Benefit of Promises and AdviceKlaus Ambos-Spies, Ulrike Brandt, Martin Ziegler. CiE 2013: 1-11 [doi]

On the isometry group of the Urysohn spaceKatrin Tent, Martin Ziegler. jlms, 87(1):289-303, 2013. [doi]

An exposition of Hrushovski's New Strongly Minimal SetMartin Ziegler. APAL, 164(12):1507-1519, 2013. [doi]

2012

Computational Complexity of Smooth Differential EquationsAkitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick, Martin Ziegler. mfcs 2012: 578-589 [doi]

Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebraMartin Ziegler. APAL, 163(8):1108-1139, 2012. [doi]

2011

Computational Complexity of Quantum SatisfiabilityChristian Herrmann, Martin Ziegler. lics 2011: 175-184 [doi]

2009

Real Computational Universality: The Word Problem for a Class of Groups with Infinite PresentationKlaus Meer, Martin Ziegler. focm, 9(5):599-609, 2009. [doi]

Variations of the Turing Test in the Age of Internet and Virtual RealityFlorentin Neumann, Andrea Reichenberger, Martin Ziegler. ki 2009: 355-362 [doi]

Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physicsMartin Ziegler. amc, 215(4):1431-1447, 2009. [doi]

2008

On the coverings of the d-cube for d<=6M. Reza Emamy-Khansary, Martin Ziegler. DAM, 156(17):3156-3165, 2008. [doi]

The 116 reducts of (Q, <, a)Markus Junker, Martin Ziegler. JSYML, 73(3):861-884, 2008. [doi]

On Faster Integer Calculations Using Non-arithmetic PrimitivesKatharina Lürwer-Brüggemeier, Martin Ziegler. uc 2008: 111-128 [doi]

An explicit solution to Post s Problem over the realsKlaus Meer, Martin Ziegler. jc, 24(1):3-15, 2008. [doi]

Singular Coverings and Non-Uniform Notions of Closed Set ComputabilityStéphane Le Roux, Martin Ziegler. ENTCS, 202:73-88, 2008. [doi]

Singular coverings and non-uniform notions of closed set computabilityStéphane Le Roux, Martin Ziegler. mlq, 54(5):545-560, 2008. [doi]

Kolmogorov Complexity Theory over the RealsMartin Ziegler, Wouter M. Koolen. ENTCS, 221:153-169, 2008. [doi]

2007

2006

Uncomputability Below the Real Halting ProblemKlaus Meer, Martin Ziegler. cie 2006: 368-377 [doi]

Real Computational Universality: The Word Problem for a class of groups with infinite presentationKlaus Meer, Martin Ziegler. Dagstuhl 2007: [doi]

Effectively open real functionsMartin Ziegler. jc, 22(6):827-849, 2006. [doi]

Stability versus speed in a computable algebraic modelMartin Ziegler. TCS, 351(1):14-26, 2006. [doi]

2005

On Approximating Real-World Halting ProblemsSven Köhler, Christian Schindelhauer, Martin Ziegler. fct 2005: 454-466 [doi]

An Explicit Solution to Post s Problem over the RealsKlaus Meer, Martin Ziegler. fct 2005: 467-478 [doi]

Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 NondeterminismMartin Ziegler. cie 2005: 562-571 [doi]

Effectively Open Real FunctionsMartin Ziegler. cca 2005: 357-374

2004

Fast Multipoint Evaluation of Bivariate PolynomialsMichael Nüsken, Martin Ziegler. esa 2004: 544-555 [doi]

On a question of Herzog and RothmalerAnand Pillay, Martin Ziegler. JSYML, 69(2):478-481, 2004. [doi]

Spanners, Weak Spanners, and Power Spanners for Wireless NetworksChristian Schindelhauer, Klaus Volbert, Martin Ziegler. isaac 2004: 805-821 [doi]

Computable operators on regular setsMartin Ziegler. mlq, 50(4-5):392-404, 2004. [doi]

Computability in linear algebraMartin Ziegler, Vasco Brattka. TCS, 326(1-3):187-211, 2004. [doi]

2003

Quasi-optimal Arithmetic for Quaternion PolynomialsMartin Ziegler. isaac 2003: 705-715 [doi]

Fast Relative Approximation of Potential FieldsMartin Ziegler. wads 2003: 140-149 [doi]

2002

Computability of Linear EquationsVasco Brattka, Martin Ziegler. ifipTCS 2002: 95-106

Point location algorithms of minimum sizeValentina Damerow, Lukas Finschi, Martin Ziegler. cccg 2002: 5-9 [doi]

Computability on Regular Subsets of Euclidean SpaceMartin Ziegler. mlq, 48(S1):157-181, 2002. [doi]

2001

New Bounds for Hypercube Slicing NumbersM. Reza Emamy-Khansary, Martin Ziegler. dmccg 2001: 155-164 [doi]

Turing computability of (non-)linear optimizationMartin Ziegler, Vasco Brattka. cccg 2001: 181-184 [doi]

2000

1999

Partitioned neighborhood spanners of minimal outdegreeMatthias Fischer, Tamás Lukovszki, Martin Ziegler. cccg 1999: [doi]

1998

A Network Based Approach for Realtime Walkthrough of Massive ModelsMatthias Fischer, Tamás Lukovszki, Martin Ziegler. wae 1998: 133-142

Geometric Searching in Walkthrough Animations with Weak Spanners in Real TimeMatthias Fischer, Tamás Lukovszki, Martin Ziegler. esa 1998: 163-174 [doi]

1988

Planung und Entwicklung graphischer Benutzerschnittstellen für die GeometrieverarbeitungMartin Ziegler. PhD thesis, Technical University of Berlin, Germany, 1988. [doi]

1986

Quasi finitely axiomatizable totally categorical theoriesGisela Ahlbrandt, Martin Ziegler. APAL, 30(1):63-82, 1986. [doi]

1984

Model theory of modulesMartin Ziegler. APAL, 26(2):149-213, 1984. [doi]

Sign in or sign up to see more results.

runs on WebDSL