×

Found 169 Documents (Results 1–100)

Undecidability of the submonoid membership problem for free nilpotent group of class \(l\geqslant 2\) of sufficiently large rank. (English. Russian original) Zbl 07773487

Izv. Math. 87, No. 4, 798-816 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 4, 166-185 (2023).
MSC:  20F18 20F16 20F05
PDFBibTeX XMLCite
Full Text: DOI MNR

Computable procedures for fields. (English) Zbl 07495181

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 342-352 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI Link

Non-coding enumeration operators. (English) Zbl 07633501

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, 112-123 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

The DPRM theorem in Isabelle (short paper). (English) Zbl 07649982

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 33, 7 p. (2019).
MSC:  68V20
PDFBibTeX XMLCite
Full Text: DOI

Hilbert’s tenth problem in Coq. (English) Zbl 1528.03181

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 27, 20 p. (2019).
MSC:  03D35 11D09 11U05
PDFBibTeX XMLCite
Full Text: DOI

Beginners’ quest to formalize mathematics: a feasibility study in Isabelle. (English) Zbl 1428.68340

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 16-27 (2019).
MSC:  68V15 11U05 68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

The Büchi sequences and Hilbert’s tenth problem. (English) Zbl 1377.11124

Gładki, Paweł (ed.) et al., Algebra, logic and number theory. Proceedings of the 3rd joint conferences on algebra, logic and number theory, Bȩdlewo, Poland, June 8–13, 2014. Warsaw: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-31-7/pbk). Banach Center Publications 108, 23-30 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

Quadratic Diophantine equations. With a foreword by Preda Mihăilescu. (English) Zbl 1376.11001

Developments in Mathematics 40. New York, NY: Springer (ISBN 978-0-387-35156-8/hbk; 978-0-387-54109-9/ebook). xviii, 211 p. (2015).
MSC:  11-02 11D09 11J70
PDFBibTeX XMLCite
Full Text: DOI

Julia Robinson and Hilbert’s tenth problem. Produced and directed by George Csicsery. Narrated by Danica McKellar, edited by Tal Skloot, music by Mark Adler. (English) Zbl 1225.01058

Oakland, CA: Zala Films (ISBN 978-0-972-45885-6). 1 DVD (54:10 min.). (2008).
MSC:  01A70 03-03
PDFBibTeX XMLCite

Hilbert’s tenth problem for function fields of characteristic zero. (English) Zbl 1166.03003

Chatzidakis, Zoé (ed.) et al., Model theory with applications to algebra and analysis. Vol. 2. Cambridge: Cambridge University Press (ISBN 978-0-521-70908-8/pbk). London Mathematical Society Lecture Note Series 350, 237-254 (2008).
MSC:  03B25 03C60 11U05
PDFBibTeX XMLCite
Full Text: arXiv

Decision problems in algebra and analogues of Hilbert’s tenth problem. (English) Zbl 1167.03008

Chatzidakis, Zoé (ed.) et al., Model theory with applications to algebra and analysis. Vol. 2. Cambridge: Cambridge University Press (ISBN 978-0-521-70908-8/pbk). London Mathematical Society Lecture Note Series 350, 207-235 (2008).
MSC:  03B25 03C60 11U05
PDFBibTeX XMLCite

Computational problems of quadratic forms: complexity and cryptographic perspectives. (English) Zbl 1333.11001

Frankfurt am Main: Univ. Frankfurt, Fachbereich Informatik und Mathematik (Diss.). xviii, 165 p. (2007).
PDFBibTeX XMLCite
Full Text: Link Link

What is a computation? (English) Zbl 1144.03005

Calude, Cristian S. (ed.), Randomness and complexity. From Leibniz to Chaitin. Dedicated to Gregory J. Chaitin on the occasion of his 60th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-277-082-0/hbk). 89-122 (2007).
PDFBibTeX XMLCite

Hilbert’s tenth problem. Diophantine classes and extensions to global fields. (English) Zbl 1196.11166

New Mathematical Monographs 7. Cambridge: Cambridge University Press (ISBN 0-521-83360-4/hbk). xii, 320 p. $ 99.00; £ 55.00; $ 79.00/e-book (2007).
PDFBibTeX XMLCite

Using elliptic curves of rank one towards the undecidability of Hilbert’s tenth problem over rings of algebraic integers. (English) Zbl 1057.11068

Fieker, Claus (ed.) et al., Algorithmic number theory. 5th international symposium, ANTS-V, Sydney, Australia, July 7–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43863-7). Lect. Notes Comput. Sci. 2369, 33-42 (2002).
MSC:  11U05 03D35 11G05
PDFBibTeX XMLCite
Full Text: arXiv Link

Hilbert’s Tenth Problem over number fields, a survey. (English) Zbl 0994.03001

Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 107-137 (2000).
PDFBibTeX XMLCite

Undecidability of existential theories of rings and fields: A survey. (English) Zbl 0981.03013

Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 49-105 (2000).
PDFBibTeX XMLCite

Hilbert’s Tenth Problem: What was done and what is to be done. (English) Zbl 0994.03002

Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 1-47 (2000).
PDFBibTeX XMLCite

Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2–5, 1999. (English) Zbl 0955.00034

Contemporary Mathematics. 270. Providence, RI: American Mathematical Society (AMS). xii, 367 p. (2000).
MSC:  00B25 03-06 11-06
PDFBibTeX XMLCite
Full Text: DOI

Towards an analog of Hilbert’s Tenth Problem for a number field. (English) Zbl 0995.03009

Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 241-254 (2000).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference