The prolific mathematician Paul Erd?s and his various collaborators made many famous mathematical conjectures, over a wide field of subjects, and in many cases Erd?s offered monetary rewards for sol ...
Atiyah conjecture (not a conjecture to start with)Borsuk's conjectureChinese hypothesis (not a conjecture to start with)Euler's sum of powers conjectureGanea conjectureGeneralized Smith conjectureHaup ...
The theorems may not be their official names.Adams conjecture (J-homomorphism)Andrews–Curtis conjectureBieberbach conjecture, 1916 (De Branges' theorem, 1984)Blattner's conjecture (Blattner formula)B ...
Von Neumann-Bernays-G?del axiomsContinuum hypothesis and its generalizationFreiling's axiom of symmetryAxiom of determinacyAxiom of projective determinacyMartin's axiomAxiom of constructibilityRank-i ...
With the Zermelo–Fraenkel axioms above, this makes up the system ZFC in which most mathematics is potentially formalisable.Equivalents of ACHausdorff maximality theoremWell-ordering principleZorn's l ...
These are the de facto standard axioms for contemporary mathematics or set theory. They can be easily adapted to analogous theories, such as mereology.Axiom of extensionalityAxiom of empty setAxiom of ...
This is a list of axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self-evidence. Individual axioms are alm ...
Further information: Software engineeringCache algorithmsCHS conversion: converting between disk addressing systemsDouble dabble: Convert binary numbers to BCDHash Function: convert a large, possibly ...
Main articles: Information theory and Signal processingCoding theoryFurther information: Coding theoryError detection and correctionFurther information: Error detection and correctionBCH CodesBerlekam ...
Further information: Computer scienceComputer architectureFurther information: Computer architectureTomasulo algorithm: allows sequential instructions that would normally be stalled due to certain dep ...
Further information: Computational scienceAstronomyMain article: Astronomical algorithmsDoomsday algorithm: day of the weekZeller's congruence is an algorithm to calculate the day of the week for any ...
Further information: Computational mathematicsSee also: Combinatorial algorithms and Computational scienceAbstract algebraFurther information: Abstract AlgebraChien search: a recursive algorithm for d ...
