Структура репозитория

Пока идут поиски консенсуса по архитектуре и активные эксперименты, каждый может хозяйничать в индивидуальном каталоге:

 home/Dollar123
 home/Lyudvin
 home/Mxd
 home/SShary
 home/dima
 home/egor
 home/nvpanov
 home/szhilin

Как только обсуждение индивидуальных вариантов выводит нас на более или менее определенный жизнеспособный (по общему мнению) путь, создаем какой-то централизованный раздел(ы).

Обзор каталогов

В текущий момент в каталогах участников проекта можно найти:

• Текущая версия Java-библиотек JInterval

 home/egor/JInterval_all_include

• Тезисы доклада про JInterval

 home/egor/papers 

• Эксперименты со Scala-оболочкой библиотеки

 dima/JIntervalScala 

• Решатель Максима Данилова

 home/Mxd/ILS_Solver

• Эксперименты с новой версия базового типа

 dima/number2

• Набросок реализации апостериорного анализа Ю.В.Матиясевича и его сравнение с пакетом smartfloat Евы Даруловой

 dima/AposterioryIntervals
 dima/smartfloat
 dima/smartfloat_native

• Изучение сисемы проверки доказательств Coq и пакета gappa

 dima/Constants
 dima/gappa

Состав текущей версии JInterval

Опишем подробнее , какие пакеты находятся в проекте /home/egor/JInterval_all_include.

• Общие пакеты

 com.kenai.jinterval        Java-интерфейсы, обеспечивающие единообразие представлений
 com.kenai.jinterval.number Базовый тип
 com.kenai.jinterval.util   Утилиты, не зависящие от представления

• Разработанные нами представления интервалов

 com.kenai.jinterval.rational_bounds
 com.kenai.jinterval.fast_nearest_round

• Представления интервалов, разработанные другими, но адаптированные под интерфейс ClassicRealInterval

 com.kenai.jinterval.electric
 com.kenai.jinterval.ia_math
 com.kenai.jinterval.nbsp

• Заготовки для второго уровня функциональности - элементарные функции

 com.kenai.jinterval.stdfun

• Заготовки для третьего уровня функциональности - вектора и матрицы

 com.kenai.jinterval.matrix

• Примеры четвертого уровня функциональности - оптимизация и верификация решения ОДУ

 com.kenai.jinterval.algorithm
 com.kenai.jinterval.ode

• Измерение быстродействия

 com.kenai.jinterval.benchmarks