Universidade de Brasília

works on

anti-unification 1 completeness 1 formal verification 1 prototype verification system 1 term rewriting 1 theorem proving 1

From the 1 of 21 papers with an AI index.

most citedProbing the nature of the

I ¨ _{c 1} (3872)

state using radiative decays

12 citations

Showing math.DSShow all

1 paper · 1 filter

math.DS2026

Strong Stability of Linear Functional Equations with Distributed Delays

Yacine Chitour, Felipe GonÃ§alves Netto, Guilherme Mazanti

This paper considers linear functional equations on $R^{d}$ with distributed delays defined by matrix-valued measures of bounded variation. More precisely, we are interested…