Outro
Acesso aberto
Revisado por pares
Randomization, sums of squares, near-circuits, and faster real root counting
2011; American Mathematical Society; Linguagem: Inglês
10.1090/conm/556/11012
ISSN1098-3627
AutoresOsbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas,
Tópico(s)Computability, Logic, AI Algorithms
Referência(s)