Bøger af Martin Suda

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.

"Quantum Interferometry in Phase Space" is primarily concerned with quantum-mechanical distribution functions and their applications in quantum optics and neutron interferometry. In the first part of the book, the author describes the phase-space representation of quantum optical phenomena such as coherent and squeezed states. Applications to interferometry, e.g. in beam splitters and fiber networks, are also presented. In the second part of the book, the theoretical formalism is applied to neutron interferometry, including the dynamical theory of diffraction, coherence properties of superposed beams, and dephasing effects.