Related papers: Files for Gabriel-Zisman localization
We present a theoretical analysis of open aperture $Z$-scan signatures for materials exhibiting an absorption admixture of different multiphoton processes. Based on a polynomial expansion, we suggest some procedures to separate the…
This document contains additional information for the paper: J. Quer. Fields of definition of building blocks, Math. Comp. 78 (2009), no. 265, pp. 537--554. It contains a description of the implementation in Magma of the algorithms and…
The purpose of this paper is to establish the foundations of multi-microlocalization, in particular, to give the fiber formula for the multi-microlocalization functor and estimate of microsupport of a multi-microlocalized object. We also…
The importance of category theory in recent developments in both mathematics and in computer science cannot be overstated. However, its abstract nature makes it difficult to understand at first. Graphical languages have been developed to…
This paper presents a unified approach for localizing some relevant graph topological indices via majorization techniques. Through this method, old and new bounds are derived and numerical examples are provided, showing how former results…
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in…
Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented. This work falls within the…
The Coq Platform is a continuously developed distribution of the Coq proof assistant together with commonly used libraries, plugins, and external tools useful in Coq-based formal verification projects. The Coq Platform enables reproducing…
We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lov\'asz local lemma.
In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer…
The following is an amalgamation of four preprints and some computer programs which together represent the current state of our investigations of higher order links. This investigation was motivated by questions discussed and raised in the…
We present a brief historical introduction to the topic of Bell's theorem. Next we present the surprising features of the three particle Greenberger-Horne-Zeilinger (GHZ) states. Finally we shall present a method of analysis of the GHZ…
We propose a new library to model and verify hardware circuits in the Coq proof assistant. This library allows one to easily build circuits by following the usual pen-and-paper diagrams. We define a deep-embedding: we use a (dependently…
In a recent Letter we have shown how COBE-DMR maps may be used to disprove Gaussianity at a high confidence level. In this report we digress on a few issues closely related to this Letter. We present the general formalism for surveying…
This preprint has been withdrawn.
This is my Habilitation a Diriger des Recherches (French thing). In this paper I summarize the work I have done to realize the program of Witten called -non abelian localization-. This work deals first with problems of localization in…
This manuscript is intended as an accompaniment to Guth's "A restriction estimate using polynomial partitioning". We begin by summarizing the core ideas of the proof, elaborating the history and development of the techniques therein. From…
We give the parameter version of localization theorem for Bergman metric near the boundary points of strictly pseudoconvex domains. The approximation theorem for square integrable holomorphic functions on such domains in the spirit of…
This expository piece expounds on major themes and clarifies technical details of the paper "Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem" of Orponen, Shmerkin, and Wang.
The aim of this article is to introduce Vogel's localization theorem for classes of D-complexes: this generalization of Waldhausen's localization theorem is especially useful and powerful in that it gives an explicit and computable…