EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
From MaRDI portal
Publication:1060193
DOI10.1007/3-540-15984-3zbMath0568.00019OpenAlexW4242516948MaRDI QIDQ1060193
No author found.
Publication date: 1985
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-15984-3
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Computer algebra: Past and future ⋮ Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ Dynamic Galois theory ⋮ On the bit complexity of polynomial system solving ⋮ Seminormal rings (following Thierry Coquand) ⋮ Higher Nash blowups of the A3-singularity ⋮ Construction of the Henselization of a valued field ⋮ Computing Puiseux series: a fast divide and conquer algorithm ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ On the complexity of the \(F_5\) Gröbner basis algorithm
This page was built for publication: EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions