Systém UFO. Uživatelský popis (verze 1990)
LUKŠAN, Ladislav, ŠIŠKA, Martin, TŮMA, Miroslav. <em>Systém UFO. Uživatelský popis (verze 1990)</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-485.
LUKŠAN, Ladislav, ŠIŠKA, Martin, TŮMA, Miroslav. <em>Systém UFO. Uživatelský popis (verze 1990)</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-485.
ROHN, Jiří. <em>Lineární systémy s intervalovými daty (habilitační práce)</em>. Praha, 1990. Dizertační práce.
FIEDLER, Miroslav. Expressing a Polynomial as the Characteristic Polynomial of a Symmetric Matrix. <em>Linear Algebra and Its Applications. </em> 1990, <b>141</b>(-), 265-270. ISSN 0024-3795. E-ISSN 1873-1856<br>Dostupné z: doi:10.1016/0024-3795(90)90323-5
VIKTORÍNOVÁ, Božena. <em>Stručné porovnanie štatistickej knižnice programov SOLO BMDP s BMDP PC-90</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-483.
HAVRÁNEK, Tomáš. <em>On Simple Formal Systems in Data Analysis</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-482.
NÁDHERNÝ, Richard. <em>Systém pro emulaci snímače pásky FS 1503</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-465.
POUPĚ, Jiří. <em>Použití desky DPP v SAPI-86</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-461.
HÖNIG, J., PELIKÁN, Emil. <em>Experimentální programový systém NESP pro klasifikaci signálů neuronovými sítěmi. Uživatelský manuál verze 1.0</em>. Praha: SVT ČSAV, 1990. Výzkumná zpráva, V-683.
TŮMA, Miroslav. <em>The Implicit Gauss Algorithm for Solving Sparse Unsymmetric Sets of Linear Equations. DMSIA 21/90</em>. Bergamo: University of Bergamo, 1990. Technical Report.