Delli, Serena On the nature of combinatorial proofs. (English) Zbl 1505.03122 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 83-100 (2019). MSC: 03F03 03F07 PDFBibTeX XMLCite \textit{S. Delli}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 83--100 (2019; Zbl 1505.03122)
Guo, Yuhong; Ma, Lei Several in-place identities for the part of size 1 of integer compositions. (Chinese. English summary) Zbl 1449.05022 Pure Appl. Math. 35, No. 4, 464-468 (2019). MSC: 05A17 05A19 PDFBibTeX XMLCite \textit{Y. Guo} and \textit{L. Ma}, Pure Appl. Math. 35, No. 4, 464--468 (2019; Zbl 1449.05022)
Guo, Yu-hong The inverse-conjugate compositions without 2’s. (English) Zbl 1463.05015 Ars Comb. 146, 123-133 (2019). MSC: 05A17 05A19 05A15 PDFBibTeX XMLCite \textit{Y.-h. Guo}, Ars Comb. 146, 123--133 (2019; Zbl 1463.05015)
Ralph, Benjamin; Straßburger, Lutz Towards a combinatorial proof theory. (English) Zbl 1468.03076 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 259-276 (2019). MSC: 03F07 03F52 PDFBibTeX XMLCite \textit{B. Ralph} and \textit{L. Straßburger}, Lect. Notes Comput. Sci. 11714, 259--276 (2019; Zbl 1468.03076) Full Text: DOI Link
Nieto, Jesús E.; Silva, Orlando Proving Gowers’ FIN\(_k\) theorem in ZF+DC. (English) Zbl 1463.05530 Math. Rep., Buchar. 21(71), No. 4, 461-466 (2019). MSC: 05D10 05C55 03F30 PDFBibTeX XMLCite \textit{J. E. Nieto} and \textit{O. Silva}, Math. Rep., Buchar. 21(71), No. 4, 461--466 (2019; Zbl 1463.05530)
Acclavio, Matteo; Straßburger, Lutz On combinatorial proofs for logics of relevance and entailment. (English) Zbl 07176915 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 1-16 (2019). MSC: 03B47 03F07 PDFBibTeX XMLCite \textit{M. Acclavio} and \textit{L. Straßburger}, Lect. Notes Comput. Sci. 11541, 1--16 (2019; Zbl 07176915) Full Text: DOI Link
Mikić, Jovan Two new identities involving the Catalan numbers and sign-reversing involutions. (English) Zbl 1431.05020 J. Integer Seq. 22, No. 7, Article 19.7.7, 10 p. (2019). MSC: 05A19 05A10 PDFBibTeX XMLCite \textit{J. Mikić}, J. Integer Seq. 22, No. 7, Article 19.7.7, 10 p. (2019; Zbl 1431.05020) Full Text: Link
Lv, Lun; Pang, Sabrina X. M.; Song, Xingshuo Combinatorial proofs of two curious identities. (English) Zbl 1513.05017 Ars Comb. 143, 47-51 (2019). Reviewer: Balasubramanian Sury (Bangalore) MSC: 05A10 05A19 PDFBibTeX XMLCite \textit{L. Lv} et al., Ars Comb. 143, 47--51 (2019; Zbl 1513.05017)
Straßburger, Lutz The problem of proof identity, and why computer scientists should care about Hilbert’s 24th problem. (English) Zbl 1436.03293 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180038, 14 p. (2019). MSC: 03F03 68Q60 PDFBibTeX XMLCite \textit{L. Straßburger}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180038, 14 p. (2019; Zbl 1436.03293) Full Text: DOI
Vellaisamy, Palaniappan; Zeleke, Aklilu Probabilistic proofs of some beta-function identities. (English) Zbl 1423.05026 J. Integer Seq. 22, No. 6, Article 19.6.6, 11 p. (2019). MSC: 05A19 05A10 33B15 PDFBibTeX XMLCite \textit{P. Vellaisamy} and \textit{A. Zeleke}, J. Integer Seq. 22, No. 6, Article 19.6.6, 11 p. (2019; Zbl 1423.05026) Full Text: Link
Chern, Shane On a problem of George Andrews concerning partitions with even parts below odd parts. (English) Zbl 1438.05008 Afr. Mat. 30, No. 5-6, 691-695 (2019). MSC: 05A17 PDFBibTeX XMLCite \textit{S. Chern}, Afr. Mat. 30, No. 5--6, 691--695 (2019; Zbl 1438.05008) Full Text: DOI
Chern, Shane Combinatorial proof of an identity of Andrews and Yee. (English) Zbl 1418.05021 Ramanujan J. 49, No. 3, 505-513 (2019). MSC: 05A19 05A17 05A10 11P81 PDFBibTeX XMLCite \textit{S. Chern}, Ramanujan J. 49, No. 3, 505--513 (2019; Zbl 1418.05021) Full Text: DOI arXiv
Mukherjee, Sajal Kumar; Bera, Sudip Combinatorial proofs of the Newton-Girard and Chapman-Costas-Santos identities. (English) Zbl 1414.05043 Discrete Math. 342, No. 6, 1577-1580 (2019). MSC: 05A19 05C20 15A15 PDFBibTeX XMLCite \textit{S. K. Mukherjee} and \textit{S. Bera}, Discrete Math. 342, No. 6, 1577--1580 (2019; Zbl 1414.05043) Full Text: DOI arXiv
Mendes, Anthony The combinatorics of rim hook tableaux. (English) Zbl 1417.05243 Australas. J. Comb. 73, Part 1, 132-148 (2019). Reviewer: David Grabiner (Columbia) MSC: 05E05 05A19 05E10 PDFBibTeX XMLCite \textit{A. Mendes}, Australas. J. Comb. 73, Part 1, 132--148 (2019; Zbl 1417.05243) Full Text: Link
Janičić, Predrag; Marić, Filip; Maliković, Marko Computer-assisted proving of combinatorial conjectures over finite domains: a case study of a chess conjecture. (English) Zbl 1515.03060 Log. Methods Comput. Sci. 15, No. 1, Paper No. 34, 37 p. (2019). MSC: 03B35 68V15 91A46 PDFBibTeX XMLCite \textit{P. Janičić} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 34, 37 p. (2019; Zbl 1515.03060) Full Text: DOI arXiv
Georgiadis, Evangelos; Zeilberger, Doron A combinatorial-probabilistic analysis of bitcoin attacks. (English) Zbl 1489.68411 J. Difference Equ. Appl. 25, No. 1, 56-63 (2019). MSC: 68W30 05A10 33C90 39A60 94A60 PDFBibTeX XMLCite \textit{E. Georgiadis} and \textit{D. Zeilberger}, J. Difference Equ. Appl. 25, No. 1, 56--63 (2019; Zbl 1489.68411) Full Text: DOI arXiv
Lawson, Mark Verus A first course in logic. (English) Zbl 1457.03001 Boca Raton, FL: CRC Press (ISBN 978-0-8153-8665-0/pbk; 978-0-8153-8664-3/hbk; 978-1-351-17537-1/pbk). xv, 233 p. (2019). Reviewer: Éric Martin (Sydney) MSC: 03-01 03B05 03B10 03G05 PDFBibTeX XMLCite \textit{M. V. Lawson}, A first course in logic. Boca Raton, FL: CRC Press (2019; Zbl 1457.03001) Full Text: Link