民主党人 4份文件引用(2015–2020) 软件作者： 格恩瑟·查瓦特；安德烈亚斯·普范德勒 相关软件： Isabelle/HOL；通用电气；PSPLIB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）