所有类型

ALLTYPES:一种代数语言和类型系统。软件系统ALLTYPES提供了一个专门为开发微分代数软件而设计的环境。它最重要的特征可以描述为:定义了一组大约30个参数化代数类型。由这些类型表示的数据对象可以由一百多个多态函数操作。代码的可重用性是通过泛型和多重继承来实现的。用户可以通过定义新类型和多态函数来扩展系统。定义了一种由七种基本语言结构组成的语言,用于实现数学算法。由于语言中专门用于操作类型化对象的特殊部分,即用于执行用户定义的或自动的类型强制,因此特别支持对类型的简单操作。字型查询也包括在语言中。


zbMATH中的参考文献(参考文献20条,2标准条款)

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

  1. 海因勒,阿尔伯特;Levandovskyy,Viktor:第一(q)-Weyl代数中(\mathbbZ)-齐次多项式的因式分解(2017)
  2. Schwarz,Fritz:常微分方程的分解(2017)
  3. 基斯布雷赫特,马克;海因勒,阿尔伯特;Levandovskyy,Viktor:在(n)变量中分解线性偏微分算子(2016)
  4. 基斯布雷赫特,马克;海因勒,阿尔伯特;Levandovskyy,Viktor:在(n)变量中分解线性微分算子(2014)
  5. Daniel Robertz:PDE的形式算法消除(2014)
  6. Schwarz,Fritz:线性微分方程的Loewy分解(2013)
  7. 甘扎,E.I.:关于具有可分解主符号的多维方程的拉普拉斯和迪尼变换(2012)
  8. Schwarz,Fritz:线性微分方程的Loewy分解(2012)
  9. Schwarz,Fritz:偏微分算子环中的理想交集(2011)
  10. Schwarz,Fritz:解常微分方程的算法李理论(2008)
  11. 施瓦茨,弗里茨:网络中的所有类型(2008)ioport公司
  12. 格里戈里耶夫,D。;Schwarz,F.(\mathcalD)-模的Loewy和primary分解(2007)
  13. 施瓦兹,弗里茨:网络中的所有类型(2007)ioport公司
  14. 李子明;施瓦兹,弗里茨;Tsarev,Serguei P.:具有有限维解空间的线性偏微分方程的因式分解系统(2003)
  15. 科恩,阿杰M.(编辑);高小山主编;高山,Nobuki(编辑):数学软件。2002年8月17日至19日,中国北京,第一届国际会议记录
  16. 施瓦茨:所有类型:一个代数语言和类型系统。(2002年)
  17. 李子明;Schwarz,Fritz:类Riccati偏微分方程的有理解(2001)
  18. Schwarz,F.:用最大对称群求解三阶微分方程(2000)
  19. Schwarz,Fritz:解具有Lie对称性的二阶微分方程(2000)
  20. Schwarz,F.:求解具有最大对称群的二阶常微分方程(1999)