Mathematical Foundations and Aspects of Discrete Mathematics

WORLD SCIENTIFIC eBooks · 2025-08-07 · 2 citations

Aspects of Harmonic Analysis on Locally Compact Abelian Groups

WORLD SCIENTIFIC eBooks · 2024-03-03

Aspects of Representation Theory and Noncommutative Harmonic Analysis

WORLD SCIENTIFIC eBooks · 2024-12-17

Rigid E-unification: NP-completeness and applications to equational matings

UNC Libraries · 2021-08-19

Rigid E-unification is a restricted kind of unification modulo equational theories, or E-unification, that arises naturally in extending Andrew's theorem proving method of matings to first-order languages with equality. This extension was first presented by J. H. Gallier, S. Raatz, and W. Snyder, who conjectured that rigid E-unification is decidable. In this paper, it is shown that rigid E-unification is NP-complete and that finite complete sets of rigid E-unifiers always exist. As a consequence, deciding whether a family of mated sets is an equational mating is an NP-complete problem. Some implications of this result regarding the complexity of theorem proving in first-order logic with equality are also discussed.

Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry

WORLD SCIENTIFIC eBooks · 2021 · 6 citations

• Mathematics
• Geometry
• Pure mathematics

The Log-Euclidean Framework Applied to SPD Matrices

Geometry and computing · 2020-01-01 · 2 citations

Manifolds, Tangent Spaces, Cotangent Spaces, and Submanifolds

Geometry and computing · 2020-01-01

Construction of Manifolds from Gluing Data $$\circledast $$

Geometry and computing · 2020-01-01

The Structure of O(p, q) and SO(p, q)

Geometry and computing · 2020-01-01

Adjoint Representations and the Derivative of exp

Geometry and computing · 2020-01-01 · 1 citations