Koswara, Ivan; Pogudin, Gleb; Selivanova, Svetlana; Ziegler, Martin Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations. (English) Zbl 07667582 J. Complexity 76, Article ID 101727, 32 p. (2023). MSC: 68Qxx 03Dxx 03Fxx PDFBibTeX XMLCite \textit{I. Koswara} et al., J. Complexity 76, Article ID 101727, 32 p. (2023; Zbl 07667582) Full Text: DOI
Lim, Donghyun; Ziegler, Martin Degrees of Second and Higher-Order Polynomials. arXiv:2305.03439 Preprint, arXiv:2305.03439 [cs.LO] (2023). MSC: 68Q15 03D15 03D65 BibTeX Cite \textit{D. Lim} and \textit{M. Ziegler}, ``Degrees of Second and Higher-Order Polynomials'', Preprint, arXiv:2305.03439 [cs.LO] (2023) Full Text: arXiv OA License
Brauße, Franz; Collins, Pieter; Ziegler, Martin Computer science for continuous data. Survey, vision, theory, and practice of a computer analysis system. (English) Zbl 1514.68322 Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 62-82 (2022). MSC: 68W30 PDFBibTeX XMLCite \textit{F. Brauße} et al., Lect. Notes Comput. Sci. 13366, 62--82 (2022; Zbl 1514.68322) Full Text: DOI
Aschenbrenner, Matthias; Chernikov, Artem; Gehret, Allen; Ziegler, Martin Distality in valued fields and related structures. (English) Zbl 1498.03073 Trans. Am. Math. Soc. 375, No. 7, 4641-4710 (2022). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C45 03C60 12L12 12J10 03C64 03C10 06F20 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Trans. Am. Math. Soc. 375, No. 7, 4641--4710 (2022; Zbl 1498.03073) Full Text: DOI arXiv
Selivanova, Svetlana; Steinberg, Florian; Thies, Holger; Ziegler, Martin Exact real computation of solution operators for linear analytic systems of partial differential equations. (English) Zbl 07497965 Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 370-390 (2021). MSC: 68W30 PDFBibTeX XMLCite \textit{S. Selivanova} et al., Lect. Notes Comput. Sci. 12865, 370--390 (2021; Zbl 07497965) Full Text: DOI
Koswara, Ivan; Pogudin, Gleb; Selivanova, Svetlana; Ziegler, Martin Bit-complexity of solving systems of linear evolutionary partial differential equations. (English) Zbl 07493533 Santhanam, Rahul (ed.) et al., Computer science – theory and applications. 16th international computer science symposium in Russia, CSR 2021, Sochi, Russia, June 28 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12730, 223-241 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{I. Koswara} et al., Lect. Notes Comput. Sci. 12730, 223--241 (2021; Zbl 07493533) Full Text: DOI
Evans, David M.; Hubička, Jan; Konečný, Matěj; Li, Yibei; Ziegler, Martin Simplicity of the automorphism groups of generalised metric spaces. (English) Zbl 07363529 J. Algebra 584, 163-179 (2021). MSC: 20B27 PDFBibTeX XMLCite \textit{D. M. Evans} et al., J. Algebra 584, 163--179 (2021; Zbl 07363529) Full Text: DOI arXiv
Pauly, Arno; Seon, Dongseong; Ziegler, Martin Computing Haar measures. (English) Zbl 07650847 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 34, 17 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{A. Pauly} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 34, 17 p. (2020; Zbl 07650847) Full Text: DOI arXiv
Lim, Donghyun; Ziegler, Martin Quantitative coding and complexity theory of compact metric spaces. (English) Zbl 07633509 Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 205-214 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Lim} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 12098, 205--214 (2020; Zbl 07633509) Full Text: DOI
Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin Computability of the solutions to Navier-Stokes equations via effective approximation. (English) Zbl 1496.03177 Du, Ding-Zhu (ed.) et al., Complexity and approximation. In memory of Ker-I Ko. Cham: Springer. Lect. Notes Comput. Sci. 12000, 80-112 (2020). MSC: 03D78 35Q30 PDFBibTeX XMLCite \textit{S.-M. Sun} et al., Lect. Notes Comput. Sci. 12000, 80--112 (2020; Zbl 1496.03177) Full Text: DOI arXiv
Lim, Donghyun; Ziegler, Martin Quantitative Coding and Complexity Theory of Continuous Data. arXiv:2002.04005 Preprint, arXiv:2002.04005 [math.LO] (2020). MSC: 03B70 BibTeX Cite \textit{D. Lim} and \textit{M. Ziegler}, ``Quantitative Coding and Complexity Theory of Continuous Data'', Preprint, arXiv:2002.04005 [math.LO] (2020) Full Text: DOI arXiv OA License
Gismatullin, Jakub; Majcher, Krzysztof; Ziegler, Martin New compactness theorem for metric ultraproducts and simplicity. arXiv:2010.03394 Preprint, arXiv:2010.03394 [math.GR] (2020). MSC: 20E32 20E45 03C20 12L10 BibTeX Cite \textit{J. Gismatullin} et al., ``New compactness theorem for metric ultraproducts and simplicity'', Preprint, arXiv:2010.03394 [math.GR] (2020) Full Text: arXiv OA License
Koswara, Ivan; Selivanova, Svetlana; Ziegler, Martin Computational complexity of real powering and improved solving linear differential equations. (English) Zbl 07121069 van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 215-227 (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{I. Koswara} et al., Lect. Notes Comput. Sci. 11532, 215--227 (2019; Zbl 07121069) Full Text: DOI
Herrmann, Christian; Ziegler, Martin Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions. (English) Zbl 1468.06020 Algebra Univers. 80, No. 3, Paper No. 28, 26 p. (2019). MSC: 06C20 03C40 14M15 51M35 51N20 PDFBibTeX XMLCite \textit{C. Herrmann} and \textit{M. Ziegler}, Algebra Univers. 80, No. 3, Paper No. 28, 26 p. (2019; Zbl 1468.06020) Full Text: DOI arXiv
Fouché, Willem; Lee, Hyunwoo; Lim, Donghyun; Park, Sewon; Schröder, Matthias; Ziegler, Martin Randomized Computation of Continuous Data: Is Brownian Motion Computable? arXiv:1906.06684 Preprint, arXiv:1906.06684 [math.NA] (2019). MSC: 68Q87 65C50 BibTeX Cite \textit{W. Fouché} et al., ``Randomized Computation of Continuous Data: Is Brownian Motion Computable?'', Preprint, arXiv:1906.06684 [math.NA] (2019) Full Text: arXiv OA License
Kawamura, Akitoshi; Thies, Holger; Ziegler, Martin Average-case polynomial-time computability of Hamiltonian dynamics. (English) Zbl 1512.03059 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 30, 17 p. (2018). MSC: 03D78 03D15 37J06 37M05 68Q25 70H99 PDFBibTeX XMLCite \textit{A. Kawamura} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 30, 17 p. (2018; Zbl 1512.03059) Full Text: DOI
Herrmann, Christian; Ziegler, Martin Definable relations in finite-dimensional subspace lattices with involution. (English) Zbl 1472.03029 Algebra Univers. 79, No. 3, Paper No. 68, 26 p. (2018). MSC: 03C40 03C10 06C05 03G25 PDFBibTeX XMLCite \textit{C. Herrmann} and \textit{M. Ziegler}, Algebra Univers. 79, No. 3, Paper No. 68, 26 p. (2018; Zbl 1472.03029) Full Text: DOI
Cho, Junhee; Park, Sewon; Ziegler, Martin Computing periods. (English) Zbl 1498.14143 Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 12th international conference, WALCOM 2018, Dhaka, Bangladesh, March 3–5, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10755, 132-143 (2018). MSC: 14P10 14Q20 68W20 68W30 PDFBibTeX XMLCite \textit{J. Cho} et al., Lect. Notes Comput. Sci. 10755, 132--143 (2018; Zbl 1498.14143) Full Text: DOI
Kawamura, Akitoshi; Ziegler, Martin Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs. arXiv:1801.07108 Preprint, arXiv:1801.07108 [cs.CC] (2018). MSC: 68Q17 65Y20 BibTeX Cite \textit{A. Kawamura} and \textit{M. Ziegler}, ``Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs'', Preprint, arXiv:1801.07108 [cs.CC] (2018) Full Text: arXiv OA License
Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin On the computational complexity of the Dirichlet problem for Poisson’s equation. (English) Zbl 1456.03069 Math. Struct. Comput. Sci. 27, No. 8, 1437-1465 (2017). MSC: 03D78 03D15 03F60 68Q15 68Q17 28A50 PDFBibTeX XMLCite \textit{A. Kawamura} et al., Math. Struct. Comput. Sci. 27, No. 8, 1437--1465 (2017; Zbl 1456.03069) Full Text: DOI
Bauer, Andrej (ed.); Berger, Ulrich (ed.); Fouché, Willem (ed.); Spreen, Dieter (ed.); Tsuiki, Hideki (ed.); Ziegler, Martin (ed.) Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014. (English) Zbl 1364.00033 J. Log. Anal. 9, Paper No. C0, 3 p. (2017). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{A. Bauer} (ed.) et al., J. Log. Anal. 9, Paper No. C0, 3 p. (2017; Zbl 1364.00033) Full Text: DOI
Ziegler, Martin Mathematical logic. 2nd edition. (Mathematische Logik.) (German) Zbl 1357.03002 Mathematik Kompakt. Basel: Birkhäuser/Springer (ISBN 978-3-319-44179-5/pbk; 978-3-319-44180-1/ebook). x, 152 p. (2017). MSC: 03-01 03B10 03D10 03E30 03F30 PDFBibTeX XMLCite \textit{M. Ziegler}, Mathematische Logik. 2nd edition. Basel: Birkhäuser/Springer (2017; Zbl 1357.03002) Full Text: DOI
Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization. arXiv:1701.08402 Preprint, arXiv:1701.08402 [cs.LO] (2017). MSC: 03D78 68Q99 65J99 BibTeX Cite \textit{C. Park} et al., ``Computable Operations on Compact Subsets of Metric Spaces with Applications to Fr\'echet Distance and Shape Optimization'', Preprint, arXiv:1701.08402 [cs.LO] (2017) Full Text: arXiv OA License
Herrmann, Christian; Ziegler, Martin Computational complexity of quantum satisfiability. (English) Zbl 1426.68123 J. ACM 63, No. 2, Article No. 19, 31 p. (2016). MSC: 68Q25 03D78 68Q12 68Q17 81P10 PDFBibTeX XMLCite \textit{C. Herrmann} and \textit{M. Ziegler}, J. ACM 63, No. 2, Article No. 19, 31 p. (2016; Zbl 1426.68123) Full Text: DOI arXiv
Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin Complexity theory of (functions on) compact metric spaces. (English) Zbl 1401.03086 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 837-846 (2016). MSC: 03D78 68Q25 PDFBibTeX XMLCite \textit{A. Kawamura} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 837--846 (2016; Zbl 1401.03086) Full Text: DOI
Herrmann, Christian; Tsukamoto, Yasuyuki; Ziegler, Martin On the consistency problem for modular lattices and related structures. (English) Zbl 1373.06006 Int. J. Algebra Comput. 26, No. 8, 1573-1595 (2016). Reviewer: Jānis Cīrulis (Riga) MSC: 06C05 08A50 03B25 03G15 15A75 16Z05 PDFBibTeX XMLCite \textit{C. Herrmann} et al., Int. J. Algebra Comput. 26, No. 8, 1573--1595 (2016; Zbl 1373.06006) Full Text: DOI arXiv
Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin Towards computational complexity theory on advanced function spaces in analysis. (English) Zbl 1476.03066 Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 142-152 (2016). MSC: 03D78 03D15 PDFBibTeX XMLCite \textit{A. Kawamura} et al., Lect. Notes Comput. Sci. 9709, 142--152 (2016; Zbl 1476.03066) Full Text: DOI
Schröder, Matthias; Steinberg, Florian; Ziegler, Martin Average-case bit-complexity theory of real functions. (English) Zbl 1460.03016 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 505-519 (2016). MSC: 03D78 03D15 PDFBibTeX XMLCite \textit{M. Schröder} et al., Lect. Notes Comput. Sci. 9582, 505--519 (2016; Zbl 1460.03016) Full Text: DOI
Férée, Hugo; Ziegler, Martin On the computational complexity of positive linear functionals on \(\mathcal{C}[0;1]\). (English) Zbl 1460.03015 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 489-504 (2016). MSC: 03D78 68Q25 03D15 PDFBibTeX XMLCite \textit{H. Férée} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 9582, 489--504 (2016; Zbl 1460.03015) Full Text: DOI
Sun, Shu Ming; Zhong, Ning; Ziegler, Martin On computability of Navier-Stokes’ equation. (English) Zbl 1461.03046 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 334-342 (2015). MSC: 03D78 03F60 35Q30 PDFBibTeX XMLCite \textit{S. M. Sun} et al., Lect. Notes Comput. Sci. 9136, 334--342 (2015; Zbl 1461.03046) Full Text: DOI
Kawamura, Akitoshi; Müller, Norbert; Rösnick, Carsten; Ziegler, Martin Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey’s hierarchy. (English) Zbl 1336.68133 J. Complexity 31, No. 5, 689-714 (2015). MSC: 68Q25 03D78 65Y20 68Q17 PDFBibTeX XMLCite \textit{A. Kawamura} et al., J. Complexity 31, No. 5, 689--714 (2015; Zbl 1336.68133) Full Text: DOI
Müller, Norbert; Ziegler, Martin From calculus to algorithms without errors. (English) Zbl 1402.65039 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 718-724 (2014). MSC: 65Gxx 68W30 PDFBibTeX XMLCite \textit{N. Müller} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 8592, 718--724 (2014; Zbl 1402.65039) Full Text: DOI
Kawamura, Akitoshi; Ota, Hiroyuki; Rösnick, Carsten; Ziegler, Martin Computational complexity of smooth differential equations. (English) Zbl 1325.68100 Log. Methods Comput. Sci. 10, No. 1, Paper No. 6, 15 p. (2014). MSC: 68Q17 03D78 34A12 PDFBibTeX XMLCite \textit{A. Kawamura} et al., Log. Methods Comput. Sci. 10, No. 1, Paper No. 6, 15 p. (2014; Zbl 1325.68100) Full Text: DOI arXiv
Herrmann, Christian; Sokoli, Johanna; Ziegler, Martin Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. (English) Zbl 1462.68042 Neary, Turlough (ed.) et al., Proceedings of the conference on machines, computations and universality 2013, MCU 2013, Zürich, Switzerland, September 9–11, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 128, 85-92 (2013). MSC: 68Q09 03D78 68Q15 PDFBibTeX XMLCite \textit{C. Herrmann} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 128, 85--92 (2013; Zbl 1462.68042) Full Text: arXiv Link
Pauly, Arno M.; Ziegler, Martin A. Relative computability and uniform continuity of relations. (English) Zbl 1345.03086 J. Log. Anal. 5, Paper No. 7, 39 p. (2013). MSC: 03D78 03C80 PDFBibTeX XMLCite \textit{A. M. Pauly} and \textit{M. A. Ziegler}, J. Log. Anal. 5, Paper No. 7, 39 p. (2013; Zbl 1345.03086) Full Text: DOI arXiv
Ambos-Spies, Klaus; Brandt, Ulrike; Ziegler, Martin Real benefit of promises and advice. (English) Zbl 1315.03066 Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39052-4/pbk). Lecture Notes in Computer Science 7921, 1-11 (2013). MSC: 03D15 03B25 68Q15 68Q25 PDFBibTeX XMLCite \textit{K. Ambos-Spies} et al., Lect. Notes Comput. Sci. 7921, 1--11 (2013; Zbl 1315.03066) Full Text: DOI
Kawamura, Akitoshi; Ota, Hiroyuki; Rösnick, Carsten; Ziegler, Martin Computational complexity of smooth differential equations. (English) Zbl 1326.68151 Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 578-589 (2012). MSC: 68Q17 03D78 34A12 PDFBibTeX XMLCite \textit{A. Kawamura} et al., Lect. Notes Comput. Sci. 7464, 578--589 (2012; Zbl 1326.68151) Full Text: DOI arXiv
Ziegler, Martin Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra. (English) Zbl 1259.03059 Ann. Pure Appl. Logic 163, No. 8, 1108-1139 (2012). Reviewer: Daniel Graça (Faro) MSC: 03D78 03D45 03D15 68Q17 65F99 PDFBibTeX XMLCite \textit{M. Ziegler}, Ann. Pure Appl. Logic 163, No. 8, 1108--1139 (2012; Zbl 1259.03059) Full Text: DOI
Kawamura, Akitoshi; Müller, Norbert Th.; Rösnick, Carsten; Ziegler, Martin Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime. arXiv:1211.4974 Preprint, arXiv:1211.4974 [cs.NA] (2012). MSC: 65Y20 68Q15 BibTeX Cite \textit{A. Kawamura} et al., ``Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime'', Preprint, arXiv:1211.4974 [cs.NA] (2012) Full Text: arXiv OA License
Gärtner, Tobias; Ziegler, Martin Real analytic machines and degrees: a topological view on algebraic limiting computation. (English) Zbl 1237.03028 Log. Methods Comput. Sci. 7, No. 3, Paper No. 11, 20 p. (2011). MSC: 03D78 03E15 PDFBibTeX XMLCite \textit{T. Gärtner} and \textit{M. Ziegler}, Log. Methods Comput. Sci. 7, No. 3, Paper No. 11, 20 p. (2011; Zbl 1237.03028) Full Text: DOI arXiv
Gärtner, Tobias; Ziegler, Martin Real analytic machines and degrees. (English) Zbl 1456.03067 Zheng, Xizhong (ed.) et al., Seventh international conference on computability and complexity in analysis, Zhenjiang, China, June 21–25, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 77-91 (2010). MSC: 03D78 03D10 PDFBibTeX XMLCite \textit{T. Gärtner} and \textit{M. Ziegler}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 77--91 (2010; Zbl 1456.03067) Full Text: Link
Ziegler, Martin Real computation with least discrete advice: a complexity theory of nonuniform computability. (English) Zbl 1247.03106 Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009). MSC: 03D78 65F99 68Q25 PDFBibTeX XMLCite \textit{M. Ziegler}, OASIcs -- OpenAccess Ser. Inform. 11, 12 p. (2009; Zbl 1247.03106) Full Text: DOI arXiv
Ziegler, Martin Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics. (English) Zbl 1192.68268 Appl. Math. Comput. 215, No. 4, 1431-1447 (2009). MSC: 68Q05 PDFBibTeX XMLCite \textit{M. Ziegler}, Appl. Math. Comput. 215, No. 4, 1431--1447 (2009; Zbl 1192.68268) Full Text: DOI
Meer, Klaus; Ziegler, Martin Real computational universality: the word problem for a class of groups with infinite presentation. (English) Zbl 1191.03031 Found. Comput. Math. 9, No. 5, 599-609 (2009). MSC: 03D78 03D40 20F10 PDFBibTeX XMLCite \textit{K. Meer} and \textit{M. Ziegler}, Found. Comput. Math. 9, No. 5, 599--609 (2009; Zbl 1191.03031) Full Text: DOI Link
Le Roux, Stéphane; Ziegler, Martin Singular coverings and non-uniform notions of closed set computability. (English) Zbl 1262.03085 Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 73-88 (2008). MSC: 03D78 68Q05 PDFBibTeX XMLCite \textit{S. Le Roux} and \textit{M. Ziegler}, Electron. Notes Theor. Comput. Sci. 202, 73--88 (2008; Zbl 1262.03085) Full Text: DOI
Ziegler, Martin; Koolen, Wouter M. Kolmogorov complexity theory over the reals. (English) Zbl 1262.68057 Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 153-169 (2008). MSC: 68Q30 03D78 68Q05 PDFBibTeX XMLCite \textit{M. Ziegler} and \textit{W. M. Koolen}, Electron. Notes Theor. Comput. Sci. 221, 153--169 (2008; Zbl 1262.68057) Full Text: DOI
Emamy-K, M. R.; Ziegler, M. On the coverings of the \(d\)-cube for \(d\leq 6\). (English) Zbl 1160.52017 Discrete Appl. Math. 156, No. 17, 3156-3165 (2008). MSC: 52C17 PDFBibTeX XMLCite \textit{M. R. Emamy-K} and \textit{M. Ziegler}, Discrete Appl. Math. 156, No. 17, 3156--3165 (2008; Zbl 1160.52017) Full Text: DOI
Lürwer-Brüggemeier, Katharina; Ziegler, Martin On faster integer calculations using non-arithmetic primitives. (English) Zbl 1166.68322 Calude, Cristian S. (ed.) et al., Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85193-6/pbk). Lecture Notes in Computer Science 5204, 111-128 (2008). MSC: 68Q05 68Q10 68W30 PDFBibTeX XMLCite \textit{K. Lürwer-Brüggemeier} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 5204, 111--128 (2008; Zbl 1166.68322) Full Text: DOI arXiv
Le Roux, Stéphane; Ziegler, Martin Singular coverings and non-uniform notions of closed set computability. (English) Zbl 1153.03043 Math. Log. Q. 54, No. 5, 545-560 (2008). MSC: 03F60 03D80 PDFBibTeX XMLCite \textit{S. Le Roux} and \textit{M. Ziegler}, Math. Log. Q. 54, No. 5, 545--560 (2008; Zbl 1153.03043) Full Text: DOI
Meer, Klaus; Ziegler, Martin An explicit solution to Post’s problem over the reals. (English) Zbl 1151.03019 J. Complexity 24, No. 1, 3-15 (2008). MSC: 03D10 03D28 03D35 68Q05 PDFBibTeX XMLCite \textit{K. Meer} and \textit{M. Ziegler}, J. Complexity 24, No. 1, 3--15 (2008; Zbl 1151.03019) Full Text: DOI
Ziegler, Martin Revising type-2 computation and degrees of discontinuity. (English) Zbl 1262.03150 Cenzer, D. (ed.) et al., Proceedings of the 3rd international conference on computability and complexity in analysis (CCA 2006), Gainesville, FL, USA, November 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 167, 255-274 (2007). MSC: 03F60 03D78 PDFBibTeX XMLCite \textit{M. Ziegler}, Electron. Notes Theor. Comput. Sci. 167, 255--274 (2007; Zbl 1262.03150) Full Text: DOI arXiv
Meer, Klaus; Ziegler, Martin Real computational universality: the word problem for a class of groups with infinite presentation. (Extended abstract). (English) Zbl 1147.20308 Kučera, Luděk (ed.) et al., Mathematical foundations of computer science 2007. 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74455-9/pbk). Lecture Notes in Computer Science 4708, 726-737 (2007). MSC: 20F10 68Q05 03D10 20F05 03D35 03D40 PDFBibTeX XMLCite \textit{K. Meer} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 4708, 726--737 (2007; Zbl 1147.20308) Full Text: DOI
Ziegler, Martin (Short) survey of real hypercomputation. (English) Zbl 1151.68414 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 809-824 (2007). MSC: 68Q05 68Q10 03D10 03D55 PDFBibTeX XMLCite \textit{M. Ziegler}, Lect. Notes Comput. Sci. 4497, 809--824 (2007; Zbl 1151.68414) Full Text: DOI
Ziegler, Martin Real hypercomputation and continuity. (English) Zbl 1122.03039 Theory Comput. Syst. 41, No. 1, 177-206 (2007). MSC: 03D10 03D55 03F60 68Q05 PDFBibTeX XMLCite \textit{M. Ziegler}, Theory Comput. Syst. 41, No. 1, 177--206 (2007; Zbl 1122.03039) Full Text: DOI arXiv
Schindelhauer, Christian; Volbert, Klaus; Ziegler, Martin Geometric spanners with applications in wireless networks. (English) Zbl 1110.68156 Comput. Geom. 36, No. 3, 197-214 (2007). MSC: 68U05 68M10 PDFBibTeX XMLCite \textit{C. Schindelhauer} et al., Comput. Geom. 36, No. 3, 197--214 (2007; Zbl 1110.68156) Full Text: DOI
Meer, Klaus; Ziegler, Martin Uncomputability below the real halting problem. (English) Zbl 1145.68417 Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 368-377 (2006). MSC: 68Q05 03D10 03D35 PDFBibTeX XMLCite \textit{K. Meer} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 3988, 368--377 (2006; Zbl 1145.68417) Full Text: DOI
Ziegler, Martin Effectively open real functions. (English) Zbl 1126.03042 J. Complexity 22, No. 6, 827-849 (2006). Reviewer: Ning Zhong (Cincinnati) MSC: 03D45 03F60 26E40 03C10 54C10 PDFBibTeX XMLCite \textit{M. Ziegler}, J. Complexity 22, No. 6, 827--849 (2006; Zbl 1126.03042) Full Text: DOI
Ziegler, Martin Stability versus speed in a computable algebraic model. (English) Zbl 1086.68043 Theor. Comput. Sci. 351, No. 1, 14-26 (2006). MSC: 68Q05 03D75 03D80 03F60 68R05 PDFBibTeX XMLCite \textit{M. Ziegler}, Theor. Comput. Sci. 351, No. 1, 14--26 (2006; Zbl 1086.68043) Full Text: DOI
Ziegler, Martin A Note on Generic Types. arXiv:math/0608433 Preprint, arXiv:math/0608433 [math.LO] (2006). MSC: 03C45 03C60 BibTeX Cite \textit{M. Ziegler}, ``A Note on Generic Types'', Preprint, arXiv:math/0608433 [math.LO] (2006) Full Text: arXiv
Meer, Klaus; Ziegler, Martin An explicit solution to Post’s problem over the reals. (English) Zbl 1123.03034 Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 467-478 (2005). MSC: 03D10 03B25 68Q05 03D28 PDFBibTeX XMLCite \textit{K. Meer} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 3623, 467--478 (2005; Zbl 1123.03034) Full Text: DOI
Köhler, Sven; Schindelhauer, Christian; Ziegler, Martin On approximating real-world halting problems. (English) Zbl 1123.03033 Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 454-466 (2005). MSC: 03D10 03B25 68Q05 68N30 PDFBibTeX XMLCite \textit{S. Köhler} et al., Lect. Notes Comput. Sci. 3623, 454--466 (2005; Zbl 1123.03033) Full Text: DOI
Ziegler, Martin; Fuchssteiner, Benno Nonlinear reformulation of Heisenberg’s dynamics. (English) Zbl 1104.81069 Int. J. Theor. Phys. 44, No. 7, 693-717 (2005). MSC: 81S10 81R15 70G45 81Q05 53D05 PDFBibTeX XMLCite \textit{M. Ziegler} and \textit{B. Fuchssteiner}, Int. J. Theor. Phys. 44, No. 7, 693--717 (2005; Zbl 1104.81069) Full Text: DOI arXiv
Ziegler, Martin Computational power of infinite quantum parallelism. (English) Zbl 1101.81040 Int. J. Theor. Phys. 44, No. 11, 2059-2071 (2005). MSC: 81P68 PDFBibTeX XMLCite \textit{M. Ziegler}, Int. J. Theor. Phys. 44, No. 11, 2059--2071 (2005; Zbl 1101.81040) Full Text: DOI arXiv
Ziegler, Martin Computability and continuity on the real arithmetic hierarchy and the power of type-2 nondeterminism. (English) Zbl 1115.03039 Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 562-571 (2005). MSC: 03D10 03D55 03F60 PDFBibTeX XMLCite \textit{M. Ziegler}, Lect. Notes Comput. Sci. 3526, 562--571 (2005; Zbl 1115.03039) Full Text: DOI
Schindelhauer, Christian; Volbert, Klaus; Ziegler, Martin Spanners, weak spanners, and power spanners for wireless networks. (English) Zbl 1116.68561 Fleischer, Rudolf (ed.) et al., Algorithms and computation. 15th international symposium, ISAAC 2004, Hong Kong, China, December 20–22, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24131-0/pbk). Lecture Notes in Computer Science 3341, 805-821 (2004). MSC: 68R10 68M10 68U05 PDFBibTeX XMLCite \textit{C. Schindelhauer} et al., Lect. Notes Comput. Sci. 3341, 805--821 (2004; Zbl 1116.68561) Full Text: DOI
Nüsken, Michael; Ziegler, Martin Fast multipoint evaluation of bivariate polynomials. (English) Zbl 1111.68789 Albers, Susanne (ed.) et al., Algorithms – ESA 2004. 12th annual European symposium, Bergen, Norway, September 14–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23025-4/pbk). Lecture Notes in Computer Science 3221, 544-555 (2004). MSC: 68W30 68Q25 PDFBibTeX XMLCite \textit{M. Nüsken} and \textit{M. Ziegler}, Lect. Notes Comput. Sci. 3221, 544--555 (2004; Zbl 1111.68789) Full Text: DOI
Ziegler, Martin Computable operators on regular sets. (English) Zbl 1058.03071 Math. Log. Q. 50, No. 4-5, 392-404 (2004). MSC: 03F60 51M04 54H05 PDFBibTeX XMLCite \textit{M. Ziegler}, Math. Log. Q. 50, No. 4--5, 392--404 (2004; Zbl 1058.03071) Full Text: DOI
Ziegler, Martin; Brattka, Vasco Computability in linear algebra. (English) Zbl 1063.03047 Theor. Comput. Sci. 326, No. 1-3, 187-211 (2004). Reviewer: Zheng Xizhong (Cottbus) MSC: 03F60 68Q05 65F10 65F15 65G99 PDFBibTeX XMLCite \textit{M. Ziegler} and \textit{V. Brattka}, Theor. Comput. Sci. 326, No. 1--3, 187--211 (2004; Zbl 1063.03047) Full Text: DOI
Ziegler, Martin Fast relative approximation of potential fields. (English) Zbl 1278.68338 Dehne, Frank (ed.) et al., Algorithms and data structures. 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 – August 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40545-3/pbk). Lect. Notes Comput. Sci. 2748, 140-149 (2003). MSC: 68U20 68P05 68U05 70-08 70F10 PDFBibTeX XMLCite \textit{M. Ziegler}, Lect. Notes Comput. Sci. 2748, 140--149 (2003; Zbl 1278.68338) Full Text: DOI
Ziegler, Martin Quasi-optimal arithmetic for quaternion polynomials. (English) Zbl 1205.68522 Ibaraki, Toshihide (ed.) et al., Algorithms and computation. 14th international symposium, ISAAC 2003, Kyoto, Japan, December 15–17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20695-7/pbk). Lect. Notes Comput. Sci. 2906, 705-715 (2003). MSC: 68W30 16S36 PDFBibTeX XMLCite \textit{M. Ziegler}, Lect. Notes Comput. Sci. 2906, 705--715 (2003; Zbl 1205.68522) Full Text: DOI
Ziegler, Martin Computability on regular subsets of Euclidean space. (English) Zbl 1020.03062 Math. Log. Q. 48, Suppl. 1, 157-181 (2002). Reviewer: Zheng Xizhong (Cottbus) MSC: 03F60 51M04 65D18 PDFBibTeX XMLCite \textit{M. Ziegler}, Math. Log. Q. 48, 157--181 (2002; Zbl 1020.03062) Full Text: DOI
Ziegler, Martin; Brattka, Vasco A computable spectral theorem. (English) Zbl 0985.03054 Blanck, Jens (ed.) et al., Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17-19, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2064, 378-388 (2001). MSC: 03F60 15A18 PDFBibTeX XMLCite \textit{M. Ziegler} and \textit{V. Brattka}, Lect. Notes Comput. Sci. 2064, 378--388 (2001; Zbl 0985.03054) Full Text: Link
Emamy-Khansary, M. Reza; Ziegler, Martin New bounds for hypercube slicing numbers. (English) Zbl 1001.68172 Discrete models: combinatorics, computation, and geometry. Proceedings of the 1st international conference (DM-CCG), Paris, France, July 2-5, 2001. Paris: Maison de l’Informatique et des Mathématiques Discrètes (MIMD), Discrete Math. Theor. Comput. Sci., Proc. AA, 155-164, electronic only (2001). MSC: 68U05 PDFBibTeX XMLCite \textit{M. R. Emamy-Khansary} and \textit{M. Ziegler}, in: Discrete models: combinatorics, computation, and geometry. Proceedings of the 1st international conference (DM-CCG), Paris, France, July 2--5, 2001. Paris: Maison de l'Informatique et des Mathématiques Discrètes (MIMD). 155--164 (2001; Zbl 1001.68172) Full Text: EMIS
Ziegler, Martin; Brattka, Vasco Computing the dimension of linear subspaces. (English) Zbl 1043.03519 Hlaváč, Václav (ed.) et al., SOFSEM 2000: Theory and practice of informatics. 27th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 25–December 2, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41348-0). Lect. Notes Comput. Sci. 1963, 450-458 (2000). MSC: 03D45 03D65 03F60 15A03 PDFBibTeX XMLCite \textit{M. Ziegler} and \textit{V. Brattka}, Lect. Notes Comput. Sci. 1963, 450--458 (2000; Zbl 1043.03519) Full Text: Link
Czumaj, Artur; Sohler, Christian; Ziegler, Martin Property testing in computational geometry. (Extended abstract). (English) Zbl 0974.68542 Paterson, Mike (ed.), Algorithms - ESA 2000. 8th annual European symposium, Saarbrücken, Germany, September 5-8, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1879, 155-166 (2000). MSC: 68U05 PDFBibTeX XMLCite \textit{A. Czumaj} et al., Lect. Notes Comput. Sci. 1879, 155--166 (2000; Zbl 0974.68542)