Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio Symbolic reachability computation for families of linear vector fields. (English) Zbl 0983.93004 J. Symb. Comput. 32, No. 3, 231-253 (2001). Reviewer: Lars Grüne (Frankfurt) MSC: 93B03 93B40 93C65 03C10 93C15 68W30 93B60 03D80 PDFBibTeX XMLCite \textit{G. Lafferriere} et al., J. Symb. Comput. 32, No. 3, 231--253 (2001; Zbl 0983.93004) Full Text: DOI
Beltzer, Abraham I. Variational and finite element methods. A symbolic computation approach. (English) Zbl 0703.73092 Berlin etc.: Springer-Verlag. xi, 254 p. DM 98.00 (1990). Reviewer: H.Bufler MSC: 74S30 74P10 74S05 74-01 49M15 74H45 PDFBibTeX XMLCite \textit{A. I. Beltzer}, Variational and finite element methods. A symbolic computation approach. Berlin etc.: Springer-Verlag (1990; Zbl 0703.73092)