Artikel in einem Konferenzbericht,

Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition.

.
SC-Square@SIAM AG, Volume 3273 von CEUR Workshop Proceedings, Seite 31-40. CEUR-WS.org, (2021)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen