Number of the records: 1
INTLAB Primer
- 1.
SYSNO ASEP 0361330 Document Type V - Research Report R&D Document Type The record was not marked in the RIV Title INTLAB Primer Author(s) Rohn, Jiří (UIVT-O) SAI, RID, ORCID Issue data Prague: ICS AS CR, 2011 Series Technical Report Series number V-1117 Number of pages 9 s. Language eng - English Country CZ - Czech Republic Keywords INTLAB ; MATLAB ; veri¯cation software ; primer Subject RIV BA - General Mathematics CEZ AV0Z10300504 - UIVT-O (2005-2011) Annotation Described is a not-a-priori-exponential algorithm which in a finite number of steps either finds a nontrivial solution of the absolute value inequality, or states that no such solution exists. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2012
Number of the records: 1