Author:Shotaro Suzuki

Keyphrases

automated classification, ChatGPT, compound graph layout, Encyclopedic Dictionary of Mathematics, Mathmatics Subject Classification (MSC), Mizar, Mizar Mathematical Library (MML).