Liska, Richard; Shashkov, Mikhail; Ganzha, Victor Analysis and optimization of inner products for mimetic finite difference methods on a triangular grid. (English) Zbl 1058.65115 Math. Comput. Simul. 67, No. 1-2, 55-66 (2004). MSC: 65N06 35J05 65N50 PDFBibTeX XMLCite \textit{R. Liska} et al., Math. Comput. Simul. 67, No. 1--2, 55--66 (2004; Zbl 1058.65115) Full Text: DOI
Taylor, R. Thermodynamics with Maple: I –symbolic computation. (English) Zbl 1017.80500 Math. Comput. Simul. 45, No. 1-2, 101-119 (1998). MSC: 80-04 34-04 34A09 68W30 PDFBibTeX XMLCite \textit{R. Taylor}, Math. Comput. Simul. 45, No. 1--2, 101--119 (1998; Zbl 1017.80500) Full Text: DOI
Sanders, Jan A.; Wang, Jing Ping Classification of conservation laws for KdV-like equations. (English) Zbl 1017.35503 Math. Comput. Simul. 44, No. 5, 471-481 (1997). MSC: 35L65 35-04 35Q53 37K10 PDFBibTeX XMLCite \textit{J. A. Sanders} and \textit{J. P. Wang}, Math. Comput. Simul. 44, No. 5, 471--481 (1997; Zbl 1017.35503) Full Text: DOI
Villard, D.; Arnaldi, B. Symbolic differentiation library for simulation of multibody rigid systems. (English) Zbl 1037.70506 Math. Comput. Simul. 42, No. 4-6, 659-673 (1996). MSC: 70E99 70-04 70-08 PDFBibTeX XMLCite \textit{D. Villard} and \textit{B. Arnaldi}, Math. Comput. Simul. 42, No. 4--6, 659--673 (1996; Zbl 1037.70506) Full Text: DOI
Bungartz, H.; Griebel, M.; Röschke, D.; Zenger, C. A proof of convergence for the combination technique for the Laplace equation using tools of symbolic computation. (English) Zbl 1037.65508 Math. Comput. Simul. 42, No. 4-6, 595-605 (1996). MSC: 65N55 65N15 68W30 PDFBibTeX XMLCite \textit{H. Bungartz} et al., Math. Comput. Simul. 42, No. 4--6, 595--605 (1996; Zbl 1037.65508) Full Text: DOI
Shirayanagi, Kiyoshi Floating point Gröbner bases. (English) Zbl 1037.68547 Math. Comput. Simul. 42, No. 4-6, 509-528 (1996). MSC: 68W30 PDFBibTeX XMLCite \textit{K. Shirayanagi}, Math. Comput. Simul. 42, No. 4--6, 509--528 (1996; Zbl 1037.68547) Full Text: DOI
Ligatsikas, Zenon; Rioboo, R.; Roy, M. F. Generic computation of the real closure of an ordered field. (English) Zbl 1037.68546 Math. Comput. Simul. 42, No. 4-6, 541-549 (1996). MSC: 68W30 12J15 PDFBibTeX XMLCite \textit{Z. Ligatsikas} et al., Math. Comput. Simul. 42, No. 4--6, 541--549 (1996; Zbl 1037.68546) Full Text: DOI
Arsham, Hossein; Davani, Darush; Yu, Jae B. A linear symbolic-based approach to matrix inversion. (English) Zbl 0813.68120 Math. Comput. Simul. 35, No. 6, 493-500 (1993). MSC: 68W30 15A09 PDFBibTeX XMLCite \textit{H. Arsham} et al., Math. Comput. Simul. 35, No. 6, 493--500 (1993; Zbl 0813.68120) Full Text: DOI