Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

Autor: England, M, Bradford, R.J., Davenport, J.H., Wilson, D.

Publikováno v: England, M, Bradford, R J, Davenport, J H & Wilson, D 2014, Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition . in Mathematical Software – ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings . vol. 8592, Springer, pp. 450-457 . https://doi.org/10.1007/978-3-662-44199-2_68

Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geometry and beyond. In recent years a new approach has been developed, where regular chains technology is used to first build a decomposition in complex s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1378::56c939da29181417760543608a15b159
https://purehost.bath.ac.uk/ws/files/56711905/EBDW14.pdf

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.