First report on the semialgebraic prover
S. Fedin, A. Kojevnikov, B. Konev, A.S. Kulikov, S.I. Nikolenko, V.P. Orevkov
Preprint · 2004
@misc{fedin2004_682,
author = {Fedin, Sergey and Kojevnikov, Arist and Konev, Boris and Kulikov, Alexander S. and Nikolenko, Sergey I. and Orevkov, Vladimir P.},
title = {{First report on the semialgebraic prover}},
year = {2004},
url = {https://sergeynikolenko.ru/papers/682}
}