CTS — Algebraic debugging system for reduce programs

DOI10.1007/3-540-51517-8_121zbMath1209.68685OpenAlexW1506680331MaRDI QIDQ5393343

A. Ya. Rodionov, A. P. Kryukov

Publication date: 16 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51517-8_121

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• REDUCE

This page was built for publication: CTS — Algebraic debugging system for reduce programs