0361330 - ÚI 2012 CZ eng V - Research Report
Rohn, Jiří
INTLAB Primer.
Prague: ICS AS CR, 2011. 9 s. Technical Report, V-1117.
Institutional research plan: CEZ:AV0Z10300504
Keywords : INTLAB * MATLAB * veri¯cation software * primer
Subject RIV: BA - General Mathematics

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.
Permanent Link: http://hdl.handle.net/11104/0198668