Rigorous Function Calculi in Ariadne

Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez +2

Almost all problems in applied mathematics, including the analysis of dynamical systems, deal with spaces of real-valued functions on Euclidean domains in their formulation and sol…