Tootfinder

My false positive risk calculator fpr-calc.ucl.ac.uk is temporarily off-line. Until a new redirect takes effect you can get it at https://shiny.ieis.tue.nl/fpr_calc/
Latest news about it is at

The LibreOffice Calc in Debian 13 has dark mode support 🙌

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
Jasper Nalbach, Erika \'Abrah\'am
https://arxiv.org/abs/2508.00505 https://

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
The Cylindrical Algebraic Decomposition (CAD) method is currently the only complete algorithm used in practice for solving real-algebraic problems. To ameliorate its doubly-exponential complexity, different exploration-guided adaptations try to avoid some of the computations. The first such adaptation named NLSAT was followed by Non-uniform CAD (NuCAD) and the Cylindrical Algebraic Covering (CAlC). Both NLSAT and CAlC have been developed and implemented in SMT solvers for satisfiability checkin…

ok so I'm gathering some steam deck sales data to a LibreOfficeCalc...
Global Sale and country specific, let's see for how long I'll keep this up...
#tariffs #SteamDeck #Calc

A note on the Laplace transforms of certain generalized fractional integral operators
Min-Jie Luo, Jing-Yi Shen, Ravinder Krishna Raina
https://arxiv.org/abs/2509.00493 https://…

A note on the Laplace transforms of certain generalized fractional integral operators
In this paper, we derive certain formulas giving the Laplace transforms of two generalized fractional integral operators introduced recently in [Fract. Calc. Appl. Anal. 20 (2) (2017), 422--446]. The main results provide generalizations to various known results. Some useful remarks related to the results presented in this paper are also mentioned.

Well-posedness and long-time behavior of a bulk-surface Cahn--Hilliard model with non-degenerate mobility
Jonas Stange
https://arxiv.org/abs/2507.16508 htt…

Well-posedness and long-time behavior of a bulk-surface Cahn--Hilliard model with non-degenerate mobility
We study a bulk-surface Cahn--Hilliard model with non-degenerate mobility and singular potentials in two dimensions. Following the ideas of the recent work by Conti, Galimberti, Gatti, and Giorgini [Calc. Var. Partial Differential Equations, 64(3):Paper No. 87, 32, 2025] for the Cahn--Hilliard equation with homogeneous Neumann boundary conditions, we show the uniqueness of weak solutions together with a continuous dependence estimate for sufficiently regular mobility functions. Next, under weak…

Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika \'Abrah\'am, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Na\"im Z\'ena\"idi
https://arxiv.org/abs/2508.00512

Projective Delineability for Single Cell Construction
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms. The central property on which the CAD algorithm is bas…

Decay Properties of Invariant Measure and Application to Elliptic Homogenization of Non-divergence Form with an Interface
Pengxiu Yu, Yiping Zhang
https://arxiv.org/abs/2507.15536

Decay Properties of Invariant Measure and Application to Elliptic Homogenization of Non-divergence Form with an Interface
Using the self-contained PDE analysis, this paper investigates the existence and the decay properties of the invariant measure in elliptic homogenization of non-divergence form with an interface assumptions on the leading coefficient $A$ and the drift $b$ for $b_1\equiv 0$, which partially provides an alternative proof of the previous work by Hairer and Manson [Ann. Probab. 39(2011) 648-682]. Moreover, as a direct application after using the analysis by the second author [Calc. Var. Partial Dif…