Abstract specification of structures and methods in symbolic mathematical computation
From MaRDI portal
Publication:1199931
DOI10.1016/0304-3975(92)90167-EzbMath0756.68058MaRDI QIDQ1199931
Marco Temperini, Carla Limongelli
Publication date: 17 January 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work