Author:
Aransay Jesús,Lambán Laureano,Rubio Julio
Publisher
Springer Nature Switzerland
Reference17 articles.
1. Anick, D.J.: The computation of rational homotopy groups is $$\#\cal{P} $$-hard. Comput. Geome. Topol. Lect. Notes Pure Appl. Math. 114, 1–56 (1989)
2. Aransay, J.: Isabelle code for “Evasiveness through Binary Decision Diagrams”. https://github.com/jmaransay/morse/blob/Isabelle_2022/BDT.thy
3. Barmak, J.A., Minian, E.G.: Strong homotopy types, nerves and collapses. Discrete Comput. Geom. 47(2), 301–328 (2012)
4. Berge, C.: Graphs and Hypergraphs. Elsevier Science Ltd. (1985)
5. Björner, A.: Topological methods. In: Handbook of Combinatorics, pp. 1819–1872. Elsevier (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献