|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 120 van 124 gevonden artikelen
| Titel: |
Using Machine Learning to Improve Cylindrical Algebraic Decomposition |
| Auteur: |
Huang, Zongyan England, Matthew Wilson, David J. Bridge, James Davenport, James H. Paulson, Lawrence C. |
| Verschenen in: |
Mathematics in computer science |
| Paginering: | Jaargang 13 () nr. 4 pagina's 461-488 |
| Jaar: |
2019 |
| Inhoud: | |
| Uitgever: |
Springer International Publishing, Cham |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 120 van 124 gevonden artikelen
| << vorige | volgende >> |