авторское изложение, не текст акта

authored_exposition

• aba.dtt_protocolПротокол дискретных проб DTT — авторское методологическое изложение
• aba.equivalence_instructionОбучение на основе эквивалентности стимулов и matrix training — авторское методологическое изложение
• aba.fct_thinningОбучение функциональной коммуникации и разрежение расписания FCT — авторское методологическое изложение
• aba.functional_analysisФункциональный анализ поведения FA: полный и краткий анализ — авторское методологическое изложение
• aba.ncrНеконтингентное подкрепление NCR — авторское методологическое изложение
• aba.pecsПоследовательность этапов PECS как автомат: авторское методологическое изложение
• aba.program_evidenceДоказательность программы обучения: качество данных, покрытие целей и временная динамика — авторское методологическое изложение
• aba.repertoireРепертуар карточек и навыков обучающегося: авторское методологическое изложение
• aba.setting_eventsУстановочные события и правила дня — авторское методологическое изложение
• aba.skill_vocabularyСловарь навыков и записей обучающей программы: авторское методологическое изложение
• algo.arithmeticШкольная арифметика: сложение, вычитание, умножение и деление столбиком, дроби и перевод между системами счисления — описания двенадцати алгоритмов
• algo.automataАвтоматы и формальные языки: снятие ε-переходов, детерминизация подмножествами, минимизация Хопкрофта, построение Томпсона и устранение состояний — описания пяти алгоритмов
• algo.compressionСжатие и кодирование: RLE, Хаффман, LZ77, LZW, кодирование и исправление одиночной ошибки кодом Хэмминга (7,4) — описания шести алгоритмов
• algo.descriptionСловарь описания алгоритма: задача, шаги, переходы, основания, завершение, стоимость, варианты, понятия и источники
• algo.dynamic_programmingДинамическое программирование: рюкзак 0/1, наибольшая общая подпоследовательность, расстояние Левенштейна и порядок перемножения цепочки матриц — описания четырёх алгоритмов
• algo.geometryВычислительная геометрия: пересечение отрезков, точка в многоугольнике методом луча, выпуклая оболочка Грэхема и Эндрю — описания четырёх алгоритмов
• algo.graph_pathsПути и сети: Дейкстра, Беллман — Форд, Флойд — Уоршелл, A*, остовные деревья Прима и Краскала, потоки Эдмондса — Карпа и Диница — описания восьми алгоритмов
• algo.graph_traversalОбходы и структура графа: BFS, DFS, компоненты связности, топологическая сортировка методом Кана и через DFS, сильно связные компоненты Косарайю и Тарьяна — описания семи алгоритмов
• algo.linear_algebraЛинейная алгебра: исключение Гаусса, метод Гаусса — Жордана, LU с выбором ведущего элемента, QR отражениями Хаусхолдера и обычное умножение матриц — описания пяти алгоритмов
• algo.number_theoryТеория чисел: алгоритм Евклида и расширенный, решето Эратосфена, быстрое возведение в степень и его модульный вариант — описания пяти алгоритмов
• algo.numericalЧисленные методы: деление отрезка пополам, метод Ньютона, составные трапеции и Симпсон, явный метод Эйлера и классический метод Рунге — Кутты — описания шести методов
• algo.polynomialsМногочлены: схема Горнера, деление с остатком, наибольший общий делитель, расширенный алгоритм Евклида, обычное умножение и метод Карацубы — описания шести алгоритмов
• algo.searchПоиск в последовательности: линейный, двоичный, интерполяционный и две границы диапазона равных элементов — описания пяти алгоритмов
• algo.sortingСортировки: вставками, выбором, слиянием, быстрая, пирамидальная, подсчётом и поразрядная — описания семи алгоритмов
• algo.stringsСтроковые алгоритмы: наивный поиск, Кнут — Моррис — Пратт, Z-функция, Рабин — Карп и Ахо — Корасик — описания пяти алгоритмов
• algo.treesОперации над деревьями: двоичное дерево поиска, повороты и баланс AVL, B-дерево и дерево отрезков — описания одиннадцати операций
• arxo.fibo_taxonomyЗамыкание таксономии FIBO: подклассы, области и значения свойств
• arxo.integer_divisibilityЦелочисленное прочтение делимости: остаток по модулю выводит divides контракта
• arxo.jurisdiction_alignmentСопоставления Wikidata и словарей юрисдикции: валюта, регион, страна, суд
• arxo.metamath_dependenciesЗависимости доказательств Metamath: depends_on транзитивно и uses_axiom
• arxo.order_compositionСовместная поддержка цепочки порядка правилами Lean и Isabelle
• arxo.physics_alignmentСопоставления Wikidata и QUDT: проверенный перенос размерности
• arxo.quantity_orderПоказания в разных единицах: совместный вывод Wikidata, QUDT, Lean и Isabelle
• baker_gill_solovay.relativization_1975Baker, Gill, Solovay (1975): relativization barrier — oracles A, B with P^A=NP^A and P^B!=NP^B, a limit on the class of relativizing proof methods
• bio.aboABO/Rh и X-сцепленная гемофилия: авторское учебное изложение
• cardio.compare_kzСопоставление российской клинической рекомендации и казахстанского клинического протокола по артериальной гипертензии на общих входных данных: где ответы расходятся и каким фрагментом каждого источника
• cardio.planФасад cardio.*: сохранённые вопросы над рекомендацией по фибрилляции предсердий и инструкцией апиксабана; расхождение источников — вопрос врачу, а не гашение одного источника другим
• chem.rulesПравила общей химии с исключениями — поражаемый слой на учебной доктрине
• chem.zadachnikЗадачник по стехиометрии: единица ответа называется, округление — только по предъявленному правилу, ответ границами когда точного десятичного нет
• ckn.partial_regularity_1982Caffarelli-Kohn-Nirenberg (1982): partial regularity -- the singular set of a suitable weak solution has parabolic 1-dimensional Hausdorff measure zero, not full smoothness
• custom.warlpiri.kinshipLaughren M. Warlpiri kinship structure // Languages of Kinship in Aboriginal Australia. 1982
• elec.acceptance_protocolПротокол приёмки электроустановки: измерения и акт READY/BLOCKED
• elec.installationsЭлектроустановки: нейтральная прикладная онтология
• faraid.sharesФараид — наследственный расчёт исламского права
• fatf.recommendationsInternational Standards on Combating Money Laundering and the Financing of Terrorism & Proliferation: The FATF Recommendations
• fibo.contractsFIBO и OMG Commons: закреплённые тройки договоров, соглашений и правоспособности
• fiqh.nikahНиках и талак — заключение брака и его прекращение в исламском праве
• fiqh.salatآيات الصلاة
• fiqh.sawmآيات الصيام
• fiqh.taqlidТаклид: ответ права для лица, следующего мазхабу
• fiqh.wasiyyaВасыйя — завещательный отказ и распределение наследственной массы
• fiqh.zakatЗакят — обязательное отчисление с имущества в исламском праве
• gradus.counterpointКонтрапункт строгого письма по Фуксу (Gradus ad Parnassum, 1725) — пять видов, обязанности статей 4-6 и 10 позициями §123, ось стиля прочтениями §152
• grc.euclid.hilbert_bridgeМост Евклид—Гильберт: постулаты книги I и плоские аксиомы I 1—2, III на одном конечном чертеже
• gross_zagier.heegner_points_1986Gross-Zagier (1986): Heegner points -- analytic rank 1, modularity, and a satisfied Heegner hypothesis together give an infinite-order rational point
• hamilton.ricci_flow_programДоктрина: Hamilton (1982), Ricci flow program -- Three-manifolds with positive Ricci curvature, JDG vol. 17:255-306 -- установлен ТОЛЬКО случай положительной кривизны Риччи, основание метода, не завершает доказательство гипотезы Пуанкаре
• incoterms.group_cТорговые термины группы C (CPT, CIP, CFR, CIF), редакция 2020 года
• isabelle.orderПравила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление
• isabelle.order.permissionsРазрешения условного импорта правил порядка Isabelle
• kolyvagin.euler_systems_1988Kolyvagin (1988): Euler systems -- algebraic rank equals analytic rank and Sha(E) finite, for analytic rank 0 or 1 on a modular curve; rank 2 is outside the method
• kz.corpus.tuystyqТуыстық жүйе — казахская система родства
• ladyzhenskaya.two_dimensional_1969Ladyzhenskaya (1969): global smoothness and uniqueness of Navier-Stokes in dimension 2 -- does NOT close the n=3 CMI problem
• leray.weak_solutions_1934Leray (1934): global-in-time weak solution of Navier-Stokes on R^3 for any divergence-free finite-energy initial data -- weak, not smooth
• logic.comparisonsСопоставления систем: общий фрагмент, различие принципов и правил, условие переноса метода, отношение ограничения, двойной отрицательный перевод
• logic.coreОбщий словарь логических понятий: система, язык, исчисление, правило, метод, шаг, условие, обоснование
• logic.deonticСтандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
• logic.temporalThe Open Logic Text
• logic.zebraЗебра-паззл — авторское изложение пятнадцати посылок и двух вопросов
• materials.lookupСвязующий слой: свойства марки материала NIST для вычислителей calc.material_*
• mathlib.divisibilityПравила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации
• mathlib.divisibility.permissionsРазрешения условного импорта правил делимости mathlib
• mathlib.orderПравила порядка mathlib: транзитивность, ослабление и иерархия структур при явной интерпретации
• mathlib.order.permissionsРазрешения условного импорта правил порядка mathlib
• mathlib.zetaMathlib.NumberTheory.LSeries.RiemannZeta
• metamath.set_mm_coreMetamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения
• modularity.bcdt_taylor_wiles_2001Wiles (1995) + Taylor-Wiles (1995) + Breuil-Conrad-Diamond-Taylor (2001): every elliptic curve over Q is modular
• myco.opredelitelОпределитель грибов — система вывода с презумпцией несъедобности
• myco.primetyНародные приметы о съедобности грибов — пакет свидетельств
• osterwalder_schrader.reconstruction_1973Quantum Yang-Mills Theory, sections 3/6.1/6.2 (Osterwalder-Schrader reconstruction)
• perelman.entropy_2002Доктрина: Perelman (2002), The entropy formula for the Ricci flow and its geometric applications, arXiv -- entropy-функционал и локальный no-collapsing, установлен ТОЛЬКО как аналитический инструмент
• perelman.finite_extinction_2003Доктрина: Perelman (2003), Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, arXiv -- специфическое, короткое основание именно гипотезы Пуанкаре, одно из четырёх требуемых оснований
• perelman.surgery_2003Доктрина: Perelman (2003), Ricci flow with surgery on three-manifolds, arXiv -- классификация особенностей и процедура хирургии, установлена ТОЛЬКО как эта процедура
• phys.classical_etherПростая модель неподвижного светоносного эфира: авторская реконструкция — семь названных допущений, абсолютное время без замедления, длина без сокращения, галилеево сложение скоростей, скорость света относительно среды и ожидаемый сдвиг полос интерферометра точной дробью
• phys.relativity_comparisonsСопоставление трёх моделей движения света и тел: восемь объявленных вопросов, три раздельных вывода (предпосылки, предсказания, согласие с наблюдением), полнота по покрытию вопросов без требования расхождения, запрет на вывод универсальной эквивалентности из совпадения на одной постановке
• phys.relativity_coreПротокол сравнения физических моделей движения света и тел: теория и её редакция, четыре отношения к принципу, операционная постановка против модельной посылки, обнаружение смешения моделей, предсказание точной дробью и величиной, три ответа о согласии с наблюдением
• phys.zadachnikШкольный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул
• psy.planФасад psy.*: сохранённые вопросы screen/band/is_urgent/sleep_window над семьёй скрининга
• qudt.physicsQUDT: записи единиц, размерностей и исходных ссылок
• razborov_rudich.natural_proofs_1994Razborov, Rudich (1994/1997): natural proofs — constructivity and largeness together, conditional barrier under a pseudorandom generator assumption, plus an unconditional discrete-log-specific result
• rocq.orderПравила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
• serrin.regularity_criterion_1962Serrin (1962): Prodi-Serrin regularity criterion -- a weak solution in L^p_t L^q_x with 2/p+3/q<=1, q>3 is smooth; not established when the exponent condition fails
• tunnell.congruent_numbers_1983Tunnell (1983): congruent-number criterion -- unconditional necessary direction (congruent => counts equal) separated from the conditional sufficient direction (counts equal => congruent, under weak BSD)
• usus.corpus.ocheredAllon G., Hanany E. Cutting in Line: Social Norms in Queues // Management Science. 2012. Vol. 58, No. 3. P. 493-506
• wightman.axioms_1956Quantum Yang-Mills Theory, section 3 (Quantum Fields)
• wikidata.jurisdictionsWikidata: закреплённые записи юрисдикций, валют, регионов и судов
• wikidata.physicsWikidata: закреплённые записи единиц и физических величин
• wilson.lattice_1974Quantum Yang-Mills Theory, section 6.5 (Yang-Mills Theory: Wilson's lattice approach)