The Matiyasevich theorem. Preliminaries
type: Item
instance of: scholarly article
title: The Matiyasevich theorem. Preliminaries
zbMATH Open document ID: 1401.11073
published in: Formalized Mathematics
publication date: 2018-10-16T00:00:00Z
Mathematics Subject Classification ID: 11D09
Mathematics Subject Classification ID: 11D45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6955860
zbMATH Keywords: Pell equation
zbMATH Keywords: Diophantine equation
zbMATH Keywords: Hilbert's 10th problem
author: Karol Pąk
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2017-0029
OpenAlex ID: W2794525229
cites work: Pell's equation
cites work: Q4339021
cites work: Hilbert's Tenth Problem is Unsolvable
cites work: Fermat's little theorem via divisibility of Newton's binomial
Wikidata QID: Q130058187
DOI: 10.1515/FORMA-2017-0029
description: scientific article; zbMATH DE number 6955860