Knowledge Visualization of Reasoning for Financial Mathematics with Statistical Theorems. - Yukari Shirota; Takako Hashimoto; Sakurako Suzuki (DNIS, 2014)