1075 search results - page 2 / 215 » Calculating the Number of Tunnels |
RECOMB
2005
Springer
14 years 6 months ago
2005
Springer
TPHOL
2005
IEEE
13 years 11 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
MOC
2002
13 years 5 months ago
2002
In this paper the densities D(i) of prime numbers p having the least primitive root g(p) = i, where i is equal to one of the initial positive integers less than 32, have been numer...
MOC
2002
13 years 5 months ago
2002
In previous work, the author has extended the concept of regular and irregular primes to the setting of arbitrary totally real number fields k0, using the values of the zeta functi...