Parallelization method for a continuous property

An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in IRn whose points satisfy a given property. The method is based on calculations conducted in interval arithmetic and the constructed approximation is built of rectangular boxes of variable si...

ver descrição completa

Detalhes bibliográficos
Autor principal: Pilarczyk, Pawel (author)
Formato: article
Idioma:eng
Publicado em: 2010
Assuntos:
Texto completo:http://hdl.handle.net/1822/11560
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/11560