Abstract | ||
---|---|---|
)Bruno Codenotti,1Funda Ergun,2Peter Gemmell,3and S Ravi Kumar21IMC-CNR, Via S. Maria 46, 56126-Pisa, Italy. (codenotti@imc.pi.cnr.it)2Cornell University, Ithaca, NY 14853. (fergun, ravig@cs.cornell.edu)3Sandia National Labs, Albuquerque, NM 87185. (psgemme@cs.sandia.gov)Abstract. In this paper we show how to construct efficient checkersfor programs that supposedly compute properties of polynomials. Theproperties we consider are roots, norms, and other... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/3-540-63165-8_178 | ICALP |
Keywords | Field | DocType |
extended abstract,checking properties | Discrete mathematics,Polynomial,Computer science | Conference |
ISBN | Citations | PageRank |
3-540-63165-8 | 0 | 0.34 |
References | Authors | |
11 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruno Codenotti | 1 | 619 | 49.92 |
Funda Ergün | 2 | 310 | 22.81 |
Peter Gemmell | 3 | 675 | 108.87 |
Ravi Kumar | 4 | 13932 | 1642.48 |