A proof of GMP square root
type: Item
instance of: scholarly article
title: A proof of GMP square root
zbMATH Open document ID: 1064.68093
DOI: 10.1023/A:1021987403425
author: Yves Bertot
author: Nicolas Magaud
author: Paul Zimmermann
published in: Journal of Automated Reasoning
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1901555
zbMATH Keywords: arbitrary large numbers
zbMATH Keywords: formal methods
zbMATH Keywords: GMP
zbMATH Keywords: Coq
describes a project that uses: Coq
describes a project that uses: gmp
MaRDI profile type: Publication
full work available at URL: a:1021987403425
OpenAlex ID: W1541694476
Recommended article: Proof of a Conjecture of Merca on an Average of Square Roots
Recommended article: Squaring a reverse AM-GM inequality
Recommended article: A tight bound for approximating the square root
Recommended article: Hadamard Square Roots
Recommended article: On the Square Roots of Certain Determinants
Recommended article: Proof Without Words: Nested Square Roots
Recommended article: On Hadamard square roots of unity
Recommended article: On the denesting of nested square roots
Recommended article: Q5220215
Recommended article: Q5100004
description: scientific article; zbMATH DE number 1901555