Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

Divide any circle’s circumference by its diameter and you get pi. But what, exactly, are its digits? Measuring physical ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Abstract: Catalytic cracking unit is a highly dynamic industrial process involving complex chemical reactions, catalyst circulation, temperature and pressure changes, and control system regulation. To ...

Abstract: This article proposes a nondestructive method for measuring the complex permittivity of thick slab specimens using the improved open waveguide (IOW) method based on the Nicolson–Ross–Weir ...