Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...

"In Calculus I, we learned how to use rectangles to approximate the definite integral. Another geometic figure which can be used to approximate the definite integeral ...

Discover a fast and powerful calculus-based method for finding square roots with impressive accuracy. This explanation shows how derivatives and iterative approximation can be used to quickly zero in ...

Zero-correlation linear cryptanalysis is an important method to analyze the security of block ciphers. But there are few works on zero-correlation linear attacks combined with the related-key setting.

We discuss structure-preserving model order reduction for port-Hamiltonian systems based on a nonlinear approximation ansatz which is linear with respect to a part of the state variables of the ...

Special functions have many remarkable properties that make them useful in various fields such as combinatory, astronomy, applied mathematics, physics, and engineering. This volume presents 15 ...

Editor’s Note: This story was updated at 11:48 p.m. on May 9 to accurately represent the current number of signatures on the most recent multivariable calculus open letter. In a second open letter to ...

In order to understand how climate responds to changes in sea surface temperature (SST), it is common to use linear approximations, i.e. the response is assumed to vary linearly with the sign and ...