Jaroschek, Maximilian Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1511.00180.pdf (プレプリント), 281KB
Barkatou, M. A., Jaroschek, M., & Maddah, S. S. (2015). Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. Retrieved from http://arxiv.org/abs/1511.00180.