Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
https://arxiv.org/abs/2506.00163 https://…
Uncertainty quantification of synchrosqueezing transform under complicated nonstationary noise
Hau-Tieng Wu, Zhou Zhou
https://arxiv.org/abs/2506.00779 htt…
This https://arxiv.org/abs/2505.23638 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
https://arxiv.org/abs/2506.23730 https://
This https://arxiv.org/abs/2505.23581 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
Varad Joshi, Anantha Padmanabha
https://arxiv.org/abs/2506.01421 http…
This https://arxiv.org/abs/2505.22171 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
This https://arxiv.org/abs/2505.17502 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
This https://arxiv.org/abs/2505.01875 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…
This https://arxiv.org/abs/2504.20167 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…