Towards specifying symbolic computation
From MaRDI portal
Publication:2287903
DOI10.1007/978-3-030-23250-4_8zbMath1428.68397arXiv1904.02729MaRDI QIDQ2287903
Jacques Carette, William M. Farmer
Publication date: 22 January 2020
Full work available at URL: https://arxiv.org/abs/1904.02729
68W30: Symbolic computation and algebraic computation
Uses Software