Author:
Krčál Marek,Pilarczyk Paweł
Publisher
Springer International Publishing
Reference25 articles.
1. Čadek, M., Krčál, M., Matoušek, J., Vokřínek, L., Wagner, U.: Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. Siam J. Comput. 43(5), 1728–1780 (2014)
2. Computational Homology Project software.
http://chomp.rutgers.edu/software/
3. Computer Assisted Proofs in Dynamics group.
http://capd.ii.uj.edu.pl/
4. Eilenberg, S., Mac Lane, S.: On the groups $$H(\Pi, n)$$, I. Ann. Math. 58, 55–106 (1953)
5. Franek, P., Krčál, M.: obust satisfiability of systems ofequations. J. ACM 62(4), 26:1–26:19 (2015).
http://doi.acm.org/10.1145/2751524
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献