Results 1 to 10 of about 448,782 (115)
Algebraic Methods in Phylogenetics. [PDF]
To those outside the field, and even to some focused on empirical applications, phylogenetics may appear to have little to do with algebra. Probability and statistics are clearly important ingredients, as modeling and inferring evolutionary relationships motivate the field.
Casanellas M, Rhodes JA.
europepmc +5 more sources
Combining the effect of an intermediate renormalization prescription (zero momentum subtraction) and the background field method (BFM), we show that the algebraic renormalization procedure needed for the computation of radiative corrections within non-invariant regularization schemes is drastically simplified.
GRASSI, PIETRO, T. HURTH, M. STEINHAUSER
openaire +4 more sources
Algebraic multigrid methods [PDF]
This paper provides an overview of AMG methods for solving large-scale systems of equations, such as those from discretizations of partial differential equations. AMG is often understood as the acronym of ‘algebraic multigrid’, but it can also be understood as ‘abstract multigrid’. Indeed, we demonstrate in this paper how and why an algebraic multigrid
Xu, Jinchao, Zikatanov, Ludmil
openaire +2 more sources
Algebraic Methods for Tensor Data [PDF]
We develop algebraic methods for computations with tensor data. We give 3 applications: extracting features that are invariant under the orthogonal symmetries in each of the modes, approximation of the tensor spectral norm, and amplification of low rank tensor structure.
Tokcan, Neriman +3 more
openaire +3 more sources
Algebraic Shifting and Exterior and Symmetric Algebra Methods [PDF]
26 pages. Revised version. Proofs of theorems 2.10 (now 2.11) and 2.11 (now 2.12) corrected. Exposition improved with some reordering.
Nagel, Uwe +2 more
openaire +2 more sources
Moduli stacks of algebraic structures and deformation theory [PDF]
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate diagram category ...
Yalin, Sinan
core +1 more source
On the mathematical synthesis of equational logics [PDF]
We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational ...
Chung-Kil Hur +2 more
core +3 more sources
Sugihara algebras: Admissibility algebras via the test spaces method [PDF]
This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated with the relevant logic R-mingle. The motivation for the paper comes from the study of admissible rules.
Cabrer, Leonardo M. +1 more
openaire +2 more sources
Algebraic methods in the theory of generalized Harish-Chandra modules [PDF]
This paper is a review of results on generalized Harish-Chandra modules in the framework of cohomological induction. The main results, obtained during the last 10 years, concern the structure of the fundamental series of $(\mathfrak{g},\mathfrak{k ...
A. Knapp +4 more
core +3 more sources
Quantifier Elimination over Finite Fields Using Gr\"obner Bases [PDF]
We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite fields.
Clarke, Edmund M. +2 more
core +1 more source

