
Be the first to like this
Published on
We develop a language for specification of engineering calculations (EnCL, previously CSL) and apply it to formalize the industrial standard EN1591 concerning gasketed circular flange connections. We furthermore present a methodology how to carry out such specified calculations using a computer algebra system. The results are verified using theorem provers connected to the Hets system. In order to do so we define an institution for EnCL.
Clipping is a handy way to collect important slides you want to go back to later.
Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.
Be the first to comment