Štěpán, Jan Automated theorem proving in monadic predicate calculus. (English) Zbl 0748.68072 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 273-283 (1991). MSC: 68T15 PDF BibTeX XML Cite \textit{J. Štěpán}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 273--283 (1991; Zbl 0748.68072) Full Text: EuDML OpenURL
Vanžurová, Alena Double linear connections. (English) Zbl 0762.53014 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 257-271 (1991). Reviewer: L.Tamássy (Debrecen) MSC: 53C05 PDF BibTeX XML Cite \textit{A. Vanžurová}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 257--271 (1991; Zbl 0762.53014) Full Text: EuDML OpenURL
Machala, František Constructions of some finite modular incidence structures. (Konstruktionen einiger endlicher modularer Inzidenzstrukturen.) (German) Zbl 0764.51011 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 235-255 (1991). Reviewer: H.Karzel (München) MSC: 51E25 51B99 51G05 PDF BibTeX XML Cite \textit{F. Machala}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 235--255 (1991; Zbl 0764.51011) Full Text: EuDML OpenURL
Kobza, Jiří Quadratic splines interpolating derivatives. (English) Zbl 0758.41005 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 219-233 (1991). Reviewer: C.Mustăţa (Cluj-Napoca) MSC: 41A05 41A15 PDF BibTeX XML Cite \textit{J. Kobza}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 219--233 (1991; Zbl 0758.41005) Full Text: EuDML OpenURL
Laitoch, Miroslav The method of variation of parameters in the theory of linear sequences. (English) Zbl 0755.39001 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 211-218 (1991). Reviewer: E.Thandapani (Salem) MSC: 39A10 PDF BibTeX XML Cite \textit{M. Laitoch}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 211--218 (1991; Zbl 0755.39001) Full Text: EuDML OpenURL
Futák, Ján On the existence of solutions of operator-differential equations. (English) Zbl 0757.34053 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 203-210 (1991). Reviewer: M.Reissig (Freiberg) MSC: 34G20 34A12 PDF BibTeX XML Cite \textit{J. Futák}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 203--210 (1991; Zbl 0757.34053) Full Text: EuDML OpenURL
Vlček, Vladimír Addendum to periodic solutions of a third-order nonlinear differential equation. (English) Zbl 0777.34032 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 189-202 (1991). Reviewer: A.Muracchini (Bologna) MSC: 34C25 PDF BibTeX XML Cite \textit{V. Vlček}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 189--202 (1991; Zbl 0777.34032) Full Text: EuDML OpenURL
Vlček, Vladimír Periodic solutions of a parametric nonlinear third-order differential equation. (English) Zbl 0777.34031 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 159-188 (1991). Reviewer: A.Muracchini (Bologna) MSC: 34C25 PDF BibTeX XML Cite \textit{V. Vlček}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 159--188 (1991; Zbl 0777.34031) Full Text: EuDML OpenURL
Andres, Jan; Vlček, Vladimír Note to the existence of periodic solutions for higher-order differential equations with nonlinear restoring term and time-variable coefficients. (English) Zbl 0757.34031 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 149-157 (1991). Reviewer: M.Švec (Bratislava) MSC: 34C25 PDF BibTeX XML Cite \textit{J. Andres} and \textit{V. Vlček}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 149--157 (1991; Zbl 0757.34031) Full Text: EuDML OpenURL
Andres, Jan Periodic solutions of the third-order differential equation with right- hand side in the form of nonlinear restoring term plus general gradient- like part. (English) Zbl 0777.34029 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 143-148 (1991). Reviewer: A.Muracchini (Bologna) MSC: 34C25 PDF BibTeX XML Cite \textit{J. Andres}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 143--148 (1991; Zbl 0777.34029) Full Text: EuDML OpenURL
Tesaříková, Eva Special dispersions of the second order linear differential equations of a finite type special and their relation to the Kummer’s transformation problem. (English) Zbl 0752.34024 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 125-141 (1991). MSC: 34C20 34A30 34C10 PDF BibTeX XML Cite \textit{E. Tesaříková}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 125--141 (1991; Zbl 0752.34024) Full Text: EuDML OpenURL
Laitochová, Jitka A remark to the Floquet theorem for systems of linear differential equations. (English) Zbl 0756.34013 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 121-124 (1991). Reviewer: N.L.Maria (Turlock) MSC: 34A30 34C20 34C25 PDF BibTeX XML Cite \textit{J. Laitochová}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 121--124 (1991; Zbl 0756.34013) Full Text: EuDML OpenURL
Fialka, Miloslav On the position of nodes of associated equations to the differential equation \(y''-q(t)y=r(t)\). (English) Zbl 0752.34023 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 107-119 (1991). MSC: 34C20 34A30 PDF BibTeX XML Cite \textit{M. Fialka}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 107--119 (1991; Zbl 0752.34023) Full Text: EuDML OpenURL
Staněk, Svatoslav Bounded solutions of second order functional differential equations. (English) Zbl 0756.34072 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 97-105 (1991). Reviewer: J.Ohriska (Košice) MSC: 34K99 34C11 PDF BibTeX XML Cite \textit{S. Staněk}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 97--105 (1991; Zbl 0756.34072) Full Text: EuDML OpenURL
Beneš, Karel Dynamic systems described by differential equations with singularities of the type \({0 \over 0}\) and their machine solving. (English) Zbl 0756.34006 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 87-96 (1991). Reviewer: F.M.Ragab (Cairo) MSC: 34A25 65J99 34C05 PDF BibTeX XML Cite \textit{K. Beneš}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 87--96 (1991; Zbl 0756.34006) Full Text: EuDML OpenURL
Šenkyřík, Martin On a third-order three-point regular boundary value problem. (English) Zbl 0752.34017 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 75-86 (1991). MSC: 34B10 PDF BibTeX XML Cite \textit{M. Šenkyřík}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 75--86 (1991; Zbl 0752.34017) Full Text: EuDML OpenURL
Rachůnková, Irena An existence theorem of the Leray-Schauder type for four-point boundary value problems. (English) Zbl 0752.34016 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 49-59 (1991). MSC: 34B10 34B15 PDF BibTeX XML Cite \textit{I. Rachůnková}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 49--59 (1991; Zbl 0752.34016) Full Text: EuDML OpenURL
Zeman, Jiří On some continuities of phases theory and WKB method for linear differential equation of the second order. (English) Zbl 0752.34034 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 39-47 (1991). MSC: 34E20 34A30 34C10 PDF BibTeX XML Cite \textit{J. Zeman}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 39--47 (1991; Zbl 0752.34034) Full Text: EuDML OpenURL
Chajda, Ivan Permutability of congruences in varieties with idempotent operations. (English) Zbl 0768.08006 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 33-37 (1991). Reviewer: R.A.Alo (Houston) MSC: 08B05 08A30 PDF BibTeX XML Cite \textit{I. Chajda}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 33--37 (1991; Zbl 0768.08006) Full Text: EuDML OpenURL
Rachůnek, Jiří The ordinal variety of distributive ordered sets of width two. (English) Zbl 0773.06006 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 17-32 (1991). Reviewer: J.Niederle (Brno) MSC: 06A07 PDF BibTeX XML Cite \textit{J. Rachůnek}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 17--32 (1991; Zbl 0773.06006) OpenURL
Chajda, Ivan; Haviar, Miroslav Induced pseudoorders. (English) Zbl 0772.04001 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 9-16 (1991). Reviewer: B.Zelinka (Liberec) MSC: 03E20 06A99 06B99 PDF BibTeX XML Cite \textit{I. Chajda} and \textit{M. Haviar}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 9--16 (1991; Zbl 0772.04001) Full Text: EuDML OpenURL
Staněk, Svatoslav Three-point boundary value problem for nonlinear third-order differential equations with parameter. (English) Zbl 0752.34019 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 100, Math. 30, 61-74 (1991). MSC: 34B10 34B05 PDF BibTeX XML Cite \textit{S. Staněk}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 30, 61--74 (1991; Zbl 0752.34019) Full Text: EuDML OpenURL