The notion of a real-valued function is central to mathematics, computer...
For typical first-order logical theories, satisfying assignments have a
...
In this paper, we present an algorithm that computes funnels along
traje...
The proceedings of the 6th International Workshop on Symbolic-Numeric Me...