This site is supported by donations to The OEIS Foundation.
User:Marco David
From OeisWiki
Undergraduate Student at Jacobs University Bremen, Class of 2020, expecting B. Sc. in Mathematics and Physics Email: m.david@jacobs-university.de,
Research experience: Formal-Verification of Prof. Dr. Yuri Matiyasevich's (Steklov Institute of St. Peterburg) proof of Hilbert's Tenth Problem using the Intelligible Semi Automated Reasoning System Isabelle/Higher Order Logic. Please refer to https://gitlab.com/hilbert-10/JuFo-2018 for a published subset of current progress.
