Giulio Masetti's repositories
CollatzConjectureFunctionalEquation
Maxima code for exploring a conjecture equivalent to the Collatz conjecture
cryptol-specs
A central repository for specifications of cryptographic algorithms in Cryptol
DeepNeuralNetworkForwardRobustness
MATLAB code for testing DNNs robustness through symbolic propagation of abstract concepts
eigengraph
Iterative method for solving large sparse "second smallest eigenvalue problem" on parallel architectures
MarkovCrossApproximation
approximating the solution bundle that solves the system of PDEs originated by upgrading parameters to independent variables in the Kolmogorov Forward Equation (system of ODEs)
PerformabilitySimulator
A simple simulator to evaluate performability measures on stochastic processes
STINGRAY_Availability
Möbius model related to the Tuscany regional project STINGRAY
zsrt
An algorithm to solve the Generalized Eigenvalues Problem T*v=\lambda*S*v