In this second part, we thoroughly examine the types of higher-order asymptotic variation of a function obtained by all possible basic algebraic operations on higher-order varying functions. The ...

Abstract: We present a new numerical abstract domain based on ellipsoids designed for the formal verification of switched linear systems. Unlike the existing approaches, this domain does not rely on a ...

This a program I wrote when learning C#.NET and Visual Studio in college. All of the code was done from scratch. The calculator does basic algebraic operations plus the common scientific operations.