Quantifier elimination; Economic reasoning;
机译:通过应用使用各向异性导电膜(ACF)的晶圆级封装(WLP)技术,实现灵活的Flex-on-Flex(COF)封装和嵌入式Flex-in-Flex(CIF)封装
机译:package-x 2.0:一个Mathematica包,用于分析单环积分计算
机译:Package-X:Mathematica软件包,用于单环积分的解析计算
机译:理论:一个数学封装,将量化消除技术应用于经济学
机译:使用Mathematica软件包的矢量量化器的设计和仿真。
机译:rdml:Mathematica软件包用于解析和导入实时qPCR数据
机译:在Birkhoff插值问题上应用量词消除
机译:关于信息技术绩效管理的经验教训:将平衡计分卡和应用信息经济学应用于联邦信息技术计划