Math-Ct

대수 위상 수학 20 JAN, 2019

카테고리 이론으로 보는 데이터베이스 쿼리와 제약

By David I. Spivak

컴퓨터 논리학 20 JAN, 2015

모노이달 컴퓨터 I 기본 계산 가능성 및 문자열 다이어그램

By Dusko Pavlovic

암호화 및 보안 29 JAN, 2012

중간자 공격을 추적하는 모노이달 범주론

By Dusko Pavlovic

범주론 2 JAN, 2014

패턴 그래프 재작성 시스템

By Aleks Kissinger (University of Oxford)

범주론 29 JAN, 2012

측정 기반 양자 컴퓨팅을 위한 ZX 그래프 접근법

By Ross Duncan

범주론 5 JAN, 2012

모노이달 범주가 연결하는 기하와 대수의 새로운 시각

By Ross Street

컴퓨터 그래픽스/기하 21 JAN, 2013

지속성 모듈의 구조와 안정성

By Frederic Chazal (1)

컴퓨터 논리학 20 JAN, 2019

다항식 다이어그램을 이용한 선형 논리 범주

By Pierre Hyvernat (LAMA)

수학사 및 개요 5 JAN, 2012

범주론과 새로운 공리적 방법

By Andrei Rodin

일반 위상 수학 8 JAN, 2013

지수형 클레이슬리 모노이드와 이멘베르 대수

By Dirk Hofmann

대수 위상 수학 4 JAN, 2016

풍부한 범주의 동형 이론

By Clemens Berger