Stam’s Identities Collection: A Case Study for Math Knowledge Bases
From MaRDI portal
Publication:2819255
DOI10.1007/978-3-319-42432-3_55zbMath1434.68651OpenAlexW2506274100MaRDI QIDQ2819255
Publication date: 28 September 2016
Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_55
Symbolic computation and algebraic computation (68W30) Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)
Cites Work