Abstract
A Web-based knowledge database and computing platform for nonlinear differential equations is presented, which could provide computing and graphing based on symbolic computing system Maple and some of its built-in packages. Users can not only calculate specific types of analytical solutions of nonlinear differential systems by calling the packages, but also carry out any symbolic computations associated with equations and other kinds of simple computations in an interactive mode with visual output. The knowledge database of differential equations has all functions of the general database. Furthermore, each equation has a web page to show its properties and research results. In addition, each mathematica formula is stored in its infix form in the knowledge database and can be displayed visually.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wang, P., Gray, S., Kajler, N., Lin, D., Liao, W., Zou, X.: IAMC architecture andprototyping: a progress report. In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, pp. 337–344. ACM (2001)
Hoy, M.B.: Wolfram\(|\)Alpha: a brief introduction. Med. Ref. Serv. Q. 29, 67–74 (2010)
Wolfram Research Inc. webMathematica. http://www.wolfram.com/products/webmathematica
Perez, F., Granger, B.E.: IPython: a system for interactive scientific computing. Comput. Sci. Eng. 9, 21–29 (2007)
Zimmer, J., Kohlhase, M.: System description: the MathWeb software bus for distributed mathematical reasoning. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol. 2392, pp. 139–143. Springer, Heidelberg (2002)
Maxima-online.org. Maxima-online. http://maxima-online.org
McGettrick, M.: Online Gr\(\ddot{o}\)bner basis [OGB]. ACM SIGSAM Bull. 38, 19–21 (2004)
Schreiner, W., Mittermaier, C., Bosa, K.: Distributed maple: parallel computer algebra in networked environments. J. Symbolic Comput. 35, 305–347 (2003)
Pau, C., Schreiner, W.: Distributed mathematica-User and Reference Manual. RISC Report 00–25, RISC, JK University, Linz, Australia (2000)
Almasi, G., Cascaval, C., Padua, D.A.: Mat marks: a shared memory environment for matlab programming. In: Proceedings of the 8th IEEE International Symposium on High Performance Distributed Computing, p. 21 (1999)
Agrawal, S., Dongarra, J., Seymour, K., Vadhiyar, S.: Netsolve: past, present, and future-a look at a grid enabled server. In: Grid Computing: Making the Global Infrastructure a Reality, pp. 615–624 (2003)
Wu, Y., Liao, W., Wang, P., Lin, D., Yang, G.: An internet accessible gridcomputing system: Grid-elimino. In: Proceedings of IAMC, pp. 1–8 (2003)
Tanaka, Y., Nakada, H., Sekiguchi, S., Suzumura, T., Matsuoka, S.: Ninf-G: a reference implementation of RPC-based programming middleware for grid computing. J. Grid Comput. 1, 41–51 (2003)
Cox, S., Keane, A.: Grid enabled optimisation and design search for engineering (geodise). In: NeSC Workshop on Applications and Testbeds on the Grid, pp. 20–33 (2002)
Pound, G.E., Eres, M.H., Wason, J.L., Jiao, Z., Keane, A.J., Cox, S.J.: A grid-enabled problem solving environment (PSE) for design optimisation within matlab. In: Proceedings of Parallel and Distributed Processing Symposium. International, pp. 50–57 (2003)
Petcu, D., Dubu, D., Paprzycki, M.: Extending maple to the grid: design and implementation. In: Third International Symposium on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks, pp. 209–216 (2011)
Amestoy, P., Pantel, M.: Grid-TLSE: a web expertise site for sparse linear algebra. In: Sparse Days and Grid Computing at St. Girons Workshop, p. 192 (2003)
Srirama, S., Batrashev, O., Vainikko, E.: Scicloud: scientific computing on the cloud. In: Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, pp. 579–580 (2010)
Rehr, J.J., Vila, F.D., Gardner, J.P., Svec, L., Prange, M.: Scientific computing in the cloud. Comput. Sci. Eng. 12, 34–43 (2010)
MathWorks, Inc. Matlab mobile. http://www.mathworks.com/products/matlab-mobile
Wolfram Research Inc. Wolframalpha mobile. http://products.wolframalpha.com/mobile
Maplesoft Inc. Mapleta. http://www.maplesoft.com.cn/products/mapleta
Al-shomrani, S., Wang, P.: DMAS: a web-based distributed mathematics assessment system. In: International Conference on Learning, pp. 3–6 (2008)
Su, W., Wang, P.S., Li, L.: Mathpass: a remedial mathematics system with concept checking. In: CICM (Conferences on Intelligent Computer Mathematics), pp. 11–12 (2010)
Mathway. https://mathway.com
Siekmann, J., Benzmller, C., Autexier, S.: Computer supported mathematics with mega. J. Appl. Logic 4, 533–559 (2006)
Team Members of E-GEMS Project, E-gems. http://www.cs.ubc.ca/nest/egems/index.html
Lopez-Morteo, G., Lpez, G.: Computer support for learning mathematics: a learning environment based on recreational learning objects. Comput. Educ. 48, 618–641 (2007)
Polyanin, A.D.: EqWorld (The World of Mathematical Equations). http://eqworld.ipmnet.ru
Li, Z.-B., Liu, Y.-P.: RAEEM: a Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equation. Comput. Phys. Commun. 163, 191–201 (2004)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Liu, Y., Yao, R., Li, Z., Yang, L., Zhang, Z. (2016). An Online Computing and Knowledge Platform for Differential Equations. In: Greuel, GM., Koch, T., Paule, P., Sommese, A. (eds) Mathematical Software – ICMS 2016. ICMS 2016. Lecture Notes in Computer Science(), vol 9725. Springer, Cham. https://doi.org/10.1007/978-3-319-42432-3_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-42432-3_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42431-6
Online ISBN: 978-3-319-42432-3
eBook Packages: Computer ScienceComputer Science (R0)