A Process Mining Approach to Redesign Business Processes - A Case Study in Gas Industry

  • Authors:
  • N. R. T. P. van Beest;L. Maruster

  • Affiliations:
  • -;-

  • Venue:
  • SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The MathLang project aims at computerizing mathematical texts according to various degrees of formalisations, and without any prior commitment to a particular logical framework (e.g., having to choose either set theory or category theory or type theory, ...