红皮书

为计算机的符号运算系统提供了一个临时的符号运算系统。与定理证明者相比,所应用的方法了解基本的代数理论并加以利用。我们展示了REDLOG的一些应用,描述了它在用户看来的功能,并解释了设计问题和实现技术。


zbMATH中的参考文献,1标准件)

显示第1到第157个结果。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. Russell Bradford;Davenport,James H.;England,Matthew;Errami,Hassan;Gerdt,Vladimir;Grigoriev,Dima;Hoyt,Charles;Košta,Marek;Radulescu,Ovidiu;Sturm,Thomas;Weber,Andreas:识别某些生物网络多稳态的参数发生(2020年)
  2. 康拉迪,卡斯滕;Iosif,Alexandru;Kahle,Thomas:允许单项参数化的系统在总浓度空间中的多稳态(2019)
  3. England,Matthew;Florescu,Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序(2019)
  4. Fukasaku,Ryoya;Iwane,Hidenao;Sato,Yosuke:关于多元Hermitian二次型(2019)
  5. Dennis Peuter;Sofronie Stokkermans,Viorica:关于参数系统的不变综合(2019)
  6. Hong,Hoon;Sturm,Thomas:带符号参数多项式不等式组的正解(2018)
  7. 蒙特斯,安东尼奥:格里布纳封面(2018)
  8. Röbenack,Klaus;Voßwinkel,Rick;Richter,Hendrik:多项式系统边界的自动生成及其在Lorenz系统中的应用(2018)
  9. Roncero Clemente,Carlos;Roanes Lozano,Eugenio:电力变压器故障检测和诊断的多准则计算机包(2018)
  10. Roux,Pierre;Voronin,Yuen Lam;Sankaranarayanan,Sriram:验证多项式不变量的数值半定规划解算器(2018)
  11. England,Matthew;Errami,Hassan;Grigoriev,Dima;Radulescu,Ovidiu;Sturm,Thomas;Weber,Andreas:生物网络多稳态参数区域的符号与数值计算与可视化(2017)
  12. Kuijpers,Bart;Moelans,Bart:平面上多段线的双交叉矩阵的可实现性(2017)
  13. Sturm,Thomas:实量词消除、决策和可满足性的一些方法及其应用综述(2017)
  14. Wojciechowski,Piotr;Eirinakis,Pavlos;Subramani,K.:分析线性算术理论的限制片段(2017)
  15. Wojciechowski,Piotr;Eirinakis,Pavlos;Subramani,K.:勘误表:“分析线性算术理论的限制片段”(2017年)
  16. Ábrahám,Erika;Abbott,John;Becker,Bernd;Bigatti,Anna m.;Brain,Martin;Buchberger,Bruno;Cimatti,Alessandro;Davenport,James H.;England,Matthew;Fontaine,Pascal;Forrest,Stephen;Griggio,Alberto;Krooning,Daniel;Seiler,Werner m.;Sturm,Thomas:\ textsfSC(^2):满足性检验满足符号计算。(项目文件)(2016)
  17. Dixit,Atul;Moll,Victor H.;Pillwein,Veronika:超几何不等式(2016)
  18. Eraşcu,Mădălina:特殊实数量词消除的有效简化技术及其在优化数值算法综合中的应用(2016)
  19. Eraşcu,Mădălina;Hong,Hoon:用于综合最优数值算法的实数量词消除(案例研究:平方根计算)(2016)
  20. Fukasaku,Ryoya;Iwane,Hidenao;Sato,Yosuke:关于CGS real QE的实施(2016)

1 2 ... 6 7 8 下一个