activity
20092023
most citedTheseus: A Library for Differentiable Nonlinear Optimization

47 citations · 62 across the 14 of their papers we have counts for

collaborators
Showing math.DSShow all

6 papers · 1 filter

math.DS2023★ 5 cited

A general framework for the rigorous computation of invariant densities and the coarse-fine strategy

Stefano Galatolo, Maurizio Monge, Isaia Nisoli +1

In this paper we present a general, axiomatical framework for the rigorous approximation of invariant densities and other important statistical features of dynamics. We approximate…

math.DS2022★ 1 cited

Cramér distance and discretizations of circle expanding maps II: simulations

Pierre-Antoine Guihéneuf, Maurizio Monge

This paper presents some numerical experiments in relation with the theoretical study of the ergodic short-term behaviour of discretizations of expanding maps done in arXiv:2206.07…

math.DS2022

Cramér distance and discretizations of circle expanding maps I: theory

Pierre-Antoine Guihéneuf, Maurizio Monge

This paper is aimed to study the ergodic short-term behaviour of discretizations of circle expanding maps. More precisely, we prove some asymptotics of the distance between the …

math.DS2017

Existence of Noise Induced Order, a Computer Aided Proof

Stefano Galatolo, Maurizio Monge, Isaia Nisoli

We prove the existence of Noise Induced Order in the Matsumoto-Tsuda model, where it was originally discovered in 1983 by numerical simulations. This is a model of the famous Belos…

math.DS2015

Non-denseness of hyperbolicity for linear isomorphisms in Banach spaces

Jose F. Alves, Maurizio Monge

We present an infinite dimensional Banach space in which the set of hyperbolic linear isomorphisms in that space is not dense (in the norm topology) in the set of linear isomorphis…

math.DS2009

Left invertibility of I/O quantized linear systems in dimension 1: a number theoretic approach

Nevio Dubbini, Maurizio Monge, Antonio Bicchi

This paper studies left invertibility of discrete-time linear I/O quantized linear systems of dimension 1. Quantized outputs are generated according to a given partition of the sta…