answersLogoWhite

0

The computer-assisted proof is a mathematical proof that was created by computer mathematics, though only partially. The main idea is to use a computer to prove that a theorem is correct. The first theorem to be proved by computer was the four color theorem.

User Avatar

Wiki User

11y ago

What else can I help you with?

Related Questions

What did Andrew wiles do?

He proved Fermat's last "theorem" which had been an open question for centuries and was one of the most famous open problems in all of mathematics.


Why is the rule of pythagorean triad so famous?

The Pythagorean Theorem is famous because it has made almost all upper level math possible, opening up new fields in science. Sine Cosine and Tangent are based on this theorem, and, thereby, all parts of mathematics related directly or indirectly to trigonometry.


What did thales do to become famous?

With his Geomentry Famous Thales Theorem


What greek mathmatician proved the famous theorem on right triangles?

Pythagoras. The theorem is named for him.


What Pythagoras' famous theorem involve?

triangles


How did Pythagoras became famous?

Pythagoras became famous by the discovery of Pythagorean theorem


What was joseph-louis lagrange famous for?

He was famous for mathematics. He was teaching himself mathematics by the age of nine and by the age of nineteen he was a famous mathematician


What significance does Fermat's Last Theorem margin note hold in the realm of mathematics and its eventual proof?

Fermat's Last Theorem is a famous mathematical problem that puzzled mathematicians for centuries. The significance of its eventual proof lies in the fact that it demonstrated the power of mathematical reasoning and problem-solving. The proof of Fermat's Last Theorem also opened up new avenues for research in number theory and algebraic geometry.


What occupations did Pythagoras have?

Pythagoras was primarily known as a mathematician and philosopher, famous for his contributions to mathematics, particularly the Pythagorean theorem. He was also a religious leader and founded a philosophical school in Croton, where he taught his beliefs about mathematics, ethics, and the cosmos. Additionally, Pythagoras engaged in music theory, linking numerical relationships to musical harmony. His influence extended beyond mathematics into the realms of spirituality and ethical philosophy.


What did Pythagoras do to make him a famous mathematician?

He was the discoverer of the Pythagoras' Theorem.


What was Pythagorus famous for?

Pythagoras was famous fordiscovering the Pythagoras Theorem in 530 BC. He is also famous for founding the Pythagorean School in Croton, Italy where he himself taught mathematics, astronomy, philosophy, and many other subjects. His society spread throughout the ancient world, influencing all later philosophers and mathematicians, including Plato and Aristotle.


What is Kelly Miller famous for in mathematics?

he is famous for teaching math