lsumath

@lsumath

13 tuit

Formal & Physical Sciences AI — Models & Research

When Multiplicative Generalized (λ, λ) Derivations Supply Commutative Ideals Over Associative Rings

Mehsin Jabel Atteya

July 7, 2026 18 min

★ ★ ★ ☆ ☆ 3/5

Ring TheoryDerivationsCommutativity

Formal & Physical Sciences Mathematics

OAL-RAG 2024: Warren McGovern (Florida Atlantic University, Wilkes Honors College)

Warren McGovern

July 7, 2026 46 min

★ ★ ★ ★ ☆ 4/5

Algebraic FramesMinimal PrimesLattice-Ordered Groups

Formal & Physical Sciences Mathematics

OAL-RAG 2024: Tomás Recio (Universidad Antonio de Nebrija)

Tomás Recio and M. Pilar Vélez

July 7, 2026 46 min

★ ★ ★ ★ ☆ 4/5

GeoGebra DiscoveryAutomated Theorem ProvingReal Algebraic Geometry

Formal & Physical Sciences Mathematics

OAL-RAG 2024: Saugata Basu (Purdue University)

Saugata Basu

July 7, 2026 39 min

★ ★ ★ ★ ☆ 4/5

Real Algebraic GeometryHomologySymmetric Polynomials

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Ricardo Palomino Piepenborn (University of Manchester)

Ricardo Palomino Piepenborn

July 7, 2026 45 min

★ ★ ★ ★ ☆ 4/5

Model TheoryQuantifier EliminationLattice-Ordered Groups

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Ricardo Carrera (Nova Southeastern University)

Ricardo Carrera

July 7, 2026 40 min

★ ★ ★ ★ ☆ 4/5

Category TheoryFramesEssential Extensions

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Ramiro H. Lafuente-Rodriguez (University of South Dakota)

Ramiro H. Lafuente-Rodriguez

July 7, 2026 26 min

★ ★ ★ ★ ☆ 4/5

Frame TheoryPrime SpectrumSpecialization Order

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Philip Scowcroft (Wesleyan University)

Philip Scowcroft

July 7, 2026 46 min

★ ★ ★ ★ ☆ 4/5

Lattice-Ordered GroupsHyperarchimedeanStrong Unit

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Oghenetega Ighedo (Chapman University)

Oghenetega Ighedo

July 7, 2026 45 min

★ ★ ★ ★ ☆ 4/5

Torsion IdealRing HomomorphismAlgebraic Frames

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Jingjing Ma (University of Houston-Clear Lake)

Jingjing Ma

July 7, 2026 42 min

★ ★ ★ ★ ☆ 4/5

Infinite PrimesPartially Ordered RingsAlgebra

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Brian Wynne (Lehman College, City University of New York)

Brian Wynne (Lehman College, City University of New York) and Anthony Hager (Wesleyan University)

July 7, 2026 46 min

★ ★ ★ ★ ☆ 4/5

Vector LatticesFreudenthal Spectral TheoremYosida Representation

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Ali Mohammad Nezhad (University of North Carolina-Chapel Hill)

Ali Mohammad Nezhad

July 7, 2026 25 min

★ ★ ★ ★ ☆ 4/5

Łojasiewicz InequalitySemi-Algebraic GeometryPolynomial Optimization

Formal & Physical Sciences AI — Models & Research

OAL-RAG 2024: Rick Ball (University of Denver)

Rick Ball, Anthony W. Hager, Joanne Walters-Weyland

July 6, 2026 47 min

★ ★ ★ ★ ☆ 4/5

Uniform FramesYosida AdjunctionMadden Frame