activity
20242026
most citedTableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)

6 citations · 7 across the 6 of their papers we have counts for

collaborators
Showing math.APShow all

1 paper · 1 filter

math.AP2026

Equal diffusions and zero Dirichlet boundary conditions can induce blow-up

Pavol Quittner, Philippe Souplet

For a class of systems of two parabolic equations with equal diffusion and homogeneous Dirichlet boundary conditions, we show the existence of finite time blow-up solutions, althou…