Marcus Schaefer | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Arnaud de Mesmay
3 publications
Daniel Stefankovic
3 publications
Eric Sedgwick
1 publication

research

∙ 10/02/2022

Beyond the Existential Theory of the Reals

We show that completeness at higher levels of the theory of the reals is...

0 Marcus Schaefer, et al. ∙

research

∙ 08/12/2019

Link Crossing Number is NP-hard

We show that determining the crossing number of a link is NP-hard. For s...

0 Arnaud de Mesmay, et al. ∙

Success!

An error occurred