1 - 3 / 3 1 |
1. Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu Anja Petković, 2015, undergraduate thesis Keywords: matematika, homotopija, homotopska ekvivalenca, homotopska dominacija, kompaktnost, kontraktibilna retrakcija, preslikavni cilinder |
2. Computing fixed points of monotone piecewise linear functions Anja Petković, 2017, master's thesis Keywords: 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, doctoral dissertation Keywords: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking |