Statistics for Top 10 Results
Filter:
Domain Registration Date Filter
1
[PDF] Bag Semantics Query Containment: The CQ vs. UCQ Case and ... - arXiv
https://arxiv.org/pdf/2503.07219
2
Hilbert 10th problem for cubic equations - MathOverflow
https://mathoverflow.net/questions/420143/hilbert-10th-problem-for-cubic-equations
3
[PDF] Hilbert's Tenth Problem in Coq - DROPS
https://drops.dagstuhl.de/storage/00lipics/lipics-vol131-fscd2019/LIPIcs.FSCD.2019.27/LIPIcs.FSCD.2019.27.pdf
4
[PDF] Hilbert's Tenth Problem is Unsolvable Author(s): Martin Davis Source
http://math.uchicago.edu/~shmuel/lg-readings/martin%2520davis,%2520hilbert%252010.pdf
5
[PDF] ticamore - hilbert's tenth problem in coq
https://ticamore.logic.at/publications/LarcheyWendlingForsterHilberts10thproblem2021.pdf
6
Some Connections between Hilberts 10th Problem and the Theory of ...
https://www.sciencedirect.com/science/article/pii/S0049237X08719165
7
[PDF] hilbert's tenth problem and mazur's conjecture for large subrings of q
https://math.mit.edu/~poonen/papers/subrings.pdf
8
Set-theoretic reductions of Hilbert's tenth problem
https://link.springer.com/content/pdf/10.1007/3-540-52753-2_32.pdf
9
[PDF] Hilbert's Tenth Problem in Coq
https://members.loria.fr/DLarchey/files/papers/slides-fscd2019.pdf