Interactive Mathematical Documents
From MaRDI portal
Publication:5302895
DOI10.1007/11856290_1zbMath1156.68624MaRDI QIDQ5302895
Publication date: 15 January 2009
Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11856290_1
68W30: Symbolic computation and algebraic computation
Uses Software