×
Edit Profile (opens in new tab)

Krol, M. D.

Co-Author Distance
Author ID: krol.m-d Recent zbMATH articles by "Krol, M. D."
Published as: Krol’, M. D.; Krol, M. D.
External Links: MGP
Documents Indexed: 11 Publications since 1976

Co-Authors

6 single-authored
4 Kutniv, Myroslav V.
1 Bregman, B.
1 Kunynets’, A. V.
1 Pazdriy, O. I.
1 van Velthoven, P.
all top 5

Serials

3 Soviet Mathematics. Doklady
2 Ukrainian Mathematical Journal
1 Mathematical Notes
1 Journal of Computational and Applied Mathematics
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Applied Numerical Mathematics
1 Matematychni Metody ta Fizyko-Mekhanichni Polya
all top 5

Fields

5 Mathematical logic and foundations (03-XX)
4 Numerical analysis (65-XX)
3 Ordinary differential equations (34-XX)
1 Probability theory and stochastic processes (60-XX)
1 Geophysics (86-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 16 times in 11 Documents Cited by ▼ Year ▼
A topological model for intuitionistic analysis with Kripkes scheme. Zbl 0418.03039
Krol, M. D.
10
1978
Exact three-point difference scheme for singular nonlinear boundary value problems. Zbl 1332.65106
Król, M.; Kunynets, A. V.; Kutniv, M. V.
4
2016
The topological models of intuitionistic analysis. One counterexample. Zbl 0355.02025
Krol’, M. D.
2
1976
Disjunctive and existential properties of intuitionistic analysis with Kripke’s scheme. Zbl 0384.03043
Krol’, M. D.
2
1977
Distinct variants of Kripke’s schema in intuitionistic analysis. Zbl 0397.03037
Krol’, M. D.
2
1978
Difference schemes for systems of second order nonlinear ODEs on a semi-infinite interval. Zbl 1368.65116
Król, M.; Kutniv, M. V.; Pazdriy, O. I.
1
2017
New algorithmic implementation of exact three-point difference schemes for systems of nonlinear ordinary differential equations of the second order. Zbl 1506.65116
Kutniv, M. V.; Krol, M.
1
2022
New algorithmic implementation of exact three-point difference schemes for systems of nonlinear ordinary differential equations of the second order. Zbl 1506.65116
Kutniv, M. V.; Krol, M.
1
2022
Difference schemes for systems of second order nonlinear ODEs on a semi-infinite interval. Zbl 1368.65116
Król, M.; Kutniv, M. V.; Pazdriy, O. I.
1
2017
Exact three-point difference scheme for singular nonlinear boundary value problems. Zbl 1332.65106
Król, M.; Kunynets, A. V.; Kutniv, M. V.
4
2016
A topological model for intuitionistic analysis with Kripkes scheme. Zbl 0418.03039
Krol, M. D.
10
1978
Distinct variants of Kripke’s schema in intuitionistic analysis. Zbl 0397.03037
Krol’, M. D.
2
1978
Disjunctive and existential properties of intuitionistic analysis with Kripke’s scheme. Zbl 0384.03043
Krol’, M. D.
2
1977
The topological models of intuitionistic analysis. One counterexample. Zbl 0355.02025
Krol’, M. D.
2
1976
all cited Publications top 5 cited Publications
all top 5

Cited by 10 Authors

3 Scowcroft, Philip
2 Ščedrov, Andrej
1 Erdélyi-Szabó, Miklós
1 Hendtlass, Matthew Ralph John
1 Lubarsky, Robert S.
1 Moschovakis, Joan Rand
1 Moschovakis, Yiannis Nicholas
1 van Atten, Mark
1 van Dalen, Dirk
1 Vesley, Richard E.
all top 5

Cited in 6 Serials

3 Annals of Pure and Applied Logic
2 The Journal of Symbolic Logic
2 Indagationes Mathematicae. New Series
2 Mathematical Logic Quarterly (MLQ)
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Studia Logica

Cited in 2 Fields

11 Mathematical logic and foundations (03-XX)
1 Order, lattices, ordered algebraic structures (06-XX)

Citations by Year