Hilbert's twenty-fourth problem
type: Item
instance of: scholarly article
title: Hilbert's twenty-fourth problem
zbMATH Open document ID: 1016.03061
DOI: 10.1023/A:1020537107897
author: Ruediger Thiele
author: Larry Wos
published in: Journal of Automated Reasoning
publication date: 2003-04-28T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 1902324
zbMATH Keywords: automated reasoning
zbMATH Keywords: proof refinement
zbMATH Keywords: Hilbert 24th problem
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1902324