Polynomial Formal Verification of Approximate Functions
type: Item
instance of: scholarly article
title: Polynomial Formal Verification of Approximate Functions
DOI: 10.1007/978-3-658-41888-5
author: Q6060793
published in: BestMasters
publication date: 2023-11-06T00:00:00Z
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68Q06
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 94C11
zbMATH DE Number: 7761099
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-658-41888-5
OpenAlex ID: W4385145116
description: scientific article; zbMATH DE number 7761099