Szajna, Janusz Automated realization of Boolean algebra theorems in the simplification of logical expressions. (English) Zbl 0783.68110 Appl. Math. Comput. Sci. 3, No. 2, 383-392 (1993). MSC: 68T15 94C99 94C10 PDF BibTeX XML Cite \textit{J. Szajna}, Appl. Math. Comput. Sci. 3, No. 2, 383--392 (1993; Zbl 0783.68110)
Dvorak, Vaclav Comparison of optimal and suboptimal synthesis of ordered binary decision diagrams. (English) Zbl 0781.94005 Appl. Math. Comput. Sci. 3, No. 2, 373-381 (1993). MSC: 94C10 PDF BibTeX XML Cite \textit{V. Dvorak}, Appl. Math. Comput. Sci. 3, No. 2, 373--381 (1993; Zbl 0781.94005)
Bidyuk, Petro; Podladchikov, Vladimir; Podladchikova, Iryna Analytical study of the Kalman filter for stationary dynamic systems. (English) Zbl 0787.93087 Appl. Math. Comput. Sci. 3, No. 2, 313-328 (1993). MSC: 93E11 PDF BibTeX XML Cite \textit{P. Bidyuk} et al., Appl. Math. Comput. Sci. 3, No. 2, 313--328 (1993; Zbl 0787.93087)
Ranatowski, Eugeniusz; Sadowski, Jan; Strzelecki, Ryszard Physical interpretation of impact bend test by means of mathematical methods. (English) Zbl 0800.93068 Appl. Math. Comput. Sci. 3, No. 2, 281-300 (1993). MSC: 93A30 PDF BibTeX XML Cite \textit{E. Ranatowski} et al., Appl. Math. Comput. Sci. 3, No. 2, 281--300 (1993; Zbl 0800.93068)
Djabi, Seddik; Sofonea, Mircea A fixed point method in quasistatic rate-type viscoplasticity. (English) Zbl 0783.73027 Appl. Math. Comput. Sci. 3, No. 2, 269-279 (1993). MSC: 74C10 35Q72 PDF BibTeX XML Cite \textit{S. Djabi} and \textit{M. Sofonea}, Appl. Math. Comput. Sci. 3, No. 2, 269--279 (1993; Zbl 0783.73027)
Bajer, Czesław Space-time finite element formulation for the dynamic evolutionary process. (English) Zbl 0800.93069 Appl. Math. Comput. Sci. 3, No. 2, 251-268 (1993). MSC: 93A30 PDF BibTeX XML Cite \textit{C. Bajer}, Appl. Math. Comput. Sci. 3, No. 2, 251--268 (1993; Zbl 0800.93069)
Goździewski, Krzysztof; Maciejewski, Andrzej J. Semi-analytical solutions of ordinary differential equations. (English) Zbl 0783.34003 Appl. Math. Comput. Sci. 3, No. 2, 237-249 (1993). MSC: 34A45 65J99 34A25 68W30 PDF BibTeX XML Cite \textit{K. Goździewski} and \textit{A. J. Maciejewski}, Appl. Math. Comput. Sci. 3, No. 2, 237--249 (1993; Zbl 0783.34003)