Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Journal of Computer and System Sciences 62, 589 607 (2001) Linear-Consistency Testing1
 

Summary: Journal of Computer and System Sciences 62, 589 607 (2001)
Linear-Consistency Testing1
Yonatan Aumann
Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan 52900, Israel
E-mail: aumannÄcs.biu.ac.il
Johan Ha# stad
Department of Numerical Analysis and Computing Science, Royal Institute of Technology,
Stockholm, Sweden
E-mail: johanhÄnada.kth.se
Michael O. Rabin
DEAS, Harvard University, Cambridge, Massachusetts 02138; and Institute of Computer Science,
Hebrew University, Jerusalem, Israel
E-mail: rabinÄdeas.harvard.edu
and
Madhu Sudan
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology,
200 Technology Square, Cambridge, Massachusetts 02139
E-mail: madhuÄmit.edu
Received August 1, 1999; revised February 12, 2001
We extend the notion of linearity testing to the task of checking linear con-

  

Source: Aumann, Yonatan - Computer Science Department, Bar Ilan University

 

Collections: Computer Technologies and Information Sciences