293,883 research outputs found
Miscellaneous Graph Preliminaries
This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library [2] to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series (cf. [8]) and most of them are preliminaries needed in [7] or other forthcoming [email protected] Gutenberg University, Mainz, GermanyGrzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.John Adrian Bondy and U. S. R. Murty. Graph Theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008. ISBN 978-1-84628-969-9.Pavol Hell and Jaroslav Nesetril. Graphs and homomorphisms. Oxford Lecture Series in Mathematics and Its Applications; 28. Oxford University Press, Oxford, 2004. ISBN 0-19-852817-5.Ulrich Knauer. Algebraic graph theory: morphisms, monoids and matrices, volume 41 of De Gruyter Studies in Mathematics. Walter de Gruyter, 2011.Sebastian Koch. About graph mappings. Formalized Mathematics, 27(3):261–301, 2019. doi:10.2478/forma-2019-0024.Sebastian Koch. About graph complements. Formalized Mathematics, 28(1):41–63, 2020. doi:10.2478/forma-2020-0004.Gilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235–252, 2005.Robin James Wilson. Introduction to Graph Theory. Oliver & Boyd, Edinburgh, 1972. ISBN 0-05-002534-1.233
A graph-based mathematical morphology reader
This survey paper aims at providing a "literary" anthology of mathematical
morphology on graphs. It describes in the English language many ideas stemming
from a large number of different papers, hence providing a unified view of an
active and diverse field of research
An alternative Gospel of structure: order, composition, processes
We survey some basic mathematical structures, which arguably are more
primitive than the structures taught at school. These structures are orders,
with or without composition, and (symmetric) monoidal categories. We list
several `real life' incarnations of each of these. This paper also serves as an
introduction to these structures and their current and potentially future uses
in linguistics, physics and knowledge representation.Comment: Introductory chapter to C. Heunen, M. Sadrzadeh, and E. Grefenstette.
Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse.
Oxford University Press, 201
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
Tarski's influence on computer science
The influence of Alfred Tarski on computer science was indirect but
significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and
geometry, the method of elimination of quantifiers, the semantics of formal
languages, modeltheoretic preservation theorems, and algebraic logic; various
connections of each with computer science are taken up
Logics of Finite Hankel Rank
We discuss the Feferman-Vaught Theorem in the setting of abstract model
theory for finite structures. We look at sum-like and product-like binary
operations on finite structures and their Hankel matrices. We show the
connection between Hankel matrices and the Feferman-Vaught Theorem. The largest
logic known to satisfy a Feferman-Vaught Theorem for product-like operations is
CFOL, first order logic with modular counting quantifiers. For sum-like
operations it is CMSOL, the corresponding monadic second order logic. We
discuss whether there are maximal logics satisfying Feferman-Vaught Theorems
for finite structures.Comment: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th
birthday. The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-23534-9_1
- …