Math-Ct
형식 플레소리와 불안정 코호몰로지 연산의 선형 근사
분산 시스템 측정의 정보이론적 구조와 퀘일
등식 논리의 수학적 합성 방법론
호모톱 카테고리와 가중 구조의 완전성 및 가중 복합 함수
그레이드된 노테리안 링의 파생 범주와 동형 스펙트럼 대응
결함을 품은 장(field) 이론과 중심 함자의 새로운 접근
대수적 정확성의 새로운 특징화
Hilbert 큐브와 Hilbert 공간을 위한 연속성 함자 구축
삼각범주에 대한 스칼라 확장
Dickson 부분범주 분할 추측의 의사컴팩트 대수에 대한 증명
P 트리와 다항함수식 모노이달 구조를 통한 루트 트리 호프 대수의 범주화
정보 흐름 프레임워크의 새로운 모듈형 아키텍처
바이알제브라 공리와 돌드칸 대응
초고차 대칭을 품은 초끈의 리 2‑초군 통합
정보 흐름 프레임워크 기반 범주 이론 온톨로지 KIF 형식화
변증법 논리의 표준 측면
동형이론 스팬 다이어그램과 호모토피 이론에서의 교환 모노이드
지역단위가 있는 비가환 링에서의 가역 유니털 바이모듈과 7항 정확열
마틴‑로프 확장형 타입 이론을 위한 크립키 의미론
이중모노이달 범주에서의 중심과 호모토피 중심 이론
다이섹시어 두라드 게라의 무한소 대칭과 코르텐 대수의 새로운 구축
일반화된 고르사 정리와 다중 직적곱 군의 구조 분석