×

zbMATH — the first resource for mathematics

Found 4,189 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Riesco, Adrián; Ogata, Kazuhiro
CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications. (English) Zbl 07369983
Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 64-82 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{A. Riesco} and \textit{K. Ogata}, Lect. Notes Comput. Sci. 12545, 64--82 (2020; Zbl 07369983)
Full Text: DOI
Gengelbach, Arve; Weber, Tjark
Proof-theoretic conservative extension of HOL with ad-hoc overloading. (English) Zbl 07369981
Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 23-42 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{A. Gengelbach} and \textit{T. Weber}, Lect. Notes Comput. Sci. 12545, 23--42 (2020; Zbl 07369981)
Full Text: DOI
Chernykh, Ilya; Krivonogova, Olga
On the optima localization for the three-machine routing open shop. (English) Zbl 1460.90085
Kononov, Alexander (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12095, 274-288 (2020).
MSC:  90B35 90B10 68W25 90C60
PDF BibTeX XML Cite
\textit{I. Chernykh} and \textit{O. Krivonogova}, Lect. Notes Comput. Sci. 12095, 274--288 (2020; Zbl 1460.90085)
Full Text: DOI
Karantias, Kostis; Kiayias, Aggelos; Zindros, Dionysis
Proof-of-burn. (English) Zbl 1459.94119
Bonneau, Joseph (ed.) et al., Financial cryptography and data security. 24th international conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12059, 523-540 (2020).
MSC:  94A60 91B64 91G80
PDF BibTeX XML Cite
\textit{K. Karantias} et al., Lect. Notes Comput. Sci. 12059, 523--540 (2020; Zbl 1459.94119)
Full Text: DOI
Wahby, Riad S.; Boneh, Dan; Jeffrey, Christopher; Poon, Joseph
An airdrop that preserves recipient privacy. (English) Zbl 1459.94145
Bonneau, Joseph (ed.) et al., Financial cryptography and data security. 24th international conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12059, 444-463 (2020).
MSC:  94A60 94A62 91B64 91G20
PDF BibTeX XML Cite
\textit{R. S. Wahby} et al., Lect. Notes Comput. Sci. 12059, 444--463 (2020; Zbl 1459.94145)
Full Text: DOI
Guerrieri, Giulio; Naibo, Alberto
The problem of harmony in classical logic. (English) Zbl 07307089
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 49-65 (2020).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\textit{G. Guerrieri} and \textit{A. Naibo}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 49--65 (2020; Zbl 07307089)
Grunspan, Cyril; Perez-Marco, Ricardo
Selfish mining in ethereum. (English) Zbl 07304453
Pardalos, Panos (ed.) et al., Mathematical research for blockchain economy. Proceedings of the 2nd international conference on mathematical research for blockchain economy, MARBLE 2020, Vilamoura, Portugal, June 8–10, 2020. Cham: Springer. Springer Proc. Bus. Econ., 65-90 (2020).
MSC:  68M01 60G40 91A60
PDF BibTeX XML Cite
\textit{C. Grunspan} and \textit{R. Perez-Marco}, in: Mathematical research for blockchain economy. Proceedings of the 2nd international conference on mathematical research for blockchain economy, MARBLE 2020, Vilamoura, Portugal, June 8--10, 2020. Cham: Springer. 65--90 (2020; Zbl 07304453)
Full Text: DOI
Ramanayake, Revantha
Extended Kripke lemma and decidability for hypersequent substructural logics. (English) Zbl 07299513
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 795-806 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{R. Ramanayake}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 795--806 (2020; Zbl 07299513)
Full Text: DOI
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz
Logic beyond formulas: a proof system on graphs. (English) Zbl 07299457
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 38-52 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{M. Acclavio} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 38--52 (2020; Zbl 07299457)
Full Text: DOI
Schmitz, Leonard; Levandovskyy, Viktor
Formally verifying proofs for algebraic identities of matrices. (English) Zbl 1455.68253
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 222-236 (2020).
MSC:  68V15 15A24 68W30
PDF BibTeX XML Cite
\textit{L. Schmitz} and \textit{V. Levandovskyy}, Lect. Notes Comput. Sci. 12236, 222--236 (2020; Zbl 1455.68253)
Full Text: DOI
Sokolov, Dmitry
(Semi)algebraic proofs over \(\{\pm 1\}\) variables. (English) Zbl 07298232
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 78-90 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{D. Sokolov}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 78--90 (2020; Zbl 07298232)
Full Text: DOI
Göös, Mika; Koroth, Sajin; Mertz, Ian; Pitassi, Toniann
Automating cutting planes is NP-hard. (English) Zbl 07298231
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 68-77 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. Göös} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 68--77 (2020; Zbl 07298231)
Full Text: DOI
Alekseev, Yaroslav; Grigoriev, Dima; Hirsch, Edward A.; Tzameret, Iddo
Semi-algebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (English) Zbl 07298230
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 54-67 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{Y. Alekseev} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 54--67 (2020; Zbl 07298230)
Full Text: DOI
Weingartner, Paul (ed.); Leeb, Hans-Peter (ed.)
Kreisel’s interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13–14, 2018. (English) Zbl 1456.03005
Tributes 41. London: College Publications (ISBN 978-1-84890-330-2). viii, 171 p. (2020).
MSC:  03-06 03Bxx 03Fxx 00B25 00B30
PDF BibTeX XML Cite
\textit{P. Weingartner} (ed.) and \textit{H.-P. Leeb} (ed.), Kreisel's interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13--14, 2018. London: College Publications (2020; Zbl 1456.03005)
Castro, Angel; Córdoba, Diego; Gómez-Serrano, Javier
Global smooth solutions for the inviscid SQG equation. (English) Zbl 1444.35003
Memoirs of the American Mathematical Society 1292. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4214-9/pbk; 978-1-4704-6247-5/ebook). v, 89 p. (2020).
MSC:  35-02 35Q35 35B32 65G30 76B03 86A05 86A10
PDF BibTeX XML Cite
\textit{A. Castro} et al., Global smooth solutions for the inviscid SQG equation. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1444.35003)
Full Text: DOI
Ashlock, Daniel; Lee, Colin
An introduction to proofs with set theory. (English) Zbl 1462.03001
Synthesis Lectures on Mathematics and Statistics 35. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-881-9/hbk; 978-1-68173-879-6/pbk; 978-1-68173-880-2/ebook). xv, 233 p. (2020).
Reviewer: Martin Weese (Potsdam)
MSC:  03-01 00A35 97E50
PDF BibTeX XML Cite
\textit{D. Ashlock} and \textit{C. Lee}, An introduction to proofs with set theory. San Rafael, CA: Morgan \& Claypool Publishers (2020; Zbl 1462.03001)
Full Text: DOI
Schmidt, Diana
Well-partial orderings and their maximal order types. (English) Zbl 07218748
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 351-391 (2020).
MSC:  03Fxx 03Exx 03Dxx
PDF BibTeX XML Cite
\textit{D. Schmidt}, Trends Log. Stud. Log. Libr. 53, 351--391 (2020; Zbl 07218748)
Full Text: DOI
Steila, Silvia
A combinatorial bound for a restricted form of the termination theorem. (English) Zbl 07218746
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 321-338 (2020).
MSC:  03Bxx 03Fxx 05Dxx
PDF BibTeX XML Cite
\textit{S. Steila}, Trends Log. Stud. Log. Libr. 53, 321--338 (2020; Zbl 07218746)
Full Text: DOI
Powell, Thomas
Well quasi-orders and the functional interpretation. (English) Zbl 07218744
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 221-269 (2020).
MSC:  03Fxx
PDF BibTeX XML Cite
\textit{T. Powell}, Trends Log. Stud. Log. Libr. 53, 221--269 (2020; Zbl 07218744)
Full Text: DOI
Krombholz, Martin; Rathjen, Michael
Upper bounds on the graph minor theorem. (English) Zbl 07218741
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 145-159 (2020).
MSC:  03Fxx
PDF BibTeX XML Cite
\textit{M. Krombholz} and \textit{M. Rathjen}, Trends Log. Stud. Log. Libr. 53, 145--159 (2020; Zbl 07218741)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software