@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00003191,
 author = {山本, 修身},
 month = {Dec},
 title = {多項式の零点不在領域とその数式処理への応用に関する研究},
 year = {1995}
}