Vieta's formula about the sum of roots of polynomials

DOI10.1515/FORMA-2017-0008MaRDI QIDQ2407503zbMATH OpenOpenAlexFDO

Authors Artur Korniłowicz, Karol Pąk

Publication date 6 October 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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

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)

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

Cites work

• scientific article; zbMATH DE number 1930503 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• Semantics of MML query -- ordering

Cited in

(1)

• Reciprocal Vieta-type formulas and some applications

Describes a project that uses

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)