Участник:Bezik/План
Перейти к навигации
Перейти к поиску
Музыка
[править | править код]К созданию
[править | править код]- Korg
Сделано - Alesis Сделано
- Numark
- Музыкальная рабочая станция Сделано
- Korg M3
- Korg Karma
- Korg Oasys
- Korg Kronos
- Synclavier (или Синклавир?)
- Арпеджиатор Сделано
- Атака (акустика)
- Стилофон
- Вариофон
- Клавинет
- Пианет
Технологии
[править | править код]Переделать полностью
[править | править код]- Oracle будем считать, что Сделано (можно обновить [1])
- Шаблон:Oracle Сделано
- ERP — Сделано
- Биллинг — Сделано
- en:Billing — Сделано
- ECM
- СЭД
- Sybase — Сделано
- Amdocs
- Industrial and Financial Systems
- QAD и его дети MFG/PRO, QAD Enterprise Applications, QAD CRM — переписать и
Объединить Сделано - Связующее программное обеспечение Сделано
- Облачные вычисления almost Сделано (с участием Хазрет Сапенов)
- NoSQL
К доработке
[править | править код]- IBM
- Software AG
- Alfresco (ECM-система) — Сделано
- Sage Group — в основном улучшено
- SAS Institute
- Alfresco (ECM-система) — Сделано
- Citrix — Сделано
- VMware — Сделано
- EMC
К созданию
[править | править код]- Veritas — Сделано
- Appirio
- Aprimo
- Intacct
- Platform Computing
- Tuxedo
- Coherence (Tangosol)
Salesforce.com — Сделано, избрана хорошей- Infor
- PeopleSoft — Сделано и с ними PeopleSoft Enterprise, PeopleTools, PeopleCode не забыты
- Siebel — Сделано
- Hexagon AB (которые купили Intergraph)
- JD Edwards (есть уже JD Edwards EnterpriseOne)
- Workday
- Lawson и en:Lawson Software
- Micro Focus
- Gartner — Сделано
- IDG
- Forrester
- Talend
- Knime
- Business Objects
- Alteryx
- Informatica — almost Сделано
- Autonomy — Сделано
- Essbase — Сделано
- Microstrategy
- Adaptive Server Enterprise — Сделано
- Fusion Applications
- Fusion Middleware
- Exadata — Сделано
- Exalogic — Сделано
- en:Exalogic — Сделано
- Exalytics (almost Сделано) и en:Exalytics
- Oracle Big Data appliance
- Oracle Database appliance
- Pilar Axiom
- Isilon
- Netezza — Сделано
- Oracle Developer Suite и разделами в него залить JDeveloper, Oracle Reports, Oracle Forms, Oracle Discoverer, Oracle Designer, Oracle BI Beans, Oracle Software Configuration Manager
- Eucalyptus (программное обеспечение)
- Eucalyptus Systems
- Terremark
- Zenoss
- Xeround
- GoGrid
- RightScale
- Joyent
- Revolution Analytics — Сделано
- Endeca
- Taleo
- Database.com
- Data.com
- Dun & Bradstreet — Сделано
- Caspio
- MonetDB
- VoltDB
- Массово-параллельная СУБД (там же, наверное, Shared Nothing, Shared Storage, Shared Something, Shared Everything)
- Xeround
- Aerospike[англ.]
- FIO
- Совет по обработке транзакций и TPC-A, TPC-B, TPC-C, TPC-H, TPC-E, TPC-HS, TPC-DI, TPC-V
- Озеро данных
- Свод данных (data vault?)
- Якорное моделирование
- Измерение (базы данных)
- Факт (базы данных)
- Мера (базы данных)
- EAV-модель
- Протокол двухфазной фиксации транзакций
- Протокол трёхфазной фиксации транзакций
- Сегментирование (базы данных) (который en:Shard (database architecture))
- Столбцовое хранение (колоночное? поколоночное?)
- Семейство столбцов
- Ключ — значение
- Мультимодельная СУБД
- Hadoop — almost Сделано (нет экосистемы)
- λ-архитектура
- κ-архитектура
- Hadapt
- Splice Machine
- Pivotal
- Palantir — Сделано
- Флэш-массив
- Ioke, в идеале — довести и en:Ioke (Programming Language)
- Клу — Сделано
- Большие данные — almost Сделано
- Интернет вещей — Сделано, must be update (Промышленный интернет вещей, Интернет всего?)
- Наука о данных — Сделано, must be updated
- Программно-определяемая сеть — almost Сделано
- Программно-определяемая сеть хранения
- Программно-определяемый дата-центр
- Software-defined compute (??)
- Software-defined memory (??)
- Software-defined everything (??)
- Туманные вычисления
- Интегрированный комплекс (??, vs en:Computer appliance, Программно-аппаратный комплекс
- Журнал упреждающей записи, Журнал изменений, Захват изменений
- Резидентные вычисления
- Микрооперационная система
- Контейнерная виртуализация
- rkt
- Docker — almost Сделано (проверить про libcontainer)
- RancherOS, Rancher, Rancher Labs
- etcd
- consul
- Kubernetes
- CloudFoundry
- OpenShift
- Микросервисная архитектура, микросервис
- Бессерверные вычисления ()
- IaaS
- Объектная сеть хранения (?)
- Storage-class memory + en:Storage-class memory (??)
- Open Compute Project
- Inifera
- Arista
- Архитектура виртуальных интерфейсов (англ. Virtual Interface Architecture)
- Xsigo
- iSER
- iWARP
- RoCE
- NVMf
- Omnipath
- Коммутационная фабрика (Switched fabric[англ.], Fabric computing[англ.])
- Третья платформа
- Кремниевая фотоника
- Gen-Z
- The Machine
- Филлипс, Чарлз
- Зибель, Томас
- Даффилд, Дэвид
- Кимболл, Ральф
- Инмон, Билл
- Бернштейн, Филип
- Биллинг (энергетика и ЖКХ), Коммерческий учёт (энергетика)
Науки
[править | править код]К созданию
[править | править код]- Стоунбрейкер, Майкл — Сделано
- Теорема CAP — almost Сделано
- Бём, Коррадо
- Барендрегт, Хенк — Сделано
- Бьярни Йоунссон (en:Bjarni Jónsson)
- Скулем, Туральф — almost Сделано
- де Брёйн, Николас — Сделано
- Кокан, Тьерри — Сделано
- Жуаяль, Андрэ
- Эводи, Стив
- Годеман, Роже
- Кан, Даниэль
- Дольд, Альбрехт
- Драгалин, Альберт Григорьевич — Сделано
- Оревков, Владимир Павлович
- Минц, Григорий Ефроимович
- Денотационная семантика, Операционная семантика, Аксиоматическая семантика, Функторная семантика
- Доказательный код[англ.]
- Теория схем программ, Смешанные вычисления, Частичные вычисления
- Индуктивное программирование, Индуктивное функциональное программирование, Индуктивное логическое программирование
- Векторное программирование
- Функциональное реактивное программирование
- Логическое программирование в ограничениях
- Datalog
- Непрерывность по Скотту — Сделано
- Топология Александрова (en:Alexandrov topology)
- Мотив (математика) и Теория мотивов
- Общетопологическое: en:Kuratowski closure axioms, en:Closure operator
- Очень-очень общее:
- Двойственность — здесь пока {{disambig}}, но возможен и общий материал
- Математическая гипотеза ({{disambig}} — done, Математическая гипотеза (физика) — Сделано)
- Математическое доказательство — in progress
- Бесконечность — Сделано
- Многообразие (значения) — чтобы народ не путался, Сделано
- Математическая абстракция (МЭ)
- Абстракция отождествления (МЭ)
- Основания математики — {{falseredirect}}
- Анализ (раздел математики) — almost Сделано
- Универсальная алгебра — almost Сделано
- Многообразие (универсальная алгебра)
- Квазимногообразие — almost Сделано
- Предмногообразие
- Свободная алгебра
- Полиадическая алгебра
- Цилиндрическая алгебра
- Факторалгебра и Факторсистема — Сделано
- Подалгебра и Подсистема
- Теорема Биркгофа
- Мультиоператорная группа, Мультиоператорная алгебра — Сделано
- Клон (алгебра)
- Универсум Эрбрана
- Глоссарий универсальной алгебры
- Глоссарий общей алгебры
- Теория порядков — {{falseredirect}}
- Теория областей
- Соответствие Галуа (not perfect, but something already Сделано)
- Глоссарий теории категорий
- Катаморфизм
- Анаморфзим
- Апоморфизм
- Параморфизм
- Анаморфизм
- Хиломорфзим
- Этальная топология
- Топос Гротендика
- Топологическая категория
- Модельная категория
- Теория высших категорий (2-категория, ∞-группоид, (∞,1)-категория, …) — in doubts (Участник:Bezik/Playground/Теория высших категорий)
- Гомотопическая гипотеза
- Бикатегория
- Нерв категории
- Коса (математика)
- Симплициальный объект
- Симплициальная категория — Сделано
- Симплициальное множество — in progress
- Симплициальная группа
- Расширение Кана
- Соответствие Дольда — Кана
- Симплициальная категория —
- Гомотопическая теория типов — Сделано (есть смысл отделить унивалентные основания математики
- Дескриптивная теория множеств (пока {{falseredirect}}):
- Теория гомологии
- K-теория
- Математическая предметная классификация ( Сделано in cooperation with МетаСкептик12)
К лечению
[править | править код]- Тезис Чёрча — Тьюринга — подлечено, нужно улучшать
- Тезис Чёрча — Тьюринга — Дойча — подлечено, нужно улучшать
- Глоссарий общей топологии — Сделано
- Глоссарий теории групп — Сделано
- Полиадическая группа
- Коммутант — Сделано
- Коммутант —
- Абстрактная алгебра (>> Общая алгебра) almost Сделано
- Теоремы об изоморфизме (универсализация)
- Теория топосов
- Теория типов
- Алгебраическая система
- Алгебра (универсальная алгебра)
- Линейная алгебра — almost Сделано
- Теория множеств — Сделано
Meta
[править | править код]- {{ISIC}} и реформа категоризации по отраслям — в процессе
- Википедия:БИЗ — Сделано
- Википедия:Списки-2 — в процессе
- Проект:Математика/Списки/Математическая предметная классификация — Сделано