Related papers: Deduction modulo theory
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…
Several conjectural continued fractions found with the help of various algorithms are published in this paper.
This paper gives an introduction to some results on monodromy groupoids and the monodromy principle, and then develops the notion of monodromy groupoid for group groupoids.
This is a reference volume on polyfold and Fredholm theory.
This is a survey article on distance-squared mappings and related topics.
This paper suggests a new interpretation of the Dempster-Shafer theory in terms of probabilistic interpretation of plausibility. A new rule of combination of independent evidence is shown and its preservation of interpretation is…
We present here the concept of Dominated Splitting and give an account of some important results on its dynamics.
This paper surveys the theory of compactness of the d-bar-Neumann problem. It also contains several results which improve upon what was previously known.
In this paper we consider Dedekind type DC sums and prove receprocity laws related to DC sums.
This is an expository article/encyclopedia entry explaining the history, techniques, and central results in the field of smooth ergodic theory.
This is a survey article on the recent developments of semipositivity, injectivity, and vanishing theorems for higher-dimensional complex projective varieties.
We present a history of the Baum-Connes conjecture, the methods involved, the current status, and the mathematics it generated.
This is a survey work on Lie algebras with ad-invariant metrics. We summarize main features, notions and constructions, in the aim of bringing into consideration the main research on the topic. We also give some list of examples in low…
This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, the structure and level of detail at which a proof is…
This paper evaluates some generalised Euler sums involving the digamma function.
We classify the module categories over the double (possibly twisted) of a finite group.
This is a survey of some of Erd\H os's work on bases in additive number theory.
This is a survey paper dealing with moduli aspects of curves over finite fields. It discusses counting points of moduli spaces, relations with modular forms and stratifications on moduli spaces.
A simplified version of Higher Covariant Derivative regularization for Yang-Mills theory is constructed. This may make Higher Covariant Derivative method more attractive for practical calculations.