activity
20212026
most citedHyperTree Proof Search for Neural Theorem Proving

25 citations · 47 across the 19 of their papers we have counts for

collaborators
Showing math.APShow all

6 papers · 1 filter

math.AP2026

Minimal time for heat observability on almost-Riemannian surfaces

Vincent Boulard, Amaury Hayat, Emmanuel Trélat

We determine the minimal observation time for the heat equation on a closed almost-Riemannian surface, for a class of observation sets leaving sufficiently thin collars around simp…

math.AP2026

Optimal geometric barriers for weighted observability of heat semigroups on metric measure spaces

Vincent Boulard, Amaury Hayat, Emmanuel Trélat

Weighted integrated observability inequalities for heat equations usually involve a small-time factor of the form . We prove that this scale is not an artefact of Carlema…

math.AP2026

Global boundary stabilization of 1d systems of scalar conservation laws

Georges Bastin, Jean-Michel Coron, Amaury Hayat

We study a system of several one-dimensional scalar conservation laws coupled through boundary feedback conditions that combine physical boundary constraints with static feedback c…

math.AP2026

Exponential stability of the linearized viscous Saint-Venant equations using a quadratic Lyapunov function

Amaury Hayat, Nathan Lichtlé

In this work, we investigate the exponential stability of the viscous Saint-Venant equations by adding to the standard hyperbolic Saint-Venant equations a viscosity term coming fro…

math.AP2026

Rapid stabilization of general linear systems with F-equivalence

Amaury Hayat, Epiphane Loko

We study the rapid stabilization of general linear systems, when the differential operator has a Riesz basis of eigenvectors. We find simple sufficient conditions for…

math.AP2025

F-equivalence for parabolic systems and applications to the stabilization of nonlinear PDE

Vincent Boulard, Amaury Hayat

We consider the -equivalence problem for parabolic systems: under which conditions a control system, governed by a parabolic operator and a control operator , can be made…