Logical metatheorems for accretive and (generalized) monotone set-valued operators N Pischke Journal of Mathematical Logic, 2350008, 2023 | 15 | 2023 |
Proof theory and non-smooth analysis U Kohlenbach, N Pischke Philosophical Transactions of the Royal Society A 381 (2248), 20220015, 2023 | 7 | 2023 |
A note on strong axiomatization of Gödel justification logic N Pischke Studia Logica 108 (4), 687-724, 2020 | 7 | 2020 |
Quantitative analysis of a subgradient-type method for equilibrium problems N Pischke, U Kohlenbach Numerical Algorithms 90 (1), 197-219, 2022 | 5 | 2022 |
A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications N Pischke arXiv preprint arXiv:2304.01723, 2023 | 4 | 2023 |
Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space N Pischke arXiv preprint arXiv:2205.01801, 2022 | 4 | 2022 |
On computational properties of Cauchy problems generated by accretive operators P Pinto, N Pischke Documenta Mathematica 28 (5), 1235-1274, 2023 | 3 | 2023 |
On intermediate justification logics N Pischke Logic Journal of the IGPL 31 (3), 534-573, 2023 | 3 | 2023 |
Gödel justification logics and realization N Pischke Logic Journal of the IGPL 30 (3), 343-408, 2022 | 3 | 2022 |
Rates of convergence for the asymptotic behavior of second-order Cauchy problems N Pischke Journal of Mathematical Analysis and Applications 533 (2), 128078, 2024 | 1 | 2024 |
Generalized Fej\'er monotone sequences and their finitary content N Pischke arXiv preprint arXiv:2312.01852, 2023 | 1 | 2023 |
Dynamic extensions for the logic of knowing why with public announcements of formulas N Pischke arXiv preprint arXiv:1707.05617, 2017 | 1 | 2017 |
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis NN Pischke Technische Universität Darmstadt, 0 | 1 | |
On Dykstra’s Algorithm with Bregman Projections P Pinto, N Pischke Mathematisches Forschungsinstitut Oberwolfach, 2024 | | 2024 |
Proof mining and probability theory M Neri, N Pischke arXiv preprint arXiv:2403.00659, 2024 | | 2024 |
EFFECTIVE RATES FOR ITERATIONS INVOLVING BREGMAN STRONGLY NONEXPANSIVE OPERATORS N PISCHKE, U KOHLENBACH | | 2024 |
On Korpelevich’s extragradient algorithm N Pischke Zeitschrift für Analysis und ihre Anwendungen 42 (1), 117-129, 2023 | | 2023 |
On infinitary Gödel logics N Pischke Journal of Logic and Computation 33 (1), 1-46, 2023 | | 2023 |
Correction to: Quantitative analysis of a subgradient-type method for equilibrium problems N Pischke, U Kohlenbach Numerical Algorithms, 1-1, 2022 | | 2022 |
A note on public announcements in standard G\" odel modal logic N Pischke arXiv preprint arXiv:1707.05872, 2017 | | 2017 |