Homotopska teorija tipov je nova veja matematike, ki na presenetljiv način združuje različna matematična področja. Zasnovana je na nedavno odkriti zvezi med homotopsko teorijo in teorij tipov. Dotika se tako različnih področij matematike kot so homotopske grupe sfer, algoritmi za preverjanje tipov, in defincija šibkih ∞-grupoidov. Homotopska teorija tipov omogoča nove “univalentne” osnove matematike, v katerih ima osrednjo vlogo aksiom o univalentnosti Voevodskega ter višji homotopski tipi. Pričujoča knjiga je mišljena kot prva sistematična ekspozicija univalentnih osnov, in zbirka primerov tega novega načina matematičnega razmišljanja, pri čemer od bralca ne zahteva poznavanja formalne logike in uporabe dokazovalnih pomočnikov. Verjamemo, da bodo univlanetne osnove sčasoma postale možna alternativa teoriji množic kot “implicitnim temelj” vsakdanje neformalizirane matematike.
C.07 Drugo uredništvo
Ars mathematica contemporanea. Pisanski, Tomaž (glavni in odgovorni urednik 2008-). [Tiskana izd.]. Ljubljana: Društvo matematikov, fizikov in astronomov, 2008-. ISSN 1855-3966. http://amc-journal.eu/index.php/amc. [COBISS.SI-ID 239049984] . Revija je bila v 2011 sprejeta na SCI lestvico
C.04 Uredništvo mednarodne revije
Prof. dr. Tomaž Pisanski je bil izvoljen v prestižno Academio Europeae v sekcijo informatika.
D.03 Članstvo v tujih/mednarodnih odborih/komitejih
Na XXXIII International Sunbelt Social Network Conference sta V. Bataglej in A. Mrvar prejela INSNA's William D. Richards Jr., Software Award, 2013 za program Pajek. Gre za nagrado za življensko delo namenjeno posameznikom, ki so ustvarili javno dostopno programsko opremo, brez katere bi bilo nemogoče preučevati socialna omrežja.
E.02 Mednarodne nagrade
Konfiguracije, ki jih lahko preučujemo iz vidika teorije grafov preko Levijevih grafov, ležijo v preseku teorije grafov, grup, ploskev in geometrije, ki predstavljajo zelo aktivna področja matematičnih raziskav. V knjigi, oblikovani kot zaključena celota, je algebraična teorija grafov uporabljena za predstavitev grup, topološka teorija grafov je uporabljena za preučevanje ploskev, geometrična teorija grafov pa nam olajša razumevanje incidenčnih geometrij. Po pregledu konfiguracij v 1. poglavju predstavimo v 2. poglavju teorijo grafov, v 3. poglavju pa podamo geometrično orientiran uvod v teorijo grup. V 4. poglavju predstavimo kombinatorično obravnavo zemljevidov in ploskev. V 5. poglavju predstavimo koncept incidenčne strukture preko po točkah obarvanih grafov. Tu tudi podamo kombinatorične vidike klasičnih konfiguracij. V zadnjem poglavju za klasične konfiguracije podamo nekaj zanimivih geometričnih lastnosti, zgodovinskih opomb, referenc in aplikacij. S preko 200 ilustracijami, nalogami in obsežno bibliografijo na koncih poglavij ter množico podanih odprtih problemov predstavlja knjiga dobro osnovo za podiplomski tečaj iz teorije grafov, napreden dodiplomski seminar kot tudi celovito referenco za matematike in raziskovalce.
D.11 Drugo
COBISS.SI-ID: 16418137