Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (1993)

Cached

Download Links

by Ulrich Kohlenbach , Where U
Citations:31 - 14 self