0361330 - ÚI 2012 CZ eng V - Výzkumná zpráva
Rohn, Jiří
INTLAB Primer.
Prague: ICS AS CR, 2011. 9 s. Technical Report, V-1117.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: INTLAB * MATLAB * veri¯cation software * primer
Kód oboru RIV: BA - Obecná matematika

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.
Trvalý link: http://hdl.handle.net/11104/0198668