×

zbMATH — the first resource for mathematics

Found 248 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Billey, Sara C.; Holroyd, Alexander E.; Young, Benjamin J.
A bijective proof of Macdonald’s reduced word formula. (English. French summary) Zbl 1440.05230
Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 251-262 (2020).
MSC:  05E14 14N15 05A05
PDF BibTeX XML Cite
\textit{S. C. Billey} et al., in: Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4--8, 2016. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 251--262 (2020; Zbl 1440.05230)
Full Text: Link
Delli, Serena
On the nature of combinatorial proofs. (English) Zbl 07307076
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 (ISBN 978-1-84890-307-4/pbk). 83-100 (2019).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\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 07307076)
Ralph, Benjamin; Straßburger, Lutz
Towards a combinatorial proof theory. (English) Zbl 07200672
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 (ISBN 978-3-030-29025-2/pbk; 978-3-030-29026-9/ebook). Lecture Notes in Computer Science 11714. Lecture Notes in Artificial Intelligence, 259-276 (2019).
MSC:  03F07
PDF BibTeX XML Cite
\textit{B. Ralph} and \textit{L. Straßburger}, Lect. Notes Comput. Sci. 11714, 259--276 (2019; Zbl 07200672)
Full Text: DOI
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 (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 1-16 (2019).
MSC:  03B70
PDF BibTeX XML Cite
\textit{M. Acclavio} and \textit{L. Straßburger}, Lect. Notes Comput. Sci. 11541, 1--16 (2019; Zbl 07176915)
Full Text: DOI
Raghavendra, Prasad; Weitz, Benjamin
On the bit complexity of sum-of-squares proofs. (English) Zbl 1441.68100
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 80, 13 p. (2017).
MSC:  68Q25 03F20 90C27
PDF BibTeX XML Cite
\textit{P. Raghavendra} and \textit{B. Weitz}, LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 80, 13 p. (2017; Zbl 1441.68100)
Full Text: DOI
Konvalinka, Matjaž
A bijective proof of the hook-length formula for skew shapes. (English) Zbl 1379.05123
Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 765-771 (2017).
MSC:  05E15 14N15
PDF BibTeX XML Cite
\textit{M. Konvalinka}, Electron. Notes Discrete Math. 61, 765--771 (2017; Zbl 1379.05123)
Full Text: DOI
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
On sets and graphs. Perspectives on logic and combinatorics. (English) Zbl 1382.05002
Cham: Springer (ISBN 978-3-319-54980-4/hbk; 978-3-319-54981-1/ebook). xix, 275 p. (2017).
Reviewer: Ayesha Shabbir (Gurjat)
MSC:  05-02 03-02 03E05 03E75 05C05 05C38 05C40 05C45 05C63 05C65 05C90 68R10 68Q17 68Q25
PDF BibTeX XML Cite
\textit{E. G. Omodeo} et al., On sets and graphs. Perspectives on logic and combinatorics. Cham: Springer (2017; Zbl 1382.05002)
Full Text: DOI
Vassilieva, E. A.; Schaeffer, G.
A combinatorial way of counting unicellular maps and constellations. (English. Russian original) Zbl 1276.05006
J. Math. Sci., New York 191, No. 5, 613-632 (2013); translation from Fundam. Prikl. Mat. 17(2011/12), No. 4, 25-52 (2012).
MSC:  05A15 05C30 14F45 05E15
PDF BibTeX XML Cite
\textit{E. A. Vassilieva} and \textit{G. Schaeffer}, J. Math. Sci., New York 191, No. 5, 613--632 (2013; Zbl 1276.05006); translation from Fundam. Prikl. Mat. 17(2011/12), No. 4, 25--52 (2012)
Full Text: DOI
Ishikawa, Masao; Koutschan, Christoph
Zeilberger’s holonomic ansatz for Pfaffians. (English) Zbl 1308.68174
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 227-233 (2012).
MSC:  68W30 05B20 15A15
PDF BibTeX XML Cite
\textit{M. Ishikawa} and \textit{C. Koutschan}, in: Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22--25, 2012. New York, NY: Association for Computing Machinery (ACM). 227--233 (2012; Zbl 1308.68174)
Full Text: DOI arXiv
Escoffier, Bruno; Gourvès, Laurent; Thang, Nguyen Kim; Pascual, Fanny; Spanjaard, Olivier
Strategy-proof mechanisms for facility location games with many facilities. (English) Zbl 1233.90211
Brafman, Ronen I. (ed.) et al., Algorithmic decision theory. Second international conference, ADT 2011, Piscataway, NJ, USA, October 26–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24872-6/pbk). Lecture Notes in Computer Science 6992. Lecture Notes in Artificial Intelligence, 67-81 (2011).
MSC:  90B80 91A46 68T42
PDF BibTeX XML Cite
\textit{B. Escoffier} et al., Lect. Notes Comput. Sci. 6992, 67--81 (2011; Zbl 1233.90211)
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
Biographic Reference
all top 3
Software