红木

ReLoad是一个将计算机代数系统扩展到计算机逻辑系统的软件包,即一个通过一些暂时固定的语言和理论为一阶公式的符号操作提供算法的系统。与定理证明器相比,所应用的方法知道底层代数理论并加以利用。我们说明了一些应用程序的ReLoad,描述其功能,因为它似乎给用户,并解释设计问题和实现技术。


ZBMaX中的参考文献(156篇)1标准条款

显示结果1至20的156。
按年份排序(引文
  1. 布拉德福德,罗素;Davenport,James H.;英国,马修;埃拉米,哈桑;Gerdt,弗拉迪米尔;GrigoRev,Dima;Pig,Yo;Ko.Ta,Y.;奥维迪乌;Y,Y;Y;,γ:识别某些生物网络的多个稳态的参数出现(2020)
  2. Conradi,卡斯滕;Iosif,亚历山大;Kahle,托马斯:承认单参数化的系统总浓度空间中的多平稳性(2019)
  3. 英国、马修、格奥尔基·弗洛雷斯库、多里安:比较机器学习模型选择柱面代数分解的变量排序(2019)
  4. 傅卡萨酷,Ryoya;伊万,希多瑙;萨托,YoSuk:多元Hermiite二次型(2019)
  5. Peuter,丹尼斯;Sofronie Stokkermans,Viorica:参数系统的不变合成(2019)
  6. 洪,胡恩;斯特姆,托马斯:有符号参数多项式不等式组的正解(2018)
  7. R·BeaCK,克劳斯;Vo Wikel.瑞克;李希特,亨德里克:多项式系统的边界自动生成及其在劳伦兹系统中的应用(2018)
  8. Roncero Clemente,卡洛斯;Roanes Lozano,Eugenio:电力变压器故障检测与诊断的多准则计算机软件包(2018)
  9. 鲁镇,彼埃尔;沃罗宁,Yuen Lam;SalkayalayayaN. SrrAM:验证多项式不变量的数值半定规划求解器(2018)
  10. 英国,马修;ErrAMi,哈桑;GrigoRev,Dima;Radulescu,奥维迪乌;斯特姆,托马斯;Weber,安德烈亚斯:生物网络多平稳性参数区域的符号-数值计算和可视化(2017)
  11. Kujjes,Bart;莫伦斯,巴特:平面上折线的双交叉矩阵的可实现性(2017)
  12. 斯特姆,托马斯:实数量词消去、判定和可满足性的几种方法及其应用综述(2017)
  13. Wojciechowski,Piotr;Eirinakis,Pavlos;Subramani,K.:分析线性算术理论的局限性片段(2017)
  14. Wojciechowski,Piotr;Eirinakis,Pavlos;Subramani,K.:“分析线性算术理论的限制性片段”(2017)
  15. 埃里卡、Abbott、约翰、贝克尔、贝尔恩德、BigaTi、Anna M.、大脑、马丁、马丁、Y、CimaTi、Y、Y、Y、英国、Y、Y、Y、Y、Y、Grigio、Y、KRONEN、Y、SeRiver、Y.、Y、O::TrutsFSC(^ 2):可满足性检验满足符号计算。(项目论文)(2016)
  16. 狄西特,阿图尔;莫尔,Victor H.;PrimWein,Veronika:一个超几何不等式(2016)
  17. Leaer-Cu,Md d丽娜:特殊实量词消去的有效简化技术及其在最优数值算法综合中的应用(2016)
  18. Real[Cu,M] d丽娜;洪,胡恩:最优数值算法合成的实量词消去法(案例研究:平方根计算)(2016)
  19. 傅卡萨酷,Ryoya;伊万奈,希登奥;萨托,YOSUKE:CGS实QE的实施(2016)
  20. 科塔,马立克;斯特姆,托马斯;多尔茨曼,安德烈亚斯:真实问题的更好答案(2016)