32 citations · 41 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.DM2020★ 4 cited
The Quotient in Preorder Theories
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa +1
Seeking the largest solution to an expression of the form A x <= B is a common task in several domains of engineering and computer science. This largest solution is commonly called…
math.NA2020★ 2 cited
Higher Order Method for Differential Inclusions
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti +2
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute valid…