ABSTRACT: The purpose of this short but difficult paper is to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) in the light of a modern approach to nonlinear ...

ABSTRACT: The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential ...

Designed for a one-semester course in mathematics, this textbook presents a concise and practical introduction to commutative algebra in terms of normal (normalized) structure. It shows how the nature ...

Introduction to commutative algebra. Noetherian rings and modules. Local algebra and primary decomposition. The course may also include subjects from non-commutative algebra such as group and ...

Commutative algebra formalized in Coq using SSReflect/MathComp & packed classes. This repository is part of the Coq/SSReflect algebraic geometry project. All rings here are commutative and has 1, as ...