Sfoglia per Rivista
Quadratic Interval Refinement for Real Roots
2014-01-01 Abbott, JOHN ANTHONY
Satisfiability checking and symbolic computation
2016-01-01 Abraham, Erika; Abbott, JOHN ANTHONY; Becker, B.; Bigatti, ANNA MARIA; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Quadratic Interval Refinement for Real Roots | 1-gen-2014 | Abbott, JOHN ANTHONY | |
Satisfiability checking and symbolic computation | 1-gen-2016 | Abraham, Erika; Abbott, JOHN ANTHONY; Becker, B.; Bigatti, ANNA MARIA; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile