English Pentium FDIV bug Cited by user 93.72.49.123 on 06 May 2023 The Pentium FDIV bug is a hardware bug affecting the floating-point unit (FPU) of the early Intel Pentium processors.
English Alessio Lomuscio Cited by user Agrandir on 12 Mar 2023 Alessio Lomuscio is a professor of Safe Artificial Intelligence at the Department of Computing at Imperial College London.
English Satisfiability modulo theories Cited by user RDBrown on 11 Oct 2022 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.
Ukrainian Ермітова нормальна форма Cited by user Lxlalexlxl on 25 Mar 2021 Ермітова нормальна форма — це аналог ступінчастого вигляду матриці для матриць над кільцем