3 papers
cs.SE2026
AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
Clemens Pohle
Legacy JavaScript systems lack type safety, making maintenance risky. While TypeScript can help, manually adding types is expensive. Previous automated typing research focuses on t…
math.MG2025
The excenters of bicentric polygons are concyclic
Norbert Hungerbühler, Clemens Pohle, Yun Zhang
We show that the centers of the excircles of a bicentric polygon are concyclic on a circle . The center of the circumscribed circle of is the midpoint of the center…
math.HO2018
Communicating harmonic pencils of lines
Norbert Hungerbühler, Clemens Pohle
Suppose there are harmonic pencils of lines given in the plane. We are interested in the question whether certain triples of these lines are concurrent or if triples of interse…