kenzo.bib

@article{real:algebra-structures,
  title = {Algebra structures on the comparison of the reduced bar construction and the reduced {$W$}-construction},
  author = {\'{A}lvarez, V. and Armario, J. A. and Frau, M. D. and Real, P.},
  date = {2009},
  doi = {10.1080/00927870902747662},
  issn = {0092-7872},
  journaltitle = {Communications in Algebra},
  number = {10},
  pages = {3643--3665},
  volume = {37},
}

@article{real:twisted-ez,
  title = {Cartan's constructions and the twisted {E}ilenberg-{Z}ilber theorem},
  author = {\'{A}lvarez, V\'ictor and Armario, Jos\'{e} Andr\'{e}s and Frau, Mar\'ia Dolores and Real, Pedro},
  date = {2010},
  doi = {10.1515/gmj.2010.006},
  issn = {1072-947X},
  journaltitle = {Georgian Mathematical Journal},
  number = {1},
  pages = {13--23},
  volume = {17},
}

@article{br:homalg,
  title = {{\tt homalg}: a meta-package for homological algebra},
  author = {Barakat, Mohamed and Robertz, Daniel},
  date = {2008},
  doi = {10.1142/S0219498808002813},
  issn = {0219-4988},
  journaltitle = {J. Algebra Appl.},
  number = {3},
  pages = {299--317},
  volume = {7},
}

@incollection{real:reducing-costs,
  title = {Reducing computational costs in the basic perturbation lemma},
  author = {Berciano, Ainhoa and Jim\'{e}nez, Mar\'ia Jos\'{e} and Real, Pedro},
  editor = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
  booktitle = {Computer algebra in scientific computing},
  date = {2006},
  doi = {10.1007/11870814_3},
  pages = {33--48},
  publisher = {Springer, Berlin},
  series = {Lecture Notes in Comput. Sci.},
  volume = {4194},
}

@article{brs:a-infty,
  title = {A case study of {$A_\infty$}-structure},
  author = {Berciano Alcaraz, Ainhoa and Rubio, Julio and Sergeraert, Francis},
  date = {2010},
  issn = {1072-947X},
  journaltitle = {Georgian Mathematical Journal},
  number = {1},
  pages = {57--77},
  volume = {17},
  doi = {10.1515/gmj.2010.003},
}

@article{ckmsvw:maps-into-sphere,
  title = {Computing all maps into a sphere},
  author = {\v{C}adek, Martin and Kr\v{c}\'{a}l, Marek and Matou\v{s}ek, Ji\v{r}\'i and Sergeraert, Francis and Vok\v{r}\'inek, Luk\'{a}\v{s} and Wagner, Uli},
  date = {2014},
  doi = {10.1145/2597629},
  issn = {0004-5411},
  journaltitle = {Journal of the ACM},
  number = {3},
  pages = {Art. 17,44},
  volume = {61},
}

@article{ckmvw:poly-homotopy-groups,
  title = {Polynomial-time computation of homotopy groups and {P}ostnikov systems in fixed dimension},
  author = {\v{C}adek, Martin and Kr\v{c}\'{a}l, Marek and Matou\v{s}ek, Ji\v{r}\'i and Vok\v{r}\'inek, Luk\'{a}\v{s} and Wagner, Uli},
  date = {2014},
  doi = {10.1137/120899029},
  issn = {0097-5397},
  journaltitle = {SIAM Journal on Computing},
  number = {5},
  pages = {1728--1780},
  volume = {43},
}

@phdthesis{chen:thesis,
  title = {{$E_\infty$}-{R}ings and {M}odules in {K}an {S}pectral {S}heaves},
  author = {Chen, Ruian},
  date = {2020},
  doi = {2027.42/155195},
  institution = {University of Michigan},
}

@article{ckp:kan-spectra,
  title = {Kan's combinatorial spectra and their sheaves revisited},
  author = {Chen, Ruian and Kriz, Igor and Pultr, Ales},
  url = {http://www.tac.mta.ca/tac/volumes/32/39/32-39abs.html},
  date = {2017},
  journaltitle = {Theory and Applications of Categories},
  pages = {No. 39,1363--1396},
  volume = {32},
}

@phdthesis{clement:thesis,
  title = {Integral cohomology of finite {P}ostnikov towers},
  author = {Cl\'{e}ment, Alain},
  url = {https://doc.rero.ch/record/482},
  date = {2002},
  institution = {Universit\'{e} de Lausanne},
}

@inproceedings{coq-fpm,
  title = {A Coq Formalization of Finitely Presented Modules},
  author = {Cohen, Cyril and M\"{o}rtberg, Anders},
  editor = {Klein, Gerwin and Gamboa, Ruben},
  booktitle = {Interactive Theorem Proving},
  date = {2014},
  doi = {10.1007/978-3-319-08970-6_13},
  isbn = {978-3-319-08970-6},
  pages = {193--208},
  publisher = {Springer International Publishing},
}

@phdthesis{gonzalez-diaz:thesis,
  title = {Cohomology Operations: a Combinatorial Approach},
  author = {D\'iaz, Roc\'io Gonz\'{a}lez},
  url = {https://personal.us.es/rogodi/research/tesing01.pdf},
  date = {2000},
  institution = {University of Seville},
}

@phdthesis{dousson:thesis,
  title = {Homologie effective des classifiants et calculs de groupes d'homotopie},
  author = {Dousson, Xavier},
  url = {https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/Dousson-Xavier.pdf},
  date = {1999},
  institution = {l'Universit\'{e} Joseph Fourier},
  pages = {1 vol. (102 p.)},
}

@article{eml:homology-kgn-i,
  title = {On the groups {$H(\Pi,n)$}. {I}},
  author = {Eilenberg, Samuel and Mac Lane, Saunders},
  date = {1953},
  doi = {10.2307/1969820},
  issn = {0003-486X},
  journaltitle = {Ann. of Math. (2)},
  pages = {55--106},
  volume = {58},
}

@article{eml:homology-kgn-ii,
  title = {On the groups {$H(\Pi,n)$}. {II}. {M}ethods of computation},
  author = {Eilenberg, Samuel and Mac Lane, Saunders},
  date = {1954},
  doi = {10.2307/1969702},
  issn = {0003-486X},
  journaltitle = {Ann. of Math. (2)},
  pages = {49--139},
  volume = {60},
}

@article{filakovsky:twisted-products,
  title = {Effective chain complexes for twisted products},
  author = {Filakovsk\'{y}, Marek},
  date = {2012},
  doi = {10.5817/AM2012-5-313},
  issn = {0044-8753},
  journaltitle = {Universitatis Masarykianae Brunensis. Facultas Scientiarum Naturalium. Archivum Mathematicum},
  number = {5},
  pages = {313--322},
  volume = {48},
}

@article{filakovsky:hocolim,
  title = {Effective homology for homotopy colimit and cofibrant replacement},
  author = {Filakovsk\'{y}, Marek},
  date = {2014},
  doi = {10.5817/AM2014-5-273},
  issn = {0044-8753},
  journaltitle = {Universitatis Masarykianae Brunensis. Facultas Scientiarum Naturalium. Archivum Mathematicum},
  number = {5},
  pages = {273--286},
  volume = {50},
}

@phdthesis{filakovsky:thesis,
  title = "Algorithmic construction of the Postnikov tower for diagrams of simplicial sets",
  author = {Filakovsk\'{y}, Marek},
  date = {2015},
  institution = {Masaryk University},
  url = {http://www.math.muni.cz/~filakovsky/THESIS2.pdf},
}

@article{forman:morse,
  title = {Morse theory for cell complexes},
  author = {Forman, Robin},
  date = {1998},
  doi = {10.1006/aima.1997.1650},
  issn = {0001-8708},
  journaltitle = {Advances in Mathematics},
  number = {1},
  pages = {90--145},
  volume = {134},
}

@article{franz:twisting,
  title = {Szczarba's twisting cochain and the {E}ilenberg-{Z}ilber maps},
  author = {Franz, Matthias},
  date = {2021},
  doi = {10.1007/s13348-020-00299-x},
  issn = {0010-0757},
  journaltitle = {Collectanea Mathematica},
  number = {3},
  pages = {569--586},
  volume = {72},
}

@book{goerss-jardine,
  title = {Simplicial homotopy theory},
  author = {Goerss, Paul G. and Jardine, John F.},
  date = {1999},
  doi = {10.1007/978-3-0348-8707-6},
  isbn = {3-7643-6064-X},
  pages = {xvi+510},
  publisher = {Birkh\"{a}user Verlag, Basel},
  series = {Progress in Mathematics},
  volume = {174},
}

@incollection{gr:cohomology-ops,
  title = {Computation of cohomology operations of finite simplicial complexes},
  author = {Gonz\'{a}lez-D\'iaz, R. and Real, P.},
  date = {2003},
  doi = {10.4310/HHA.2003.v5.n2.a4},
  issn = {1532-0081},
  journaltitle = {Homology Homotopy Appl.},
  note = {Algebraic topological methods in computer science (Stanford, CA, 2001)},
  number = {2},
  pages = {83--93},
  volume = {5},
}

@incollection{gr:steenrod-squares,
  title = {A combinatorial method for computing {S}teenrod squares},
  author = {Gonz\'{a}lez-D\'iaz, Roc\'io and Real, Pedro},
  date = {1999},
  doi = {10.1016/S0022-4049(99)00006-7},
  issn = {0022-4049},
  journaltitle = {J. Pure Appl. Algebra},
  number = {1-3},
  pages = {89--108},
  volume = {139},
}

@article{gl:perturbation-theory-i,
  title = {Perturbation theory in differential homological algebra. {I}},
  author = {Gugenheim, V. K. A. M. and Lambe, L. A.},
  date = {1989},
  doi = {10.1215/ijm/1255988571},
  issn = {0019-2082},
  journaltitle = {Illinois J. Math.},
  number = {4},
  pages = {566--582},
  volume = {33},
}

@article{gl:perturbation-theory-ii,
  title = {Perturbation theory in differential homological algebra. {II}},
  author = {Gugenheim, V. K. A. M. and Lambe, L. A. and Stasheff, J. D.},
  date = {1991},
  doi = {10.1215/ijm/1255987784},
  issn = {0019-2082},
  journaltitle = {Illinois J. Math.},
  number = {3},
  pages = {357--373},
  volume = {35},
}

@article{gr:leray-serre,
  title = {Computing higher {L}eray-{S}erre spectral sequences of towers of fibrations},
  author = {Guidolin, Andrea and Romero, Ana},
  date = {2021},
  doi = {10.1007/s10208-020-09475-8},
  issn = {1615-3375},
  journaltitle = {Foundations of Computational Mathematics},
  number = {4},
  pages = {1023--1074},
  volume = {21},
}

@inproceedings{heras:pushout-conf,
  title = {Effective Homology of the Pushout of Simplicial Sets},
  author = {Heras, J\'{o}nathan},
  booktitle = {Proceedings of the XII Encuentros de \'{A}lgebra Computacional y Aplicaciones},
  date = {2010},
  eprint = {1410.3651},
  eprintclass = {math.AT},
  eprinttype = {arXiv},
  pages = {152--156},
}

@online{heras:pushout,
  title = {Pushout construction for the {K}enzo systems},
  author = {Heras, J\'{o}nathan},
  url = {https://www.unirioja.es/cu/joheras/pushout/Doc/pushout.pdf},
  date = {2010-02},
}

@inproceedings{hprr:integrating-sources,
  title = {Integrating Multiple Sources to Answer Questions in Algebraic Topology},
  author = {Heras, J\'{o}nathan and Pascual, Vico and Romero, Ana and Rubio, Julio},
  booktitle = {Proceedings of the 10th ASIC and 9th MKM International Conference, and 17th Calculemus Conference on Intelligent Computer Mathematics},
  date = {2010},
  eprint = {1005.0749},
  eprintclass = {cs.SC},
  eprinttype = {arXiv},
  isbn = {3-642-14127-7},
  location = {Paris, France},
  pages = {331--335},
  publisher = {Springer-Verlag},
  series = {AISC'10/MKM'10/Calculemus'10},
}

@article{hess:twisting-cochain,
  title = {The {H}ochschild complex of a twisting cochain},
  author = {Hess, Kathryn},
  date = {2016},
  doi = {10.1016/j.jalgebra.2015.11.040},
  issn = {0021-8693},
  journaltitle = {Journal of Algebra},
  pages = {302--356},
  volume = {451},
}

@article{hess-tonks:loop-group,
  title = {The loop group and the cobar construction},
  author = {Hess, Kathryn and Tonks, Andrew},
  date = {2010},
  doi = {10.1090/S0002-9939-09-10238-1},
  issn = {0002-9939},
  journaltitle = {Proceedings of the American Mathematical Society},
  number = {5},
  pages = {1861--1876},
  volume = {138},
}

@article{hk:small-models-algebras,
  title = {Small models for chain algebras},
  author = {Huebschmann, Johannes and Kadeishvili, Tornike},
  date = {1991},
  doi = {10.1007/BF02571387},
  issn = {0025-5874},
  journaltitle = {Math. Z.},
  number = {2},
  pages = {245--280},
  volume = {207},
}

@article{at-reductions,
  title = {Algorithms in algebraic topology and homological algebra: the problem of the complexity},
  author = {Hurado, P. R. and \'{A}lvarez, V. and Armario, J. A. and Gonz\'{a}lez-D\'iaz, R.},
  date = {1999},
  doi = {10.1023/A:1013544506151},
  issn = {0373-2703},
  journaltitle = {Zapiski Nauchnykh Seminarov POMI},
  pages = {161--184,358},
  volume = {258},
}

@article{ks:iterating-bar,
  title = {Iterating the bar construction},
  author = {Kadeishvili, T. and Saneblidze, S.},
  date = {1998},
  doi = {10.1023/B:GEOR.0000008115.37751.62},
  issn = {1072-947X},
  journaltitle = {Georgian Mathematical Journal},
  number = {5},
  pages = {441--452},
  volume = {5},
}

@article{km:cochain-may-steenrod,
  title = {Cochain level {M}ay-{S}teenrod operations},
  author = {Kaufmann, Ralph M. and Medina-Mardones, Anibal M.},
  date = {2021},
  doi = {10.1515/forum-2020-0296},
  issn = {0933-7741},
  journaltitle = {Forum Math.},
  number = {6},
  pages = {1507--1526},
  volume = {33},
}

@article{kms:poly-em-spaces,
  title = {Polynomial-time homology for simplicial {E}ilenberg-{M}ac{L}ane spaces},
  author = {Kr\v{c}\'{a}l, Marek and Matou\v{s}ek, Ji\v{r}\'i and Sergeraert, Francis},
  date = {2013},
  doi = {10.1007/s10208-013-9159-7},
  issn = {1615-3375},
  journaltitle = {Foundations of Computational Mathematics. The Journal of the Society for the Foundations of Computational Mathematics},
  number = {6},
  pages = {935--963},
  volume = {13},
}

@article{lambe-stasheff:perturbation,
  title = {Applications of perturbation theory to iterated fibrations},
  author = {Lambe, Larry and Stasheff, Jim},
  date = {1987},
  doi = {10.1007/BF01165893},
  issn = {0025-2611},
  journaltitle = {Manuscripta Mathematica},
  number = {3},
  pages = {363--376},
  volume = {58},
}

@online{medina-mardones:axiomatic-steenrod,
  title = {An axiomatic characterization of {S}teenrod's cup-$i$ products},
  author = {Medina-Mardones, Anibal M.},
  date = {2022},
  eprint = {1810.06505},
  eprintclass = {math.AT},
  eprinttype = {arXiv},
}

@online{medina-mardones:steenrod-formulas,
  title = {New formulas for cup-$i$ products and fast computation of {S}teenrod squares},
  author = {Medina-Mardones, Anibal M.},
  date = {2022},
  eprint = {2105.08025},
  eprintclass = {math.AT},
  eprinttype = {arXiv},
}

@phdthesis{morace:thesis,
  title = {Cocha\^ines de Brown et transformation d'{E}ilenberg-{M}ac {L}ane: R\'{e}\'{e}criture en dimension deux et homologie},
  author = {Morace, Fr\'{e}d\'{e}ric},
  url = {http://www.theses.fr/1994PA077273},
  date = {1994},
  institution = {Paris 7},
}

@article{morace-proute:twisting,
  title = {Brown's natural twisting cochain and the {E}ilenberg-{M}ac {L}ane transformation},
  author = {Morace, Fr\'{e}d\'{e}ric and Prout\'{e}, Alain},
  date = {1994},
  doi = {10.1016/0022-4049(94)90040-X},
  issn = {0022-4049},
  journaltitle = {J. Pure Appl. Algebra},
  number = {1},
  pages = {81--89},
  volume = {97},
}

@article{real:homotopy-groups,
  title = {An algorithm computing homotopy groups},
  author = {Real, Pedro},
  date = {1996},
  doi = {10.1016/S0378-4754(96)00021-3},
  journaltitle = {Math. Comput. Simulation},
  number = {4-6},
  pages = {461--465},
  volume = {42},
}

@article{real:steenrod-squares,
  title = {On the computability of the {S}teenrod squares},
  author = {Real, Pedro},
  date = {1996},
  doi = {10.1007/BF02955020},
  issn = {0430-3202},
  journaltitle = {Ann. Univ. Ferrara Sez. VII (N.S.)},
  pages = {57--63 (1998)},
  volume = {42},
}

@article{real:hpt,
  title = {Homological Perturbation Theory and Associativity},
  author = {Real, Pedro},
  date = {2000},
  doi = {10.4310/hha.2000.v2.n1.a5},
  issn = {1532-0081},
  journaltitle = {Homology, Homotopy and Applications},
  pages = {51--88},
  volume = {2},
}

@phdthesis{real:thesis,
  title = {Algoritmos de c\'{a}lculo de homolog\'ia efectiva de los espacios clasificantes},
  author = {Real Jurado, Pedro},
  url = {https://idus.us.es/handle/11441/15908},
  date = {1993},
  institution = {Universidad de Sevilla, Departamento de Geometr\'ia y Topolog\'ia},
}

@article{rrs:computing-spectral-sequences,
  title = {Computing spectral sequences},
  author = {Romero, A. and Rubio, J. and Sergeraert, F.},
  date = {2006},
  doi = {10.1016/j.jsc.2006.06.002},
  issn = {0747-7171},
  journaltitle = {Journal of Symbolic Computation},
  number = {10},
  pages = {1059--1079},
  volume = {41},
}

@article{romero:bousfield-kan,
  title = {Computing the first stages of the {B}ousfield-{K}an spectral sequence},
  author = {Romero, Ana},
  date = {2010},
  doi = {10.1007/s00200-010-0123-3},
  issn = {0938-1279},
  journaltitle = {Applicable Algebra in Engineering, Communication and Computing},
  number = {3},
  pages = {227--248},
  volume = {21},
}

@inproceedings{rer:classifying-space,
  title = {Interoperating between computer algebra systems: computing homology of groups with {K}enzo and {GAP}},
  author = {Romero, Ana and Ellis, Graham and Rubio, Julio},
  booktitle = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational {S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
  date = {2009},
  doi = {10.1145/1576702.1576744},
  pages = {303--310},
  publisher = {ACM, New York},
}

@article{rr:homology-of-groups,
  title = {Computing the homology of groups: the geometric way},
  author = {Romero, Ana and Rubio, Julio},
  date = {2012},
  doi = {10.1016/j.jsc.2011.12.007},
  issn = {0747-7171},
  journaltitle = {Journal of Symbolic Computation},
  number = {7},
  pages = {752--770},
  volume = {47},
}

@article{rrs:fibrations-implementation,
  title = {An implementation of effective homotopy of fibrations},
  author = {Romero, Ana and Rubio, Julio and Sergeraert, Francis},
  date = {2019},
  doi = {10.1016/j.jsc.2018.08.001},
  issn = {0747-7171},
  journaltitle = {Journal of Symbolic Computation},
  pages = {149--172},
  volume = {94},
}

@article{rrss:em-spectral-sequence,
  title = {A new {K}enzo module for computing the {E}ilenberg-{M}oore spectral sequence},
  author = {Romero, Ana and Rubio, Julio and Sergeraert, Francis and Szymik, Markus},
  date = {2020},
  doi = {10.1145/3427218.3427225},
  issn = {1932-2232},
  journaltitle = {ACM Communications in Computer Algebra},
  number = {2},
  pages = {57--60},
  volume = {54},
}

@online{as:dvf,
  title = {Discrete Vector Fields and Fundamental Algebraic Topology},
  author = {Romero, Ana and Sergeraert, Francis},
  url = {https://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Vector-Fields.pdf},
  date = {2012},
}

@article{rs:homotopy-fibrations,
  title = {Effective homotopy of fibrations},
  author = {Romero, Ana and Sergeraert, Francis},
  date = {2012},
  doi = {10.1007/s00200-012-0168-6},
  issn = {0938-1279},
  journaltitle = {Applicable Algebra in Engineering, Communication and Computing},
  number = {1-2},
  pages = {85--100},
  volume = {23},
}

@article{rs:iterated-loop,
  title = {A combinatorial tool for computing the effective homotopy of iterated loop spaces},
  author = {Romero, Ana and Sergeraert, Francis},
  url = {https://www.unirioja.es/cu/anromero/actcehilsev.pdf},
  date = {2015},
  doi = {10.1007/s00454-014-9650-1},
  issn = {0179-5376},
  journaltitle = {Discrete & Computational Geometry},
  number = {1},
  pages = {1--15},
  volume = {53},
}

@article{rs:bousfield-kan,
  title = {A {B}ousfield-{K}an algorithm for computing the {\it effective} homotopy of a space},
  author = {Romero, Ana and Sergeraert, Francis},
  date = {2017},
  doi = {10.1007/s10208-016-9322-z},
  issn = {1615-3375},
  journaltitle = {Foundations of Computational Mathematics},
  number = {5},
  pages = {1335--1366},
  volume = {17},
}

@online{as:ez-dvf,
  title = {The {E}ilenberg-{Z}ilber Theorem via Discrete Vector Fields},
  author = {Romero, Ana and Sergeraert, Francis},
  url = {https://www-fourier.ujf-grenoble.fr/~sergerar/Papers/EZ-submitted.pdf},
  date = {2019},
  pubstate = {submitted},
}

@incollection{rs:locally-effective,
  title = {Locally effective objects and algebraic topology},
  author = {Rubio, J. and Sergeraert, F.},
  editor = {Eyssette, Fr\'{e}d\'{e}ric and Galligo, Andr\'{e}},
  booktitle = {Computational algebraic geometry ({N}ice, 1992)},
  date = {1993},
  doi = {10.1007/978-1-4612-2752-6_17},
  pages = {235--251},
  publisher = {Birkh\"{a}user Boston, Boston, MA},
  series = {Progress in Mathematics},
  volume = {109},
}

@online{rs:constructive-homology,
  title = {Constructive homological algebra and applications},
  author = {Rubio, Julio and Sergeraert, Francis},
  date = {2012},
  eprint = {1208.3816},
  eprintclass = {math.KT},
  eprinttype = {arXiv},
}

@book{kendoc,
  title = {Kenzo: a Symbolic Software for Effective Homology Computation},
  author = {Rubio Garcia, Julio and Sergeraert, Francis and Siret, Yvon},
  url = {https://github.com/miguelmarco/kenzo/tree/master/doc/doc_src},
  date = {1999},
  location = {Grenoble, France},
  publisher = {Institut Fourier},
}

@article{sergeraert:effective-1,
  title = {Homologie effective. {I}},
  author = {Sergeraert, Francis},
  date = {1987},
  issn = {0249-6291},
  journaltitle = {Comptes Rendus de l'Acad\'{e}mie des Sciences - Series I - Mathematics},
  number = {11},
  pages = {279--282},
  volume = {304},
}

@article{sergeraert:effective-2,
  title = {Homologie effective. {II}},
  author = {Sergeraert, Francis},
  date = {1987},
  issn = {0249-6291},
  journaltitle = {Comptes Rendus de l'Acad\'{e}mie des Sciences - Series I - Mathematics},
  number = {12},
  pages = {319--321},
  volume = {304},
}

@online{sergeraert:cp-spaces,
  title = {Triangulations of complex projective spaces},
  author = {Sergeraert, Francis},
  url = {https://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Mirian.pdf},
  date = {2009},
}

@unpublished{sergeraert:dvf-slides,
  title = {Discrete Vector Fields and Fundamental Algebraic Topology},
  author = {Sergeraert, Francis},
  url = {https://www-fourier.ujf-grenoble.fr/~sergerar/Talks/13-04-Tokyo.pdf},
  date = {2013-04},
  note = {Talk at The University of Tokyo},
}

@article{sergeraert:hexagonal-lemma,
  title = {The homological hexagonal lemma},
  author = {Sergeraert, Francis},
  url = {https://www-fourier.ujf-grenoble.fr/~sergerar/Papers/HPT-DVF.pdf},
  date = {2018},
  doi = {10.1515/gmj-2018-0055},
  issn = {1072-947X},
  journaltitle = {Georgian Mathematical Journal},
  number = {4},
  pages = {603--622},
  volume = {25},
}

@phdthesis{spiwack:thesis,
  title = {{Verified Computing in Homological Algebra}},
  author = {Spiwack, Arnaud},
  url = {https://pastel.archives-ouvertes.fr/pastel-00605836},
  date = {2011-03},
  eprint = {pastel-00605836},
  eprinttype = {hal},
  institution = {Ecole Polytechnique X},
}

@article{stevenson:decalage,
  title = {D\'{e}calage and {K}an's simplicial loop group functor},
  author = {Stevenson, Danny},
  url = {http://www.tac.mta.ca/tac/volumes/26/28/26-28abs.html},
  date = {2012},
  journaltitle = {Theory and Applications of Categories},
  pages = {No. 28,768--787},
  volume = {26},
}

@article{thomas:wbar,
  title = {The functors {$\bar{W}$} and {$\text{Diag} \circ \text{Nerve}$} are simplicially homotopy equivalent},
  author = {Thomas, Sebastian},
  date = {2008},
  eprint = {0804.1082},
  eprintclass = {math.AT},
  eprinttype = {arXiv},
  journaltitle = {Journal of Homotopy and Related Structures},
  number = {1},
  pages = {359--378},
  volume = {3},
}

@article{vj:ainfty-algorithms,
  title = {Algorithms in {$A^\infty$}-algebras},
  author = {Vejdemo-Johansson, Mikael},
  date = {2018},
  doi = {10.1515/gmj-2018-0057},
  journaltitle = {Georgian Mathematical Journal},
  number = {4},
  pages = {629--635},
  volume = {25},
}

@phdthesis{zhechev:thesis,
  title = {Algorithmic aspects of homotopy theory and embeddability},
  author = {Zhechev, Stephan},
  date = {2019},
  doi = {10.15479/AT:ISTA:6681},
  institution = {Institute of Science and Technology Austria},
}