ALLTYPES
ALLTYPES: An algebraic language and type system. The software system ALLTYPES provides an environment that is particularly designed for developing software in differential algebra. Its most important features may be described as follows: A set of about thirty parametrized algebraic types is defined. Data objects represented by these types may be manipulated by more than one hundred polymorphic functions. Reusability of code is achieved by genericity and multiple inheritance. The user may extend the system by defining new types and polymorphic functions. A language comprising seven basic language constructs is defined for implementing mathematical algorithms. The easy manipulation of types is particularly supported due to a special portion of the language dedicated to manipulating typed objects, i.e. for performing user-defined or automatic type coercions. Type inquiries are also included in the language.
Keywords for this software
References in zbMATH (referenced in 18 articles , 2 standard articles )
Showing results 1 to 18 of 18.
Sorted by year (- Giesbrecht, Mark; Heinle, Albert; Levandovskyy, Viktor: Factoring linear partial differential operators in $n$ variables (2016)
- Giesbrecht, Mark; Heinle, Albert; Levandovskyy, Viktor: Factoring linear differential operators in $n$ variables (2014)
- Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
- Schwarz, Fritz: Loewy decomposition of linear differential equations (2013)
- Ganzha, E.I.: On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol (2012)
- Schwarz, Fritz: Loewy decomposition of linear differential equations (2012)
- Schwarz, Fritz: Ideal intersections in rings of partial differential operators (2011)
- Schwarz, Fritz: ALLTYPES in the web (2008) ioport
- Schwarz, Fritz: Algorithmic Lie theory for solving ordinary differential equations (2008)
- Grigoriev, D.; Schwarz, F.: Loewy and primary decompositions of $\mathcal D$-modules (2007)
- Schwarz, Fritz: ALLTYPES in the web (2007) ioport
- Li, Ziming; Schwarz, Fritz; Tsarev, Serguei P.: Factoring systems of linear PDEs with finite-dimensional solution spaces (2003)
- Cohen, Arjeh M. (ed.); Gao, Xiao-Shan (ed.); Takayama, Nobuki (ed.): Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002 (2002)
- Schwarz, Fritz: ALLTYPES: An algebraic language and type system. (2002)
- Li, Ziming; Schwarz, Fritz: Rational solutions of Riccati-like partial differential equations (2001)
- Schwarz, F.: Solving third order differential equations with maximal symmetry group (2000)
- Schwarz, Fritz: Solving second-order differential equations with Lie symmetries (2000)
- Schwarz, F.: Solving second order ordinary differential equations with maximal symmetry group (1999)