Homogenization and the polynomial calculus.

Josh Buresh-Oppenheim Matthew Clegg Russell Impagliazzo Toniann Pitassi

Published in: Comput. Complex. (2002)

Keyphrases

low order
finite element method
medical image data
real time
information retrieval
information systems
high order
boundary conditions
automated theorem proving