×

Found 3,767 Documents (Results 1–100)

Higher-order logic as a lingua franca for logico-pluralist argumentation. (English) Zbl 07582525

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 83-94 (2022).
PDF BibTeX XML Cite

Collected Works of William P. Thurston with Commentary: IV. The geometry and topology of three-manifolds: with a preface by Steven P. Kerckhoff. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. (English) Zbl 1507.57005

Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6391-5/hbk; 978-1-4704-6836-1/ebook; 978-1-4704-5164-6/set). xvii, 316 p. (2022).
PDF BibTeX XML Cite

Frameworks, tensegrities, and symmetry. (English) Zbl 07437384

Cambridge: Cambridge University Press (ISBN 978-0-521-87910-1/hbk; 978-0-511-84329-7/ebook). xiv, 283 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Orthogonal polynomials in the spectral analysis of Markov processes. Birth-death models and diffusion. (English) Zbl 1507.60001

Encyclopedia of Mathematics and its Applications 181. Cambridge: Cambridge University Press (ISBN 978-1-316-51655-3/hbk; 978-1-009-03054-0/ebook). xii, 334 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

On some paradoxes in voting theory. (English) Zbl 1485.91080

Walczak, Szymon (ed.), Proceedings of the contemporary mathematics in Kielce 2020, Kielce, Poland, February 24–27, 2021. Warsaw: De Gruyter/Sciendo. 55-71 (2021).
MSC:  91B12 91B14
PDF BibTeX XML Cite
Full Text: DOI

Affinely representable lattices, stable matchings, and choice functions. (English) Zbl 1482.90181

Singh, Mohit (ed.) et al., Integer programming and combinatorial optimization. 22nd international conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12707, 89-103 (2021).
MSC:  90C27
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software