A fast wideband electromagnetic scattering analysis method based on Taylor expansion and higher order hierarchical vector basis functions is proposed. By extracting a phase term from the green ...

This paper introduces a new method for shape registration by matching vector distance functions. The vector distance function representation is more flexible than the conventional signed distance map ...

Wolfram Mathematica Wolfram Engine, a free alternative to Mathematica that requires an active internet connection. The Z3 Theorem Prover, for which built-in binaries are included. This is the fallback ...