Vieta's formula about the sum of roots of polynomials

DOI10.1515/FORMA-2017-0008zbMATH Open1377.12001OpenAlexW2757501474MaRDI QIDQ2407503FDOQ2407503

Authors: Artur Korniłowicz, Karol Pąk 

Publication date: 6 October 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0008

Recommendations

• Reciprocal Vieta-type formulas and some applications
• Vieta's formulae for regular polynomials of a quaternionic variable
• Generalization of Vieta's formulae to the fractional polynomials, and generalizations of the method of Graeffe-Lobachevsky
• On roots of polynomials and algebraically closed fields
• scientific article; zbMATH DE number 939510

zbMATH Keywords

roots of polynomialsVieta's formula

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Polynomials in general fields (irreducibility, etc.) (12E05)

Cites Work

• Mizar: state-of-the-art and beyond
• Semantics of MML query -- ordering
• Title not available (Why is that?)

Cited In (1)

• Reciprocal Vieta-type formulas and some applications

Uses Software

• Mizar

This page was built for publication: Vieta's formula about the sum of roots of polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407503)