HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Prabhat Devkota

Publications
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Benedikt Stock, Abhik Pal, Maria Antonia Oprea, Yufei Liu, Malte Sophian Hassler, Simon Dubischar, Prabhat Devkota, Yiping Deng, Marco David, Bogdan Ciurezu, Jonas Bayer and Deepak Aryal
EasyChair Preprint no. 152

Keyphrases

Diophantine equations, DPRM Theorem, Hilbert's tenth problem, Isabelle, recursively enumerable.

Copyright © 2012-2021 easychair.org. All rights reserved.