Braun, David; Magaud, Nicolas; Schreck, Pascal Formalizing some “small” finite models of projective geometry in Coq. (English) Zbl 1515.68349 Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 54-69 (2018). MSC: 68V20 51E15 51E20 68V15 PDFBibTeX XMLCite \textit{D. Braun} et al., Lect. Notes Comput. Sci. 11110, 54--69 (2018; Zbl 1515.68349) Full Text: DOI
Hirose, Hideo; Takatou, Masanori A combinatoric problem solved via algebra interpretation. (English) Zbl 1448.62205 Bull. Inf. Cybern. 50, 15-17 (2018). MSC: 62R01 60C05 62A01 PDFBibTeX XMLCite \textit{H. Hirose} and \textit{M. Takatou}, Bull. Inf. Cybern. 50, 15--17 (2018; Zbl 1448.62205) Full Text: DOI Link
Cheng, Yukun; Mei, Lili A survey on approximation mechanism design without money for facility location games. (Chinese. English summary) Zbl 1424.90224 Oper. Res. Trans. 22, No. 2, 93-104 (2018). MSC: 90C27 91A46 PDFBibTeX XMLCite \textit{Y. Cheng} and \textit{L. Mei}, Oper. Res. Trans. 22, No. 2, 93--104 (2018; Zbl 1424.90224) Full Text: DOI
Guo, Yuhong Several identities for inverse-conjugate compositions. (English) Zbl 1424.05021 J. Math. Res. Appl. 38, No. 5, 441-448 (2018). MSC: 05A17 05A19 11B39 PDFBibTeX XMLCite \textit{Y. Guo}, J. Math. Res. Appl. 38, No. 5, 441--448 (2018; Zbl 1424.05021) Full Text: DOI
Guo, Yuhong Some identities related to compositions of positive integers without 2’s. (Chinese. English summary) Zbl 1424.05020 J. Dalian Univ. Technol. 58, No. 4, 437-440 (2018). MSC: 05A17 05A19 11P84 05A15 PDFBibTeX XMLCite \textit{Y. Guo}, J. Dalian Univ. Technol. 58, No. 4, 437--440 (2018; Zbl 1424.05020) Full Text: DOI
Guo, Yuhong Some identities for the part 1 of integer compositions. (Chinese. English summary) Zbl 1413.05021 J. Northeast Norm. Univ., Nat. Sci. Ed. 50, No. 1, 15-18 (2018). MSC: 05A17 05A19 11P84 11B39 PDFBibTeX XMLCite \textit{Y. Guo}, J. Northeast Norm. Univ., Nat. Sci. Ed. 50, No. 1, 15--18 (2018; Zbl 1413.05021) Full Text: DOI
Guo, Yuhong Some identities for palindromic compositions without 2’s. (English) Zbl 1413.05004 J. Math. Res. Appl. 38, No. 2, 130-136 (2018). MSC: 05A05 05A17 05A19 11B39 68R15 PDFBibTeX XMLCite \textit{Y. Guo}, J. Math. Res. Appl. 38, No. 2, 130--136 (2018; Zbl 1413.05004) Full Text: DOI
Guo, Yu-Hong Some identities for palindromic compositions. (English) Zbl 1395.05013 J. Integer Seq. 21, No. 6, Article 18.6.6, 9 p. (2018). MSC: 05A15 05A17 05A19 PDFBibTeX XMLCite \textit{Y.-H. Guo}, J. Integer Seq. 21, No. 6, Article 18.6.6, 9 p. (2018; Zbl 1395.05013) Full Text: Link
Bera, Sudip; Mukherjee, Sajal Kumar Combinatorial proofs of some determinantal identities. (English) Zbl 1392.05013 Linear Multilinear Algebra 66, No. 8, 1659-1667 (2018). MSC: 05A19 05A05 05C30 05C38 PDFBibTeX XMLCite \textit{S. Bera} and \textit{S. K. Mukherjee}, Linear Multilinear Algebra 66, No. 8, 1659--1667 (2018; Zbl 1392.05013) Full Text: DOI
Flórez, Rigoberto; Junes, Leandro; Ramírez, José L. Further results on paths in an \(n\)-dimensional cubic lattice. (English) Zbl 1384.05022 J. Integer Seq. 21, No. 1, Article 18.1.2, 27 p. (2018). MSC: 05A15 05A19 15A24 PDFBibTeX XMLCite \textit{R. Flórez} et al., J. Integer Seq. 21, No. 1, Article 18.1.2, 27 p. (2018; Zbl 1384.05022) Full Text: Link
Baek, Jineon; Nam, Hayan; Yu, Myungjun A bijective proof of Amdeberhan’s conjecture on the number of \((s, s + 2)\)-core partitions with distinct parts. (English) Zbl 1383.05019 Discrete Math. 341, No. 5, 1294-1300 (2018). MSC: 05A17 05A15 11P81 PDFBibTeX XMLCite \textit{J. Baek} et al., Discrete Math. 341, No. 5, 1294--1300 (2018; Zbl 1383.05019) Full Text: DOI arXiv