Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Skolem Meets Schanuel
Map detail
Skolem Meets Schanuel9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipSkolem Meets SchanuelWSkolem Meets Schanuelpreprint / 2022Yuri BiluAYuri BiluResearcherFlorian LucaAFlorian LucaResearcherJoris NieuwveldAJoris NieuwveldResearcherJoël OuaknineAJoël OuaknineResearchermath.NTTmath.NT5493 worksLogic in Computer ScienceTLogic in Computer Science2208 worksDavid PurserADavid PurserResearcherJames WorrellAJames WorrellResearcher
Paper8 links

Skolem Meets Schanuel

preprint / 2022