Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Maria Antonia Oprea
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 152
Keyphrases
Diophantine equations
,
DPRM Theorem
,
Hilbert's tenth problem
,
Isabelle
,
recursively enumerable
.
Copyright © 2012-2024 easychair.org. All rights reserved.
