Thomas Sturm

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026

Pseudo-Complex Quantifier Elimination.

[DOI]

CoRR, April, 2026

2025

On the Number of Real Types of Univariate Polynomials.

[DOI]

CoRR, February, 2025

2009

Sudoku and A.I..

Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

Acronyms for a Database Design Course.

Proceedings of the 2009 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2009