Alternate Title: PURITY OF THE WHOLE AND CONSTRUCTION OF THEORIES: THE CASE OF KRONECKER AND DEDEKIND IN ALGEBRAIC NUMBER THEORY.

Authors: PUENTE, GUILLERMO NIGRO¹ guillenigropuente@gmail.com

Superior Title: Crítica. ago2023, Vol. 55 Issue 164, p57-91. 35p.

Subject Terms: *ALGEBRAIC number theory, *PURITY (Philosophy), *MATHEMATICAL proofs, *MATHEMATICAL models

People: DEDEKIND, Richard, 1831-1916

Authors: Mutlu, Elif Kızıldere¹ (AUTHOR) elfkzldre@gmail.com, Soydana, Gökhan¹ (AUTHOR) gsoydan@uludag.edu.tr

Superior Title: International Journal of Number Theory. Jun2024, Vol. 20 Issue 5, p1195-1218. 24p.

Subject Terms: *ALGEBRAIC number theory, *DIOPHANTINE equations, *QUADRATIC fields, *ELLIPTIC curves, *EQUATIONS

Authors: Wilkins, Alex

Superior Title: New Scientist; 4/13/2024, Vol. 262 Issue 3486, p32-35, 4p, 3 Color Photographs

Subject Terms: ARTIFICIAL intelligence, LANGUAGE models, MATHEMATICS contests, ALGEBRAIC number theory, CHATBOTS, TRANSFORMER models, DEEP learning

Authors: ELSENHANS, ANDREAS-STEPHAN¹ stephan.elsenhans@mathematik.uni-wuerzburg.de

Superior Title: International Journal of Group Theory. Sep2024, Vol. 13 Issue 3, p241-250. 10p.

Subject Terms: *COMPUTATIONAL number theory, *ALGEBRAIC number theory

Authors: Hammer, Kyle¹ (AUTHOR), Mattman, Thomas W.¹ (AUTHOR), Sands, Jonathan W.² (AUTHOR), Vallières, Daniel¹ (AUTHOR)

Superior Title: Proceedings of the American Mathematical Society. Feb2024, Vol. 152 Issue 2, p501-514. 14p.

Subject Terms: *ALGEBRAIC number theory, *MULTIGRAPH, *L-functions, *ABELIAN groups, *IDEALS (Algebra), *AUTOMORPHISM groups, *ARTIN algebras

Authors: Savin, Diana¹ (AUTHOR) diana.savin@unitbv.ro, Minculete, Nicusor¹ (AUTHOR), Acciaro, Vincenzo² (AUTHOR) vincenzo.acciaro@unich.it

Superior Title: Mathematics (2227-7390). Jan2024, Vol. 12 Issue 1, p10. 7p.

Subject Terms: *COMPUTATIONAL number theory, *ALGEBRAIC number theory, *ALGEBRAIC field theory, *ANALYTIC number theory, *ALGEBRAIC numbers, *ARITHMETIC series, *RESIDUATED lattices, *FIBONACCI sequence, *PUBLIC key cryptography

Authors: Taher, Hunar Sherzad¹ sarojkumar.dash@vit.ac.in, Dash, Saroj Kumar¹ hunarsherzad.taher2022@vitstudent.ac.in

Superior Title: European Journal of Pure & Applied Mathematics. Jan2024, Vol. 17 Issue 1, p135-146. 12p.

Subject Terms: *ALGEBRAIC number theory, *CONTINUED fractions, *LOGARITHMS

Authors: D'Alessandro, William¹ (AUTHOR) wdales2@uic.edu

Superior Title: Synthese. Sep2021, Vol. 198 Issue 9, p8621-8664. 44p.

Authors: ZENOU, THEO (AUTHOR), HODGKINSON, THOMAS W. (AUTHOR)

Superior Title: Nautilus. 2024, Issue 54, p38-43. 3p. 5 Color Photographs.

Subject Terms: *ALGEBRAIC number theory, *QUANTUM field theory, *MAGIC

Authors: Silliman, Jesse^{Aff1, IDs40993024005265_cor1}

Superior Title: Research in Number Theory. 10(2)

Superior Title: Bulletin of the London Mathematical Society; Apr2024, Vol. 56 Issue 4, p1-4, 4p

Subject Terms: QUANTUM groups, COMPUTATIONAL number theory, GEOMETRIC function theory, ANALYTIC number theory, HARMONIC analysis (Mathematics), ALGEBRAIC number theory, DISCRETE mathematics

Authors: Rowe, David E.¹ (AUTHOR) rowe@mathematik.uni-mainz.de

Superior Title: Mathematical Intelligencer. Mar2021, Vol. 43 Issue 1, p88-96. 9p.

Subject Terms: *STORYTELLING, *ALGEBRAIC number theory, *PLEASURE, *ABSTRACT algebra, *CONTINUUM hypothesis

Authors: Endo, Hisaaki¹ endo@math.titech.ac.jp, Pajitnov, Andrei² andrei.pajitnov@univ-nantes.fr

Superior Title: Proceedings of the International Geometry Center. 2020, Vol. 13 Issue 4, p24-39. 16p.

Subject Terms: *ALGEBRAIC number theory, *COMPLEX manifolds, *MONODROMY groups

Authors: de Frutos-Fernández, María Inés, Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo

Contributors: Universidad Autónoma de Madrid (UAM), Combinatoire, théorie des nombres (CTN), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), CA1/RSUE/2021-00623 of the Spanish Ministry ofUniversities, the Recovery, Transformation and Resilience Plan, and Universidad Autónoma de Madrid., Appel à Projets Recherche UJM 2023 of Université Jean Monnet Saint-Étienne

Superior Title: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)
https://ujm.hal.science/ujm-04222610
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩
https://popl24.sigplan.org/home/CPP-2024

Subject Terms: Logic and verification, Proof theory formal mathematics, Lean, mathlib, algebraic number theory, local fields, discrete valuation rings, Theory of computation, CCS Concepts: Theory of computation → Logic and verification, Proof theory formal mathematics Lean mathlib algebraic number theory local fields discrete valuation rings, CCS Concepts, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

Subject Geographic: London, United Kingdom

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ujm-04222610; https://ujm.hal.science/ujm-04222610; https://ujm.hal.science/ujm-04222610v3/document; https://ujm.hal.science/ujm-04222610v3/file/deFrutosFerandez%26Nuccio-A%20Formalization%20of%20Complete%20DVR%20and%20Local%20Fields.pdf; ARXIV: 2310.01998

Availability: https://doi.org/10.1145/3636501.3636942
https://ujm.hal.science/ujm-04222610
https://ujm.hal.science/ujm-04222610v3/document
https://ujm.hal.science/ujm-04222610v3/file/deFrutosFerandez%26Nuccio-A%20Formalization%20of%20Complete%20DVR%20and%20Local%20Fields.pdf

Authors: Edwards, Harold M.¹ (AUTHOR) edwards@cims.nyu.edu

Superior Title: Mathematical Intelligencer. Mar2020, Vol. 42 Issue 1, p66-69. 4p.

Subject Terms: *HISTORY of mathematics, *ALGEBRAIC number theory, *ALGEBRAIC field theory, *PHILOSOPHY of mathematics, *GALOIS theory

Authors: Adams, Colin¹ (AUTHOR) cadams@williams.edu

Superior Title: Mathematical Intelligencer. 2020, Vol. 42 Issue 4, p33-35. 3p.

Subject Terms: *ALGEBRAIC number theory, *ALGEBRAIC numbers, *SYLOW subgroups, *ALGEBRAIC geometry

Authors: Rushall, Jeff¹ jeffrey.rushall@nau.edu, Sima, Justin¹, Waechter, Riley¹

Superior Title: International Journal of Mathematical Education in Science & Technology. Sep2022, Vol. 53 Issue 10, p2819-2830. 12p.

Subject Terms: *ALGEBRAIC number theory, *MATHEMATICS, *DIOPHANTINE approximation, *PRIMARY education, *SCHOOL children

Authors: Cant, Alexander¹ (AUTHOR) a.cant@tu-bs.de, Dietrich, Heiko^1,2 (AUTHOR) heiko.dietrich@monash.edu, Eick, Bettina¹ (AUTHOR) beick@tu-bs.de, Moede, Tobias¹ (AUTHOR) t.moede@tu-bs.de

Superior Title: Journal of Algebra. Aug2022, Vol. 604, p429-450. 22p.

Subject Terms: *TREE graphs, *ALGEBRAIC number theory

Authors: Bayer-Fluckiger, E.¹ (AUTHOR) eva.bayer@epfl.ch

Superior Title: Mathematical Notes. May2020, Vol. 107 Issue 5/6, p844-846. 3p.

Subject Terms: *CYCLOTOMIC fields, *ALGEBRAIC number theory, *ALGEBRAIC numbers, *BILINEAR forms, *QUADRATIC forms, *ALGEBRAIC fields

Authors: SAHOO, LOKANATH¹ lokanath.math@gmail.com

Superior Title: Journal of Ultra Scientist of Physical Sciences - Section B (Physics, Geology, Nano Technology Engineering, Bio Sciences, Material Science Management). 2020, Vol. 32 Issue 1, p1-3. 3p.

Subject Terms: *EULER theorem, *ALGEBRAIC number theory, *EVIDENCE, *CONGRUENCE lattices, *PRIME numbers