部分語における2乗および立方体のためのクルミによる機械的証明【JST・京大機械翻訳】

Machacek John

プレプリント

J-GLOBAL ID：202202200489808335 整理番号：22P0275114

部分語における2乗および立方体のためのクルミによる機械的証明【JST・京大機械翻訳】

Mechanical proving with Walnut for squares and cubes in partial words

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年01月15日プレプリントサーバーでの情報更新日： 2022年08月09日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

クルミは,自動シーケンスに関する単語に関する組合せにおける定理を証明できるソフトウェアである。このソフトウェアを,新しい結果を証明し,また,部分単語における正方形と立方体を回避するための古い結果を改善することができた。また,部分単語における反二乗の概念を定義し,明確な正方形と反二乗の固定数のみを含む二値部分単語の研究を開始した。【JST・京大機械翻訳】

, ,

自然語処理 , パターン認識

, ,

前のページに戻る