This site is supported by donations to The OEIS Foundation.

User:Marco David

From OeisWiki
Jump to: navigation, search

Undergraduate Student at Jacobs University Bremen, Class of 2020, expecting B. Sc. in Mathematics and Physics Email:,

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 for a published subset of current progress.