%Ariadne is a C++ package for set-based analysis of dynamical and control systems, including reachability analysis, robust simulation and safety verification. The package can handle systems with reset ...

精度保証付き数値計算の標準的な方法をJulia言語を用いて紹介する。