Toward automating the discovery of decreasing measures
type: Item
instance of: scholarly article
title: Toward automating the discovery of decreasing measures
zbMATH Open document ID: 1107.68094
author: Robert S. Boyer
author: Wilfred J. Legato
author: Wiktor Marek
published in: Journal of Automated Reasoning
publication date: 2007-01-30T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5119729
zbMATH Keywords: theorem-proving system
describes a project that uses: ACL2
describes a project that uses: NQTHM
MaRDI profile type: Publication
full work available at URL: s10817-005-9020-z
OpenAlex ID: W1984585577
cites work: The consistency of arithmetics
cites work: On the restricted ordinal theorem
DOI: 10.1007/S10817-005-9020-Z
Recommended article: Automatic finite unfolding using well-founded measures
Recommended article: Finding Reductions Automatically
Recommended article: Measured descent: A new embedding method for finite metrics
Recommended article: Automatic Generation of Optimal Reductions of Distributions
Recommended article: Automated Discovery in Elementary Extrema Problems
Recommended article: Q3077250
Recommended article: Measures minimizing regularized dispersion
Recommended article: Probabilistic Autoreductions
description: scientific article; zbMATH DE number 5119729