On roots of polynomials and algebraically closed fields
Christoph Schwarzweller
Abstract
n/aAuthor | |
Journal series | Formalized Mathematics, ISSN 1426-2630, e-ISSN 1898-9934 |
Issue year | 2017 |
Vol | 25 |
No | 3 |
Pages | 189-199 |
Keywords in English | commutative algebra, polynomials, algebraic closed fields |
DOI | DOI:10.1515/forma-2017-0018 |
URL | http://mizar.org/fm/fm25-3/ring_5.pdf |
Language | en angielski |
Score (nominal) | 12 |
Score | = 12.0, 15-12-2017, ArticleFromJournal = 12.0, 15-12-2017, ArticleFromJournal |
Citation count* | 0 |
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back