CATBox consists of a software system for animating graph algorithms and a course book which we developed simultaneously. The software system presents both the algorithm and the graph and puts the user always in control of the actual code that is executed. He or she can set breakpoints, proceed in single steps and trace into subroutines. The graph, and additional auxiliary graphs like residual networks, are displayed and provide visual feedback. The course book, intended for readers at advanced undergraduate or graduate level, introduces the ideas and discusses the mathematical background necessary for understanding and verifying the correctness of the algorithms and their complexity. Computer exercises and examples replace the usual static pictures of algorithm dynamics.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Hochstättler, Winfried; Schliep, Alexander: CATBox. An interactive course in combinatorial optimization (2010)
- Geschke, Anne; Kortenkamp, Ulrich; Lutz-Westphal, Brigitte; Materlik, Dirk: Visage - Visualization of algorithms in discrete mathematics (2005) MathEduc
- Demetrescu, Camil; Finocchi, Irene; Stasko, John T.: Specifying algorithm visualizations: Interesting events or state mapping? (2002)
- Diehl, Stephan (ed.): Software visualization. International seminar Dagstuhl Castle, Germany, May 20--25, 2001. Revised papers (2002)