පෝලිම

මේ හැම දෙයක්ම පාලනය කරන්නන් කරන්නේ එක් පේලියක් හරහා යනවා, මේ එයයි. මෙතන කිසිම දෙයක් අනුකරණය: මේ දැන් කොටුව මත රැකියා වේ.

දැන් ක්‍රියාත්මක වේ

රැදී සිටින්න

0 ms

පෝලිම පිරිසිදු කරන්නto clear the queue

ගණනය කිරීම සඳහා නවතන්න

ක්‍රියාත්මක වෙමින්

අක්‍රීයයි. දැන් ඉදිරිපත් කල කාර්‍යය වහාම ආරම්භ වේ.

රැදීසිටිමින් (0 ප්‍රමුඛතාව, 0 නිදහස්)

කිසිම දෙයක් බලා ඉන්නේ නැහැ.

වේගවත් මාර්ගය, එය නොවේ කුමක්ද

එක් ලෙයින් රැකියාවක් අවස්ථාවක දී ධාවනය (Mathlib මතකය-බඩගිනි වන අතර මෙම කොටුව හවුල් වේ), එබැවින් කිහිප දෙනෙක් එකවර ඉදිරිපත් කරන විට, රේඛාව පවතී.

ණය මුදලක් ලබා ගැනීමේදී මුලින්ම ණය ගෙවීම සිදුකරනු ලබන්නේ ණය ගත් තැනැත්තා විසිනි. ඒ මුළු යාන්ත්රණය; මිලදී ගැනීමට වෙනම නිෂ්පාදනයක් නැත. නිදහස් ධාවනයක් එය විසින් (අතික්‍රමණය කිරීම පමණක්) අවහිර කර නොමැති අතර, එය තදින් හෝ අවලංගු කර නොමැති අතර, එය තවමත් නිදහස් මාර්ගයේ ධාවනය වේ.

එය මේ ආකාරයෙන් වැඩ කරන හේතුව: යන්ත්රය මූල්ය උපකාර කරන ජනතාව කිසිවක් සඳහා වෙනත් සියලු දෙනා ලැබෙන චෙක්පත් සඳහා ගෙවනු ලැබේ. රේඛාව ඉවත් කිරීම මිලදී ගන්නා එකම දෙය වන අතර, එය වෙන කිසිවක් මිලදී ගන්නේ නැත.

රේඛාව මඟහරින්න ණය ලකුණු එක් කරන්න ඔයාගේ ගණනය

ඉවරයි

මෙවලම	ප්‍රතිඵලය	ගත්තා	සඳහා
`python`	කොටස	3.8 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	කොටස	1.3 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	කොටස	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	කොටස	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	කොටස	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	කොටස	135 ms	$\int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}$ , via the CM newform $\eta(3\tau)^8$
`lean`	∎ තහවුරු	9.2 s	අදහස් දක්වන්න
`lean`	∎ තහවුරු	15.9 s	අදහස් දක්වන්න
`python`	කොටස	28 ms	අදහස් දක්වන්න
`lean`	ප්‍රතික්ෂේප විය	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ තහවුරු	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ තහවුරු	8.4 s	A simple proof, hope it works

එක් එක් පරීක්ෂක සාමාන්‍යයෙන් මෙහි ගතවන කාලය

මේ පෙට්ටියේ අවසාන 20 ක් එක එක මෙවලම් වලින් මිනුම් ගත්තා, ගණනය කරල නෑ.

මෙවලම	සාමාන්ය
`lean`	13.7 s
`sage`	15.0 s
`pari`	329 ms
`smt`	22.5 s
`python`	3.2 s
`oeis`	7.5 s
`plot`	15.0 s

පෝලිම

ක්‍රියාත්මක වෙමින්

රැදීසිටිමින් (0 ප්‍රමුඛතාව, 0 නිදහස්)

වේගවත් මාර්ගය, එය නොවේ කුමක්ද

ඉවරයි

එක් එක් පරීක්ෂක සාමාන්‍යයෙන් මෙහි ගතවන කාලය

සංවාදයට එකතු වෙන්න.

අපට ප්රතිචාර යවන්න