On mathematical assistant CARANT-REDUCE and its application to computer science education (demonstration)

Abstract

Tfze what: The objective of the research is to contribute to (i) the understandings of the mathematical foundations (mathematical and computational semantics are included) and to (ii) the methodological principles, techniques, notations and tools in the frame of IMA needed to investigate and to develop systems and processes with interval coefficients and… (More)
DOI: 10.1145/266057.266204

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics