5510 search results - page 168 / 1102 » Mathematics |
168
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Las Vegas algorithms that are based on Lanczos’s method for solving symmetric linear systems are presented and analyzed. These are compared to a similar randomized Lanczos algor...
153
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
We give a new numerical absolute primality criterion for bivariate polynomials. This test is based on a simple property of the monomials appearing after a generic linear change of...
148
click to vote
TPHOL
1993
IEEE
15 years 10 months ago
1993
IEEE
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other ...
193
click to vote
ISSAC
1993
Springer
15 years 10 months ago
1993
Springer
Hypergeometric sequences are such that the quotient of two successive terms is a fixed rational function of the index. We give a generalization of M. Petkov6ek’s algorithm to fi...
149
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
Many standard functions, such as the logarithm and square root functions, cannot be de ned continuously on the complex plane. Mistaken assumptions about the properties of these fu...