CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS

DOI10.17654/NT040050887zbMath1455.13035MaRDI QIDQ5229614

Edisson Gallego, Marlon Fulla, Ismael Rivera, Juan Diego Vélez, Danny Arlen de Jesús Gómez-Ramírez

Publication date: 16 August 2019

Published in: JP Journal of Algebra, Number Theory and Applications (Search for Journal in Brave)

zbMATH Keywords

divisorDedekind domainschain conditionsGoldbach's conjecturecontainment

Mathematics Subject Classification ID

Computational aspects and applications of commutative rings (13P99) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Uses Software

• HR
• kepler98

Cites Work

• A revision of the proof of the Kepler conjecture
• Every planar map is four colorable. I: Discharging
• Every planar map is four colorable. II: Reducibility
• A proof of the Kepler conjecture
• A Machine-Checked Proof of the Odd Order Theorem
• Multiplication Rings as Rings in Which Ideals with Prime Radical are Primary
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS