Related papers: Deduction modulo theory

Deduction modulo is a way to express a theory using computation rules instead of axioms. We present in this paper an extension of deduction modulo, called Polarized deduction modulo, where some rules can only be used at positive…

This is a survey of the model theory of second order logic.

We present constructive arithmetic in Deduction modulo with rewrite rules only.

This is a survey on spectral theory of dynamical systems.

This is a survey paper discussing the moduli problem for varieties of general type.

This is a survey of Rational Homotopy Theory, intended for a Mathematical Physics readership.

A paper for general audience about descriptive inner model theory.

Algebraic deformations of modules over a ring are considered. The resulting theory closely resembles Gerstenhaber's deformation theory of associative algebras.

The aim of this work is to show how we can decompose a module (if decomposable) into an indecomposable module with the help of the minimization process.

This is a review article on mirror symmetry and aspects of it related to the theory of modular forms. We describe this topic along its historical development and connect to some more recent results toward the end. The article is for…

We develop a theory of modulus triples, for future motivic applications.

We introduce an elementary argument to the theory of distribution of sequences modulo one.

This is a survey of current and recent works on deformation quantization and index theorems.

We survey noncommutative Choquet theory and some of its applications.

This is a slightly modified version of the survey article. Minor changes to the text and the references have been made.

This is a survey on permutation classes for the upcoming book Handbook of Enumerative Combinatorics.

This text is a survey on symmetric matrices. It serves as a script for a module to be taught at university.

In this course we introduce the main notions relative to the classical theory of modular forms. A complete treatise in a similar style can be found in the author's book joint with F. Str{\"o}mberg [1].

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and…

This is a survey paper on the subject of strong uniqueness in approximation theory.