Staglianò, Giovanni On some families of Gushel-Mukai fourfolds. (English) Zbl 07628583 Algebra Number Theory 16, No. 8, 1905-1918 (2022). MSC: 14J35 14J45 14Q10 68W30 PDF BibTeX XML Cite \textit{G. Staglianò}, Algebra Number Theory 16, No. 8, 1905--1918 (2022; Zbl 07628583) Full Text: DOI arXiv OpenURL
Brady, Zarathustra; Guth, Larry; Manin, Fedor A hardness of approximation result in metric geometry. (English) Zbl 1462.53040 Sel. Math., New Ser. 26, No. 4, Paper No. 54, 20 p. (2020). Reviewer: Thilo Kuessner (Augsburg) MSC: 53C23 57Q15 68Q17 PDF BibTeX XML Cite \textit{Z. Brady} et al., Sel. Math., New Ser. 26, No. 4, Paper No. 54, 20 p. (2020; Zbl 1462.53040) Full Text: DOI arXiv OpenURL
Weinberger, Shmuel Interpolation, the rudimentary geometry of spaces of Lipschitz functions, and geometric complexity. (English) Zbl 1447.57036 Found. Comput. Math. 19, No. 5, 991-1011 (2019). MSC: 57R75 41A10 55Q05 68T05 PDF BibTeX XML Cite \textit{S. Weinberger}, Found. Comput. Math. 19, No. 5, 991--1011 (2019; Zbl 1447.57036) Full Text: DOI OpenURL
Filakovský, Marek; Franek, Peter; Wagner, Uli; Zhechev, Stephan Computing simplicial representatives of homotopy group elements. (English) Zbl 1430.55014 J. Appl. Comput. Topol. 2, No. 3-4, 177-231 (2018). MSC: 55U10 55Q05 68W30 PDF BibTeX XML Cite \textit{M. Filakovský} et al., J. Appl. Comput. Topol. 2, No. 3--4, 177--231 (2018; Zbl 1430.55014) Full Text: DOI arXiv OpenURL
van der Hoeven, Joris Overview of the Mathemagix type system. (English) Zbl 1352.68306 Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 397-425 (2014). MSC: 68W30 PDF BibTeX XML Cite \textit{J. van der Hoeven}, in: Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14--17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26--28, 2012. Contributed papers and invited talks. Berlin: Springer. 397--425 (2014; Zbl 1352.68306) Full Text: DOI OpenURL
Zinin, M. V. BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. (English. Russian original) Zbl 1251.68309 Program. Comput. Softw. 38, No. 2, 92-101 (2012); translation from Programmirovanie 38, No. 2 (2012). MSC: 68W30 13P10 06E20 68-04 PDF BibTeX XML Cite \textit{M. V. Zinin}, Program. Comput. Softw. 38, No. 2, 92--101 (2012; Zbl 1251.68309); translation from Programmirovanie 38, No. 2 (2012) Full Text: DOI OpenURL
Davidovitch, Lior; Dolev, Shlomi; Rajsbaum, Sergio Stability of multi-valued continuous consensus. (English) Zbl 1339.68021 Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 23-38 (2009). MSC: 68M14 68M15 PDF BibTeX XML Cite \textit{L. Davidovitch} et al., Electron. Notes Theor. Comput. Sci. 230, 23--38 (2009; Zbl 1339.68021) Full Text: DOI OpenURL
Aluffi, Paolo Computing characteristic classes of projective schemes. (English) Zbl 1074.14502 J. Symb. Comput. 35, No. 1, 3-19 (2003). MSC: 14C17 14Q15 68W30 PDF BibTeX XML Cite \textit{P. Aluffi}, J. Symb. Comput. 35, No. 1, 3--19 (2003; Zbl 1074.14502) Full Text: DOI arXiv OpenURL