Related papers: Deduction modulo theory

We give a characterization of decomposition theory in linear algebra.

We present here a new method for evaluating determinants -- the reduction method. Firstly, in the section 2, we apply it to third-order determinants and after, in the section 3, we generalize it to higher-order determinants. In the section…

In this survey article we discuss key open problems which could serve as a guidance for further research directions of multiplicative ideal theory and factorization theory.

A study of products of factorials modulo p and complete residues.

We give a short introduction to the theory of modular metric spaces. This is a corrected version of the paper [1], which had some errors. We are grateful to V. V. Chistyakov for bringing these to our attention.

In this article, we prove a decomposition theorem on differential polynomials of theta functions of high level.

This document is a brief overview of two documents which continue to develop the weight function theory of basis function smoothers and interpolants. One document considers the zero order theory and one considers the positive order theory.

In this survey, different aspects of the theory of orthogonal polynomials of one (real or complex) variable are reviewed. Orthogonal polynomials on the unit circle are not discussed.

A Short Course on Frame Theory.

We study \'etale descent of derivations of algebras with values in a module. The algebras under consideration are twisted forms of algebras over rings, and apply to all classes of algebras, notably associative and Lie algebras, such as the…

The paper is mostly a survey on recent results in Diophantine approximation, with emphasis on properties of exponents measuring various notions of Diophantine <approximation.

This article surveys modularity, level raising and level lowering questions for two-dimensional representations modulo prime powers of the absolute Galois group of the rational numbers. It contributes some new results and describes…

A simple theory of the covariant derivatives, deformed derivatives and relative covariant derivatives of multivector and multiform fields is presented using algebraic and analytical tools developed in previous papers.

A variation on the splitting principle

The paper gives the main lines of a general theory for physical measurements.

This is a survey recent works on topological extensions of the Tutte polynomial.

These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…

In this letter we present some new results on modular theory and its application in quantum field theory. In doing this we develop some new proposals how to generalize concepts of geometrical action. Therefore the spirit of this letter is…

The present article aims to provide a brief account of the theories of Drinfeld modules and Anderson's $t$-modules and $t$-motives. As such the article is not meant to be comprehensive, but we have endeavored to summarize aspects of the…

In this text, we wish to provide the reader with a short guide to recent works on the theory of dilatations in Commutative Algebra and Algebraic Geometry. These works fall naturally into two categories: one emphasises foundational and…