Publication:4813407

zbMath1067.68578MaRDI QIDQ4813407

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill, Elisa Ricci

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940337.htm

Mathematics Subject Classification ID

52B11: (n)-dimensional polytopes

68U05: Computer graphics; computational geometry (digital and algorithmic aspects)

68Q60: Specification and verification (program logics, model checking, etc.)

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• HyTech