Abstract: Over the past few years, large language models (LLMs) and retrieval-augmented generation (RAG) have redefined what is possible in various fields, and the field of AI-driven education is no ...
Functorial Semantics of Algebraic Theories Original unpublished; Ph.D. thesis, Columbia University, 1963. See extended TAC reprint 2004 1963 Functorial Semantics of Algebraic Theories (short notice) ...
Abstract: We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the use of ...
Add an issue to report a typo, mistake, etc. Please indicate the version of the book you are referring to (and, if it is the online version, please further indicate ...
Random matrix theory has a long history, beginning in the first instance in multivariate statistics. It was used by Wigner to supply explanations for the important regularity features of the ...
Olympiad mathematics is not a collection of techniques of solving mathematical problems but a system for advancing mathematical education. This book is based on the lecture notes of the mathematical ...
Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results