×

Found 73 Documents (Results 1–73)

Formally verifying proofs for algebraic identities of matrices. (English) Zbl 1455.68253

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 222-236 (2020).
MSC:  68V15 15A24 68W30
PDFBibTeX XMLCite
Full Text: DOI

Twelfth international conference Zaragoza-Pau on mathematics. Proceedings of the conference, Jaca, Spain, September 17–19, 2012. (English) Zbl 1284.00069

Monografías Matemáticas “García de Galdeano” 39. Zaragoza: Prensas de la Universidad de Zaragoza (ISBN 978-84-16028-35-1/pbk). xxiii, 222 p. (2014).
PDFBibTeX XMLCite

Intelligent routines II. Solving linear algebra and differential geometry with Sage. (English) Zbl 1347.65001

Intelligent Systems Reference Library 58. Cham: Springer (ISBN 978-3-319-01966-6/hbk; 978-3-319-01967-3/ebook). xiv, 306 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field