Tootfinder

"McTT: A Verified Kernel for a Proof Assistant"
Presentation by Junyoung Jang, joint work with Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka.
Repo: https://github.com/Beluga-lang/McTT/tree/icfp25

"Einfach rechte Themen zu übernehmen, funk­tio­niert nicht. Das hat die Forschung immer wieder gezeigt. So gewinnt man Wäh­le­r:in­nen nicht von rechtspopulistischen Parteien zurück"
(Original title: Soziologin über AfD: „Rechte Themen zu übernehmen, funktioniert nicht“)
http://www.taz.de/Soziologin-ueb…

Soziologin über AfD: „Rechte Themen zu übernehmen, funktioniert nicht“
Die AfD legt in Umfragen zu. Wenn andere Parteien Wäh­le­r:in­nen zurück wollen, müssen sie strategisch geschickter agieren, findet Clara Dilger.

Equivalence criteria for the two--term functional equations for Herglotz--Zagier functions
Sumukha Sathyanarayana, N. Guru Sharan
https://arxiv.org/abs/2510.10088 https://

Equivalence criteria for the two--term functional equations for Herglotz--Zagier functions
We establish Kronecker limit type formula for the generalized Mordell-Tornheim zeta function $Θ(r,r,t,x)$ as a function of the third argument around $t=1-r$. We then show that the above Kronecker limit type formula is equivalent to the two-term functional equation for the higher Herglotz function obtained by Vlasenko and Zagier. We also show the equivalence between a previously known Kronecker limit type formula for $Θ(1,1,t,x)$ around $t=0$ and the two-term functional equation for the Herglo…

🛌 Wissen fürs Kopfkissen: 📖
#Gemüseanbau funktioniert auch auf dem #Balkon. 🌱🍅
Welches #Gemüse eignet sich dafür gut? Ich habe bereits viele Sorten ausprobiert und bin begeistert…

Gemüse anbauen gelingt auch auf dem Balkon oder der Terasse
Gemüse anbauen auf dem Balkon: Tipps und Tricks für Anfänger

📢 Dorothee Elmiger gewinnt Deutschen Buchpreis
Der Deutsche Buchpreis geht in diesem Jahr an die Schriftstellerin Dorothee Elmiger. Das gab der Börsenverein des Deutschen Buchhandels in Frankfurt bekannt. Sie wird für ihren Roman "Die Holländerinnen" ausgezeichnet.
➡️ https:/…

Dorothee Elmiger gewinnt Deutschen Buchpreis
Der Deutsche Buchpreis geht in diesem Jahr an die Schriftstellerin Dorothee Elmiger. Sie erhielt die renommierte Auszeichnung für ihr Buch "Die Holländerinnen". Das Buch sein "ein faszinierender Trip ins Herz der Finsternis", so die Jury.

A Class of Functionals on the Sequence Space $s$ Satisfying the Palais-Smale Condition
Kaveh Eftekharinasab
https://arxiv.org/abs/2510.10146 https://arxiv.…

A Class of Functionals on the Sequence Space $s$ Satisfying the Palais-Smale Condition
We introduce a class of functionals on the space of rapidly decreasing sequences $s$, called $\mathcal{F}_s$-functionals, defined as decomposable sums of quadratic and convex terms with quadratic growth. We prove that such functionals satisfy the Palais-Smale condition and admit a unique global minimum. Furthermore, we show that the Palais-Smale condition is preserved under linear homeomorphisms. This allows us to construct corresponding functionals satisfying the Palais-Smale condition on Fré…

On the $v$-adic values of G-functions II
Georgios Papas
https://arxiv.org/abs/2510.11814 https://arxiv.org/pdf/2510.11814

On the $v$-adic values of G-functions II
This is the second in a series of papers by the author centered around the study of values of G-functions associated to $1$-parameter families of abelian varieties $f:\CX\rightarrow S$ and a point $s_0\in S(K)$ with smooth fiber over some number field $K$. Here we study the case where $f:\CX\rightarrow S$ is a family of elliptic curves. We construct relations among the values of G-functions in this setting at points whose fiber is a CM elliptic curve. These lead to bounds for the height of su…

🛌 Wissen fürs Kopfkissen: 📖
#Gemüseanbau funktioniert auch auf dem #Balkon. 🌱🍅
Welches #Gemüse eignet sich dafür gut? Ich habe bereits viele Sorten ausprobiert und bin begeistert…

Gemüse anbauen gelingt auch auf dem Balkon oder der Terasse
Gemüse anbauen auf dem Balkon: Tipps und Tricks für Anfänger

Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values
Sumukha Sathyanarayana, N. Guru Sharan
https://arxiv.org/abs/2510.10093 https://

Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values
In this paper, we establish Kronecker limit type formulas for the generalized Mordell--Tornheim zeta function $Θ(r,s,t,x)$ as a function of the third variable, in terms of Riemann-zeta and Gamma values. We also give series evaluations of $Θ(r,s,t,x)$ in terms of Herglotz-Zagier type functions, and their derivatives. As applications of this, we derive Kronecker limit type formula in the second variable and a new infinite family of modular relations called mixed functional equations. We also st…

On the distinction between Kloosterman sums and multiplicative functions
Yang Zhang
https://arxiv.org/abs/2510.10721 https://arxiv.org/pdf/2510.10721

On the distinction between Kloosterman sums and multiplicative functions
Let $S(a,b;n)$ be the Kloosterman sum. For any integers $a\neq0,b\neq0,k\geqslant2$, any given complex number $η\not=0$ and multiplicative function $f: \mathbb{N} \rightarrow \mathbb{C}$, we show that \[ |\{n\leqslant X:S(a,b;n)=ηf(n), n \text{ square-free }k\text{-almost prime}\}|\leqslant π(\dfrac{X}{L_k})+O(X^{1-\frac{1}{2k}}) \] and \[ |\{n\leqslant X:S(a,b;n)=ηf(n), n \text{ square-free}\}|\leqslant π(X)+O(Xe^{-\sqrt{\log X}}) \] as $X\rightarrow \infty$. Here, $L_…