zbMATH — the first resource for mathematics

An online computing and knowledge platform for differential equations. (English) Zbl 1434.68710
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 181-188 (2016).
Summary: 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.
For the entire collection see [Zbl 1342.68017].
68W30 Symbolic computation and algebraic computation
34-04 Software, source code, etc. for problems pertaining to ordinary differential equations
34A34 Nonlinear ordinary differential equations and systems, general theory
68V30 Mathematical knowledge management
Full Text: DOI
[1] 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) · Zbl 06680727 · doi:10.1145/384101.384147
[2] Hoy, M.B.: Wolfram \[ | \] Alpha: a brief introduction. Med. Ref. Serv. Q. 29, 67–74 (2010) · doi:10.1080/02763860903485225
[3] Wolfram Research Inc. webMathematica. http://www.wolfram.com/products/webmathematica
[4] Perez, F., Granger, B.E.: IPython: a system for interactive scientific computing. Comput. Sci. Eng. 9, 21–29 (2007) · Zbl 05333419 · doi:10.1109/MCSE.2007.53
[5] 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) · Zbl 1072.68601 · doi:10.1007/3-540-45620-1_11
[6] Maxima-online.org. Maxima-online. http://maxima-online.org
[7] McGettrick, M.: Online Gr \[ \ddot{o} \] bner basis [OGB]. ACM SIGSAM Bull. 38, 19–21 (2004) · doi:10.1145/980175.980183
[8] Schreiner, W., Mittermaier, C., Bosa, K.: Distributed maple: parallel computer algebra in networked environments. J. Symbolic Comput. 35, 305–347 (2003) · Zbl 1045.68167 · doi:10.1016/S0747-7171(02)00137-2
[9] Pau, C., Schreiner, W.: Distributed mathematica-User and Reference Manual. RISC Report 00–25, RISC, JK University, Linz, Australia (2000)
[10] 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)
[11] 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) · doi:10.1002/0470867167.ch24
[12] 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)
[13] 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) · doi:10.1023/A:1024083511032
[14] 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)
[15] 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)
[16] 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)
[17] 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)
[18] 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) · doi:10.1109/CCGRID.2010.56
[19] 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) · doi:10.1109/MCSE.2010.70
[20] MathWorks, Inc. Matlab mobile. http://www.mathworks.com/products/matlab-mobile
[21] Wolfram Research Inc. Wolframalpha mobile. http://products.wolframalpha.com/mobile
[22] Maplesoft Inc. Mapleta. http://www.maplesoft.com.cn/products/mapleta
[23] Al-shomrani, S., Wang, P.: DMAS: a web-based distributed mathematics assessment system. In: International Conference on Learning, pp. 3–6 (2008) · Zbl 06407778 · doi:10.1145/1394042.1394076
[24] 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)
[25] Mathway. https://mathway.com
[26] Siekmann, J., Benzmller, C., Autexier, S.: Computer supported mathematics with mega. J. Appl. Logic 4, 533–559 (2006) · Zbl 1107.68101 · doi:10.1016/j.jal.2005.10.008
[27] Team Members of E-GEMS Project, E-gems. http://www.cs.ubc.ca/nest/egems/index.html
[28] Lopez-Morteo, G., Lpez, G.: Computer support for learning mathematics: a learning environment based on recreational learning objects. Comput. Educ. 48, 618–641 (2007) · Zbl 02371217 · doi:10.1016/j.compedu.2005.04.014
[29] Polyanin, A.D.: EqWorld (The World of Mathematical Equations). http://eqworld.ipmnet.ru
[30] 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) · Zbl 1196.35009 · doi:10.1016/j.cpc.2004.08.007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.