| Id | Name | Description |
|---|---|---|
| FORM-01 | Pythagorean theorem |
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides. |
| FORM-02 | Euclidean Geometry |
Euclidean geometry is a mathematical system attributed to Euclid, which includes notions of plane geometry, proportion, and number theory. |
| FORM-03 | Archimedean Solids |
Archimedean solids are convex polyhedra with identical vertices, meaning that each vertex is surrounded by the same combination of faces. |
| FORM-04 | Ada Lovelace's Notes |
Ada Lovelace is known for her notes on Charles Babbage's Analytical Engine, where she described an algorithm to be processed by the machine, making her the world's first computer programmer. |
| FORM-05 | Fermat's Last Theorem |
Andrew Wiles is best known for proving Fermat's Last Theorem, a statement in number theory that had been an unsolved problem for over 350 years. |
| FORM-06 | Cartwright's Theorem |
Mary Cartwright is known for Cartwright's Theorem, which provides conditions for the existence of solutions to certain differential equations. |
| FORM-07 | Von Neumann Architecture |
John von Neumann is best known for his work on the Von Neumann architecture, a design concept for stored-program computers that forms the basis of modern computer architecture. |
| FORM-08 | Uhlenbeck Compactness Theorem |
Karen Uhlenbeck is known for the Uhlenbeck Compactness Theorem, a result in geometric analysis and the calculus of variations. |
| FORM-09 | Poincaré Conjecture |
Grigori Perelman is best known for proving the Poincaré conjecture, a famous problem in the field of topology. |
| FORM-10 | Mirzakhani's Work on Moduli Spaces |
Maryam Mirzakhani is known for her work on the dynamics and geometry of moduli spaces, which earned her the Fields Medal in 2014. |
| FORM-11 | Green-Tao Theorem |
Terence Tao, along with Ben Green, is known for the Green-Tao Theorem, which establishes the existence of arithmetic progressions in the primes. |
| FORM-12 | Fisher's exact test |
A statistical significance test used in the analysis of contingency tables. |