Пехотин Евгений Владимирович

Ссылки

Официальная документация

1. IEEE 754-1985 Standard for Floating-Point Arithmetic
   Институт инженеров по электротехнике и радиоэлектронике
   Официальный всемирно-используемый стандарт (первая редакция 1985 года) на числа с плавающей точкой, описывающий форматы хранения и методы работы с рациональными числами одинарной и двойной точности. Заменен в 2008 году на IEEE 754-2008.
2. IEEE Standards Interpretation for IEEE Std 754-1985
   Институт инженеров по электротехнике и радиоэлектронике
   Документ является интерпретацией IEEE 754-1985, проясняющей некоторые его особенности (однако, никак его не изменяющей).
3. IEEE 854-1987 Standard for Radix-Independent Floating-Point Arithmetic
   Институт инженеров по электротехнике и радиоэлектронике
   Стандарт на базисонезависимую аривметику чисел с плавающей точкой, описывающий арифметику рациональных чисел с основаниями 2 и 10, включая описание двух альтернативных форматов для десятичной с.с. Не стандартизирует ни один формат. Замещен в 2008 году IEEE 754-2008.
4. IEEE 754-2008 Standard for Floating-Point Arithmetic
   Институт инженеров по электротехнике и радиоэлектронике
   Официальный всемирно-используемый стандарт (редакция 2008 года) на числа с плавающей точкой, описывающий форматы хранения и методы работы с рациональными числами одинарной и двойной точности. Данный стандарт является заменой для двух предыдущих.
5. DRAFT Standard for Floating-Point Arithmetic 1.2.9
   Институт инженеров по электротехнике и радиоэлектронике
   Стандарт определяет обменные и необменные форматы, и методы двоичной и десятичной арифметики чисел с плавающей точкой в компьютерных средах программирования. Является черновиком новой версии IEEE-754.
6. JTC1/SC22/WG14 – Programming Language C
   ISO / IEC
   Стандарт языка программирования высокого уровня C, включающий в себя описание реализации чисел с плавающей точкой в этом языке.
7. JTC1/SC22/WG21 – Programming Language C++
   ISO / IEC
   Стандарт языка программирования высокого уровня C++, включающий в себя описание реализации чисел с плавающей точкой в этом языке.

Сайты

8. Институт инженеров по электротехнике и радиоэлектронике (IEEE, Institute of Electrical and Electronics Engineers)
   Сайт Института инженеров по электротехнике и радиоэлектронике - международной некоммерческой ассоциации специалистов в области техники, мировой лидер в области разработки стандартов по радиоэлектронике и электротехнике.
9. IEEE-754 Reference Material
   Этот минисайт содержит полезные инструменты, касающиеся IEEE-754.
10. General Decimal Arithmetic
    Сайт посвящен вопросам представления и использования десятичных чисел с плавающей точкой (десятичной арифметике с плавающей точкой).
11. validlab
    Сайт посвящен технической информации касательно системных вычислений, ихкорректности и производительности, и, в частности, стандарту IEEE-754
12. Interval Computations
    Сайт, посвященый интервальным исчислениям, фактически является порталом документации по интервальной арифметике.
13. wasm.ru > Статьи > Процессоры
    Сайт wasm.ru посвящен программирования на ассеблере под различные ОС (в основном Windows), системному программированию и многому другому
14. Russian Software Developer Network
    Сайт Сети Разработчиков Русского Программного Обеспечения на языках высокого уровня. Также содержит раздел статей теоретического программирования.
15. XPoint.ru
    Извесный рунетовский форум «Точка X», посвященный различным вопросам программирования.

Статьи

16. Kahan W. Why do we need a floating-point arithmetic standard?
    В статье, написанной в 1981 году, рассматривается и аргументируется необходимость создания единого стандарта для чисел с плавающей точкой.
17. Dawson B. Comparing floating point numbers
    В статье рассматриваются правила сравнения чисел, представленных в формате с плавающей точкой.
18. Goldberg D. What Every Computer Scientist Should Know About Floating-Point
    В статье в компактном виде представлены все необходимые знания относительно чисел с плавающей точкой.
19. Priest D. Differences Among IEEE 754 Implementations
    В статье рассказывается об отличиях релизаций формата IEEE-754.
20. IEEE Arithmetic
    В статье описывается модель арифметики, оределенной стандартом IEEE-754.
21. Intel Corp. Intel and Floating-Point
    Статья посвящена отношения корпорации Intel и чисел с плавающей точкой.
22. Survey of Floating-Point Formats
    Статья кратко описывает все когда-либо использовавшиеся форматы чисел с плавающей точкой.
23. Floating Point
    Конспект лекций на английском на тему чисел с плавающей точкой.
24. The pitfalls of verifying floating-point computations
    В статье рассматриваются подводные камни верификации инженерных расчетов, использующих числа с плавающей точкой.
25. Яшкардин В. IEEE 754 - стандарт двоичной арифметики с плавающей точкой
    Статья является вольным изложением стандарта IEEE-754, в особенности той его части, где идет речь о представлении чисел с плавающей точкой.
26. Hayes B. A Lucid Interval
    Статья по интервальным исчислениям, рекомендуемая в качестве вводной статьи для желающих ознакомится с данной областью.
27. Добронец Б. С. Интервальная математика
    Данная статья является пособием по интервальной математике. В нем рассмотрены вычислительные аспекты получения гарантированных оценок погрешности приближенных решений. собое внимание уделено сочетанию интервальной математики и апостериорных оценок.
28. Шарый С. П. Конечномерный интервальный анализ
    Монография по интервальным алгебраическим задачам и их численному решению, отражающая как классические результаты в этой области, так и плоды новейших исследований.
29. Шокин Ю. И. Интервальный анализ
    Книга систематически освещает основы и методы интервального анализа. Рассмотрен ряд интервально-аналитических методов решения дифференциальных уравнений.
30. Edmond / HI-TECH. FPU посвящается (часть 1)
    Первая часть статьи об основах FPU и чисел с плавающей точкой для программистов-ассемблерщиков.
31. Edmond / HI-TECH. FPU посвящается (часть 2)
    Вторая часть статьи об основах FPU и чисел с плавающей точкой для программистов-ассемблерщиков.
32. Холодилов С. Плавающая запятая
    Статья, опубликованная в RSDN Magazine #4-2007, включает в себя общее описание чисел с плавающей точкой, методов работы с ними, а также формата IEEE-754.
33. Представление рациональных чисел
    Лекция по числам с плавающей точкой по курсу «Теория операционых систем».
34. Числа с плавающей запятой и их особенности
    Статья на XPoint.ru, особенности чисел с плавающей запятой, отличающие их от обычных целых чисел.

Разработки

35. C-XSC A C++ Class Library for Extended Scientific Computing
36. NTL NTL: A Library for doing Number Theory
37. MPFR The Multi-Precision Floating-point with Rounding library
38. IEEE Calculators Online IEEE 754 binary calculators
39. IEEE-754 Conversion Applet Апплет преобразования чисел с фиксированной точкой в числа с плавающей точкой

Википедия

40. IEEE 754-1985 Описание стандарта IEEE 754-1985 [en]
41. IEEE 754-2008 Описание стандарта IEEE 754-2008 [ru]
42. Real numbers Описание действительных чисел [en]
43. Rational numbers Описание рациональных чисел [en]
44. Primitive data type Примитивные типы данных в языках программирования [en]
45. IBM Floating Point Architecture IBM'овская архитектура чисел с плавающей точкой [en]
46. Minifloat Формат чисел с плавающей точкой minifloat [en]
47. Single precision floating-point format Формат чисел с плавающей точкой одинарной точности [en]
48. Double precision floating-point format Формат чисел с плавающей точкой двойной точности [en]
49. Quadruple precision floating-point format Формат чисел с плавающей точкой четвереной точности [en]
50. Интервальные вычисления Статья по интервальным вычислениям [ru]
51. Числа с плавающей точкой Общее описание чисел с плавающей точкой [ru]