Skip to search formSkip to main contentSkip to account menu

Chudnovsky algorithm

Known as: Chudnovsky method, The Chudnovsky algorithm 
The Chudnovsky algorithm is a fast method for calculating the digits of π. It was published by the Chudnovsky brothers in 1989, and was used in the… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Chudnovsky and Chudnovsky algorithm for the multiplication in extensions of finite fields provides a bilinear complexity… 
Review
2015
Review
2015
Required) Over the past years Brazil has done significant investments in software process improvement. Among them, the long term… 
2011
2011
A new framework for presenting and analyzing the functionality of a modern DLL-based SAT solver is proposed. Our approach… 
2005
2005
We study the specification and the verification of availabili ty policies. We first introduce the availability concept, and then… 
Review
2004
Review
2004
Resolution is, due to its simplicity and its relation to several automated theorem proving algorithms, one of the best studied… 
Review
2002
Review
2002
Most of the large tariff reductions achieved in multilateral trade negotiations have involved the use of tariff-cutting formulas… 
1997
1997
Abstract Elimination of imaginaries for 1-variable definable equivalence relations is proved for a theory of algebraically closed… 
1994
1994
Within the many-valued approach for approximate reasoning, the aim of this paper is two-fold. First, to extend truth-values… 
1994
1994
We define a notion of a Scott family of formulas for a feasible model and give various conditions on a Scott family which imply…