エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

参考文献

詳解 代数入門

詳解 代数入門

代数方程式とガロア理論 (共立叢書 現代数学の潮流)

代数方程式とガロア理論 (共立叢書 現代数学の潮流)

ガロア理論入門

ガロア理論入門

代数学―数と式の現代的理論 (新数学入門シリーズ)

代数学―数と式の現代的理論 (新数学入門シリーズ)