32 citations · 41 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.MS2023
Rigorous Function Calculi in Ariadne
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez +2
Almost all problems in applied mathematics, including the analysis of dynamical systems, deal with spaces of real-valued functions on Euclidean domains in their formulation and sol…
cs.LO2023
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
Luigi Capogrosso, Luca Geretti, Marco Cristani +2
BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verifi…