This is very basic library of fuzzy and interval calculus. Find more on Project web page It includes implementation of arithmetic operations for Interval and Fuzzy classes as well as some specific ...

Two short introductory tutorials on mathematical notation (tensor calculus) and basic fluid dynamics for researchers interested in microfluidics. This is also accompanied by a short illustrative ...

Abstract: Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support, as its ...