Christoph Lingenfelder

Learn More
One of the main disadvantages of computer generated proofs of mathematical theorems is their complexity and incomprehensibility. Proof transformation proce-­ dures have been designed in order to state these proofs in a formalism that is more familiar to a human ma-­ thematician. But usually the essential idea of a proof is still not easily visible. We(More)
At KDD-2009 in Paris, a panel on open standards and cloud computing addressed emerging trends for data mining applications in science and industry. This report summarizes the answers from a distinguished group of thought leaders representing key software vendors in the data mining industry. Supporting open standards and the Predictive Model Markup Language(More)