2 papers
math.CA2026
An Alternative Proof of the SPR Synthesis Theorem for Polynomial Segments of Arbitrary Order
Zhengtai Xiong, Tiancheng Xu, Xiang Ji +3
For any positive integer n and any two monic real Hurwitz polynomials of degree n, every convex combination of the two is Hurwitz stable if and only if there exists a common numera…
math.LO2024
Formalization of the Filter Extension Principle (FEP) in Coq
Guowei Dou, Wensheng Yu
The Filter Extension Principle (FEP) asserts that every filter can be extended to an ultrafilter, which plays a crucial role in the quest for non-principal ultrafilters. Non-princi…