×

Found 798 Documents (Results 1–100)

Homotopy reconstruction via the Čech complex and the Vietoris-Rips complex. (English) Zbl 07760183

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 54, 19 p. (2020).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combinatorial properties of self-overlapping curves and interior boundaries. (English) Zbl 07760170

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 41, 17 p. (2020).
MSC:  68U05 68U03 68-06
PDFBibTeX XMLCite
Full Text: DOI

Coherence for monoidal groupoids in HoTT. (English) Zbl 07756113

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 8, 20 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

From cubes to twisted cubes via graph morphisms in type theory. (English) Zbl 07756110

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 5, 18 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unifying cubical models of univalent type theory. (English) Zbl 07650827

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 14, 17 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI

Robust numerical tracking of one path of a polynomial homotopy on parallel shared memory computers. (English) Zbl 07635852

Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 563-582 (2020).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A numerical approach for computing Euler characteristics of affine varieties. (English) Zbl 1503.65112

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 51-60 (2020).
MSC:  65H14 14Q15 14Q65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference