×

Found 2,514 Documents (Results 1–100)

LaText: a linear algebra textbook system. (English) Zbl 1515.68351

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 209-214 (2018).
MSC:  68V30 15-01
PDFBibTeX XMLCite
Full Text: DOI

A formal proof of the computation of Hermite normal form in a general setting. (English) Zbl 1515.68350

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 37-53 (2018).
MSC:  68V20 15A21 68V15
PDFBibTeX XMLCite
Full Text: DOI

Univariate ideal membership parameterized by rank, degree, and number of generators. (English) Zbl 1528.68147

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 7, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Y-calculus: a language for real matrices derived from the ZX-calculus. (English) Zbl 1486.81061

Coecke, Bob (ed.) et al., Proceedings of the 14th international conference on quantum physics and logic, QPL’17, Nijmegen, The Netherlands, July 3–7, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 266, 23-57 (2018).
MSC:  81P68 18M30 15A67
PDFBibTeX XMLCite
Full Text: arXiv Link

On infinite Bernoulli matrices. (English) Zbl 1469.15037

Tosun, Murat (ed.) et al., 6th international Eurasian conference on mathematical sciences and applications, IECMSA-2017, Budapest, Hungary, August 15–18 August, 2017. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 1926, Article 020022, 6 p. (2018).
MSC:  15B52
PDFBibTeX XMLCite
Full Text: DOI

Pseudo multinomial vectors and their properties. (English) Zbl 07395989

International conference in mathematics and applications, ICMA-MU 2018. Book on the conference proceedings, Bangkok, Thailand, December 16–18, 2018. Bangkok: Mahidol University, Centre of Excellence in Mathematics (CEM). 15-24 (2018).
MSC:  47Axx 46Axx 15Axx
PDFBibTeX XMLCite

Tensor rank is hard to approximate. (English) Zbl 1521.68069

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 26, 9 p. (2018).
MSC:  68Q17 15A69 68W25
PDFBibTeX XMLCite
Full Text: DOI

Sublinear-time quadratic minimization via spectral decomposition of matrices. (English) Zbl 1521.68254

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 17, 19 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On sketching the \(q\) to \(p\) norms. (English) Zbl 1521.68211

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 15, 20 p. (2018).
MSC:  68T09 15B52 60B20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software