Related papers: Deduction modulo theory

In this work we develop some categorical aspects of the double structure of a module.

We define a Dieudonn\'e module as the module of Dieudonn\'e elements, and set up Dieudonn\'e module theory in a simple way. Under this formulation we give explicit formulae for the duality and the corresponding differential operators.

We attempt to review all trustworthy and well-controlled de Sitter compactifications of string theory.

A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with…

We review some of the basic mathematical results about density functional theory.

This is a survey of old and new problems and results in additive number theory.

The aim of this review is to present an overview over available models and approaches to non-commutative gauge theory. Our main focus thereby is on gauge models formulated on flat Groenewold-Moyal spaces and renormalizability, but we will…

This short note is an "elementary'' introduction to the conjectural theory of motives.

This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection…

It is proved that the first-order theory of the structure (N,mod) is undecidable. Here mod denotes the operation of computing the remainder for any division between positive integers; i.e. x mod y is the remainder obtained by the division x…

In this note we briefly survey and propose some open problems related to isoparametric theory.

In this paper, we prove an inequality regarding the differential polynomial. This improves some recent results.

In this paper, the MacWilliams theorem is stated for codes over finite field with four-dimensional modulo metrics.

A short introduction to the mathematical methods and technics of differential algebras and modules adapted to the problems of mathematical and theoretical physics is presented.

We present a survey on recent developments of generalizations of Forelli's analyticity theorem and related pluripotential methods.

This is a review article on the development of the probe and enclosure methods from past to present, focused on their central ideas together with various applications.

It is a basic introduction to differential graded Lie algebras, Maurer-Cartan equation and associated deformation functors.

Recently, a number of statistical problems have found an unexpected solution by inspecting them through a "modal point of view". These include classical tasks such as clustering or regression. This has led to a renewed interest in…

This is a review paper for the "Current Developments in Mathematics 2014" conference.

This article explains basic constructions and results on group algebras and their cohomology, starting from the point of view of commutative algebra. It provides the background necessary for a novice in this subject to begin reading Dave…