Diophantine sets. Preliminaries
type: Item
instance of: scholarly article
title: Diophantine sets. Preliminaries
zbMATH Open document ID: 1401.11074
published in: Formalized Mathematics
publication date: 2018-10-17T00:00:00Z
Mathematics Subject Classification ID: 11D09
Mathematics Subject Classification ID: 11D45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6957527
zbMATH Keywords: Hilbert's 10th problem
zbMATH Keywords: Pell equation
zbMATH Keywords: multivariate polynomials
author: Karol Pąk
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2018-0007
OpenAlex ID: W2887880196
cites work: Pell's equation
cites work: Q4339021
cites work: Four decades of {\textsc{Mizar}}. Foreword
cites work: The Matiyasevich theorem. Preliminaries
cites work: Logical number theory I. An introduction
Wikidata QID: Q129436704
DOI: 10.2478/FORMA-2018-0007
description: scientific article; zbMATH DE number 6957527