Paper Info
Title
Checking Properties of Polynomials (Extended Abstract)
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 Codenotti161949.92
Funda Ergün231022.81
Peter Gemmell3675108.87
Ravi Kumar4139321642.48