Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Kostas Kouramas"'
Publikováno v:
Numerical Algebra, Control & Optimization. 10:177-206
This paper pilots Schulz generalised matrix inverse algorithm as a paradigm in demonstrating how computer aided reachability analysis and theoretical numerical analysis can be combined effectively in developing verification methodologies and tools fo
Publikováno v:
Lectures on Global Optimization. :71-103