Arithmetic Nullstellensätze.

Teresa Krick Luis Miguel Pardo Martín Sombra

Published in: SIGSAM Bull. (1999)

Keyphrases

arithmetic operations
information systems
three dimensional
search space
data model
management system
constraint propagation
interval arithmetic