外部サービス・ツールの紹介 Wiki - yukicoder

オンライン数列辞典(OEIS) https://oeis.org/?language=japanese 適当な数列を検索すると、その数列の数式を見つけてくれるサービス・必見！ 倍数の証明ジェネレータ http://tma.main.jp/baisuu/ 数学的な問題に帰着できるときに、倍数判定で解けそうで頭のなかでは可能っぽいけど、証明はできない。 そんなときに実際に証明してくれるサービス。 SRM 585 Div2 Middle なんかで使えそう 数学公式集 http://keisan.casio.jp/menu/system/000000000510 数列の和 順列・組合せとか使えるかも Wolfram|Alpha http://www.wolframalpha.com/ 和・微分・積分や方程式・漸化式を解いたり素数の生成をしたり etc. 様々なことに使えます AOJ用Sumbit&