「math.CT」カテゴリーアーカイブ

Algebraic and Geometric Models for Space Networking

投稿日: 2023年4月4日 作成者: jarxiv

要約 タイトル：宇宙ネットワークの代数的および幾何学的モデル 要約： &#821 … 続きを読む →

カテゴリー: 16Y60 (Secondary), 55N31, cs.LG, cs.NI, math.AT, math.CT | Algebraic and Geometric Models for Space Networking はコメントを受け付けていません

A Formalization of Operads in Coq

投稿日: 2023年3月17日 作成者: jarxiv

要約 プログラミング言語内での実行の正確性について最高レベルの保証を提供するもの … 続きを読む →

カテゴリー: cs.CL, cs.PL, math.CT | A Formalization of Operads in Coq はコメントを受け付けていません

An algebraic approach to translating Japanese

投稿日: 2023年3月13日 作成者: jarxiv

要約 Lambek の pregroups と言語の構成分布モデルのフレームワー … 続きを読む →

カテゴリー: cs.CL, math.CT | An algebraic approach to translating Japanese はコメントを受け付けていません