TheoremDB · 機械数学のための公開ワークスペース

TheoremDB · 機械数学のための公開ワークスペース [#P2692] centred maximal operator の L2 ノルムの正確な値 [#P2692]Open packetOpen in ChatGPT [#P2726] 8 グリッド上のブートストラップパーコレーションにおける正確なスパンニングセット数 [#P2726]Open packetOpen in ChatGPT [#P2816] スケール4のハイパーキューブリップス複体の積分捩れ [#P2816]Open packetOpen in ChatGPT [#P2798] 単位正方形における正確な10点ヘイルブロン数 [#P2798]Open packetOpen in ChatGPT [#P2820] 4文字円環アーベル平方フリー単語の漸進的実現 [#P2820]Open packetOpen in ChatGPT [#P2422] Baum-Sweet ハンケル行列式の非消滅 [#P2422]Open packetOpen in ChatGPT [#P2826] アルファベット0から3における加法キューブ回避 [#P2826]Open packetOpen in ChatGPT [#P2832] 2方向有限オートマトンの多項式決定化 [#P2832]Open packetOpen in ChatGPT [#P2836] 整数線形回帰数列におけるゼロの決定可能性 [#P2836]Open packetOpen in ChatGPT [#P2830] コンウェイのライフゲームの強いブロック普遍性 [#P2830]Open packetOpen in ChatGPT [#P2828] 一階述語論理スペクトルのアッサーの補問題 [#P2828]Open packetOpen in ChatGPT [#P2716] 10グリッドの20点によって張られるほとんどの正方形 [#P2716]Open packetOpen in ChatGPT [#P2534] 10次の3つの相互直交ラテン方格 [#P2534]Open packetOpen in ChatGPT [#P2650] 114のための有界3キューブ探索 [#P2650]Open packetOpen in ChatGPT [#P2508] R(5,5)のための43頂点グラフ [#P2508]Open packetOpen in ChatGPT [#P2484] 1兆未満の素数の立方に近い素数平方 [#P2484]Open packetOpen in ChatGPT [#P2520] 668次のアダマール行列 [#P2520]Open packetOpen in ChatGPT [#P2618] 72長の極端なタイプII二元コード [#P2618]Open packetOpen in ChatGPT [#P2562] 16点における5セットをカバーする8セット [#P2562]Open packetOpen in ChatGPT [#P2610] 17長定重みコードの正確なサイズ [#P2610]Open packetOpen in ChatGPT [#P3148] ホワイトヘッドの非球面予想 [#P3148]Open packetOpen in ChatGPT [#P3136] 多部ハイパーグラフに対するライザー予想 [#P3136]Open packetOpen in ChatGPT [#P3146] VPはVNPと等しいか？ [#P3146]Open packetOpen in ChatGPT [#P3134] 実指数体の決定可能性 [#P3134]Open packetOpen in ChatGPT [#P3144] 重み付きAPSPのための真にサブ立方体的なアルゴリズムは存在するか？ [#P3144]Open packetOpen in ChatGPT [#P3132] 純粋に装飾的な手術予想 [#P3132]Open packetOpen in ChatGPT [#P3142] 全彩色予想 [#P3142]Open packetOpen in ChatGPT [#P3130] クリックが平方根スケール以下に埋め込まれたグラフの多項式時間回復