Sergey Nikolenko
← All publications

First report on the semialgebraic prover

Preprint

First report on the semialgebraic prover

S. Fedin, A. Kojevnikov, B. Konev, A.S. Kulikov, S.I. Nikolenko, V.P. Orevkov

Preprint · 2004

Permalink
BibTeX
@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}
}