ZEN Mathematics Center Announces New Project "LANA" Aiming for Computer Verification of Inter-Universal Teichmüller (IUT) Theory
NQ Score
42/100
N1 Content Completeness
5
AI Summary (NQ-processed)
ZEN Mathematics Center has announced "LANA," an international collaborative research project aiming for computer verification of Inter-Universal Teichmüller (IUT) theory. Led by ZEN University, Utrecht University, and the University of Alberta, it will formalize anabelian geometry and verify IUT theory.