COBISS Kooperativni online bibliografski sistem in servisi COBISS
Davorin Lešnik
Osebna bibliografija za obdobje 2005-2026
2005
1.
LEŠNIK, Davorin. Monade in Beckov izrek : diplomsko delo. Ljubljana: [D. Lešnik], 2005. [57] str. http://www.matknjiz.si/diplome/uni/t/2005/9832-98.pdf. [COBISS.SI-ID 13825881]
2008
2.
LEŠNIK, Davorin. Constructive Urysohn's universal metric space. V: BRATTKA, Vasco
(ur.). Proceedings of the Fifth International Conference on Computability and Complexity
in Analysis (CCA 2008) : Hagen, Germany, 21-24 August 2008. Amsterdam: Elsevier, 2008. Str. 171-179. Electronic notes in theoretical computer
science, Vol. 221. ISSN 1571-0661. http://dx.doi.org/10.1016/j.entcs.2008.12.015. [COBISS.SI-ID 15102809]
2009
3.
LEŠNIK, Davorin. Constructive Urysohn Universal Metric Space. Journal of universal computer science. 2009, vol. 15, issue 6, str. 1236-1263. ISSN 0948-695X. [COBISS.SI-ID 516305689]
2010
4.
LEŠNIK, Davorin. Synthetic topology and constructive metric spaces : doctoral thesis. Ljubljana: [D. Lešnik], 2010. 178 str., ilustr. [COBISS.SI-ID 15744345]
2012
5.
BAUER, Andrej, LEŠNIK, Davorin. Metric spaces in synthetic topology. V: Third workshop on formal topology : special issue. 3rd Workshop on Formal Topology, Padua, 7-12 May 2007. Amsterdam: Elsevier, 2012.
Vol. 163, issue 2, str. 87-100. Annals of pure and applied logic (Print), Vol. 163,
iss. 2 (February 2012). ISSN 0168-0072. http://dx.doi.org/10.1016/j.apal.2011.06.017. [COBISS.SI-ID 16073305]
2018
6.
REBERC, Petra Ivana. Eksponenti topoloških prostorov : delo diplomskega seminarja. Ljubljana: [P. I. Reberc], 2018. 28 str., ilustr. Repozitorij Univerze v Ljubljani – RUL. [COBISS.SI-ID 18441305]
2019
7.
KALIŠNIK, Sara, KURLIN, Vitaliy, LEŠNIK, Davorin. A higher-dimensional homologically
persistent skeleton. Advances in applied mathematics. Jan. 2019, vol. 102, str. 113-142. ISSN 0196-8858. https://doi.org/10.1016/j.aam.2018.07.004, DOI: 10.1016/j.aam.2018.07.004. [COBISS.SI-ID 18517081]
8.
LEŠNIK, Davorin,
FMF seminar za učitelje matematike, Fakulteta za matematiko in fiziko, Ljubljana,
20. - 21. september 2019 . Neskončna majhnost : Ljubljana, 21. 9. 2019. [COBISS.SI-ID 18942809]
9.
KALIŠNIK, Sara, LEŠNIK, Davorin. Symmetric polynomials in tropical algebra semirings.
Journal of symbolic computation. Jul.-Aug. 2019, vol. 93, str. 110-119. ISSN 0747-7171. https://doi.org/10.1016/j.jsc.2018.04.008, DOI: 10.1016/j.jsc.2018.04.008. [COBISS.SI-ID 18410329]
2021
10.
KALIŠNIK, Sara, LEŠNIK, Davorin. Symmetric polynomials in upper-bound semirings. Journal of symbolic computation. Mar.-Apr. 2021, vol. 103, str. 280-299. ISSN 0747-7171. https://www.sciencedirect.com/science/article/pii/S0747717120300092, DOI: 10.1016/j.jsc.2020.02.001. [COBISS.SI-ID 66684675]
2023
11.
LEŠNIK, Davorin. Synthetic topology. V: BRIDGES, Douglas S. (ur.), et al. Handbook of constructive mathematics. Cambridge: Cambridge University Press, cop. 2023. Str. 445-482. Encyclopedia of
mathematics and its applications, 185. ISBN 978-1-316-51086-5. DOI: 10.1017/9781009039888.018. [COBISS.SI-ID 156915203]
2024
12.
KALIŠNIK, Sara, LEŠNIK, Davorin. Finding the homology of manifolds using ellipsoids.
Journal of applied and computational topology. Mar. 2024, vol. 8, iss. 1, str. 193–238, ilustr. ISSN 2367-1726. https://link.springer.com/article/10.1007/s41468-023-00145-6, DOI: 10.1007/s41468-023-00145-6. [COBISS.SI-ID 204455427]
13.
LEŠNIK, Davorin. O kotnih funkcijah : predavanje na FMF seminarju za učitelje matematike, Fakulteta
za matematiko in fiziko, Ljubljana, 20. 9. 2024. [COBISS.SI-ID 208734211]
2025
14.
PONIKVAR, Luka. Eksponenti v teoriji kategorij : delo diplomskega seminarja. Ljubljana: [L. Ponikvar], 2025. 61 str., graf. prikazi. Repozitorij Univerze v Ljubljani – RUL. [COBISS.SI-ID 249990915]
2026
15.
ROZMAN, Lara. Magnituda metričnih prostorov : delo diplomskega seminarja. Ljubljana: [L. Rozman], 2026. VI, 33 str., ilustr. Repozitorij Univerze v Ljubljani – RUL. [COBISS.SI-ID 292384515]
16.
KALIŠNIK, Sara, LEŠNIK, Davorin. Tractable metric spaces and magnitude continuity.
Bulletin of the London Mathematical Society. May 2026, vol. 58, iss. 5, [article no. e70380], 19 str. ISSN 0024-6093. https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.70380, DOI: 10.1112/blms.70380. [COBISS.SI-ID 286126339]