State and Prove fundamental theorem of algebra Pdf

Photo of author

All about books and pdfs

We present a formalization of the Fundamental Theorem of Algebra in the Coq proof assistant, by lifting the proof from [Waerden 1949] to the up-to-date language of dependent type theory. We prove that this formalization is free of errors and unnecessary lemmas, and that it preserves all facts about the theorem proved in [Waerden], apart from those that rely on numerical computations.


The Fundamental Theorem of Algebra is one of the most important theorems in all of mathematics. Mathematicians regard this theorem as one of the greatest mathematical discoveries ever. Its importance lies in its ability to connect two seemingly unrelated branches of mathematics, algebra and geometry.


In the areas of algebra and number theory, a fundamental theorem is a result from which many other results follow. The name “fundamental theorem” may be misleading, however; even though these theorems are important, they are often not considered to be more fundamental than many other theorems (hence their name). Many important theorems in each of these two fields either were found to follow from some fundamental theorem or led to the discovery of such a theorem.

Finite-Dimensional Vector Spaces: Second Edition (Dover Books on Mathematics)
Price : $14.59
Features :

    Additional Info :

    Item Dimensions
    Height 8.9 Inches
    Width 0.4 Inches
    Length 6 Inches
    Weight 0.6 Pounds
    Release Date 2017-08-15T00:00:01Z
    Fundamentals of Mathematical Proof
    Price : $24.40
    Features :

      Additional Info :

      Item Dimensions
      Height 9.69 Inches
      Width 0.38 Inches
      Length 7.44 Inches
      Weight 0.69 Pounds
      Proof! Math Game - The Fast Paced Game of Mental Math Magic - Teachers’ Choice Award Winning Educational Game, Ages 9+
      Price : $17.99
      Features :

      • FAST-PACED, FUN MATH GAME loved by teachers, families, kids, and grown-ups alike. Enjoy at your next family game night or as a classroom or homeschool learning game.
      • TEACHER’S CHOICE GOLD AWARD WINNER. Educational games are evaluated by a panel of teachers and selected for “exceptional quality and outstanding performance in the classroom and at home!”
      • IMPROVE MENTAL MATH SKILLS. Practice multiplication, division, addition, subtraction, and square roots. Great brain game training for kids and adults!
      • INCLUDES 100 NUMBER CARDS chosen for optimal fun, with more easy-to-use lower numbers. Some larger numbers and prime numbers are excluded.
      • PERFECT FOR 2 – 6 PLAYERS, AGES 9 – 109. Adaptable rules for younger players and solo play, too. Takes just 15 minutes to play. So much fun, kids will want to play again and again! Made in Michigan.

      Additional Info :

      Color One Color
      Item Dimensions
      Height 1 Inches
      Width 3.9 Inches
      Length 5.5 Inches
      Complex Analysis
      Price : $32.62
      Features :

        Additional Info :

        Item Dimensions
        Height 10 Inches
        Width 0.75 Inches
        Length 7.25 Inches
        Weight 1.8077905484 Pounds
        Release Date 2018-10-11T00:00:01Z
        A Concrete Approach to Abstract Algebra: From the Integers to the Insolvability of the Quintic
        Price : $109.99
        Features :

          Additional Info :

          Item Dimensions
          Height 9.25 Inches
          Width 1.63 Inches
          Length 7.5 Inches
          Weight 3.04899308346 Pounds
          Release Date 2010-02-11T00:00:01Z

          Leave a Comment