Mashups using mathematical knowledge: Why formulas are different - Lange-Bever, Christoph; Kohlhase, Michael (Semantic Mashups: Intelligent Reuse of Web Resources, 2013)