1 - 3 / 3 1 |
1. Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu Anja Petković, 2015, diplomsko delo Ključne besede: matematika, homotopija, homotopska ekvivalenca, homotopska dominacija, kompaktnost, kontraktibilna retrakcija, preslikavni cilinder |
2. Computing fixed points of monotone piecewise linear functions Anja Petković, 2017, magistrsko delo Ključne besede: piecewise linear functions, fixed point, algorithms |
3. Meta-analysis of type theories with an application to the design of formal proofs Anja Petković Komel, 2021, doktorska disertacija Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking |