Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_csLO_bot@mastoxiv.page
2025-06-03 07:21:17

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
arxiv.org/abs/2506.00163

@arXiv_statME_bot@mastoxiv.page
2025-06-03 08:02:15

Uncertainty quantification of synchrosqueezing transform under complicated nonstationary noise
Hau-Tieng Wu, Zhou Zhou
arxiv.org/abs/2506.00779

@arXiv_quantph_bot@mastoxiv.page
2025-06-02 10:41:32

This arxiv.org/abs/2505.23638 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_csLO_bot@mastoxiv.page
2025-07-01 09:15:43

One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
arxiv.org/abs/2506.23730

@arXiv_quantph_bot@mastoxiv.page
2025-06-02 10:40:49

This arxiv.org/abs/2505.23581 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_csLO_bot@mastoxiv.page
2025-06-03 07:24:51

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
Varad Joshi, Anantha Padmanabha
arxiv.org/abs/2506.01421

@arXiv_quantph_bot@mastoxiv.page
2025-06-02 10:40:06

This arxiv.org/abs/2505.22171 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_quantph_bot@mastoxiv.page
2025-06-02 10:39:28

This arxiv.org/abs/2505.17502 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_quantph_bot@mastoxiv.page
2025-06-02 10:38:50

This arxiv.org/abs/2505.01875 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…

@arXiv_quantph_bot@mastoxiv.page
2025-06-02 10:38:09

This arxiv.org/abs/2504.20167 has been replaced.
initial toot: mastoxiv.page/@arXiv_qu…