InfoMod：高斯二元二次型的可视化与计算方法
数论
2017-04-05 v1
摘要
InfoMod 是一款致力于模群 PSL2(Z) 的新型软件与应用。它包含处理连分数、模曲面上测地线与二元二次型之间经典对应关系的算法。此外，该软件实现了近期发现的高斯不定二元二次型及其类用某些被称为 \c{c}arks 的无限平面图（dessins）表示的方法。InfoMod 展示了这些形式的各个方面，即高斯约化算法、形式的表示问题、歧义形式与互反形式。它可作为教育工具使用，并可能用于探索关于这些对象的新事实。
引用
@article{arxiv.1704.00902,
title = {InfoMod: A visual and computational approach to Gauss' binary quadratic forms},
author = {Ayberk Zeytin and Hakan Ayral and A. Muhammed Uludağ},
journal= {arXiv preprint arXiv:1704.00902},
year = {2017}
}