Professor Haines specializes in Algebra. Dr. Haines doctoral thesis is “Quasi-orthogonal Completeness in p-rings.” p- rings are generalizations of Boolean rings, used in logic, computer science, ...

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

Abstract: The paper is about formalization of Set Theory and Elementary Algebra theorems in mathematics and their proofs in a new programming language called LEAN 4 Theorem Prover. The paper describes ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Daniel Glasscock, an assistant professor of mathematics and statistics, tapped two undergraduate students to verify his ...

The incompleteness theorem is accepted as part of the mathematical canon today, but columnist Jacob Aron says it was a ...

A 150-year-old geometry rule has been overturned after mathematicians found two different torus surfaces with identical ...

SINCE the third edition of this volume was published in 1915, the theory of relativity has been developed. It is now recognised that Maxwell's theory that the ultimate seat of electromagnetic and ...

Since the launch of the Crossword in 1942, The Times has captivated solvers by providing engaging word and logic games. In 2014, we introduced the Mini Crossword — followed by Spelling Bee, Letter ...