Skip to main content
Top

2016 | OriginalPaper | Chapter

An Online Computing and Knowledge Platform for Differential Equations

Authors : Yinping Liu, Ruoxia Yao, Zhibin Li, Le Yang, Zhian Zhang

Published in: Mathematical Software – ICMS 2016

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference 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) 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)
2.
go back to reference Hoy, M.B.: Wolfram\(|\)Alpha: a brief introduction. Med. Ref. Serv. Q. 29, 67–74 (2010)CrossRef Hoy, M.B.: Wolfram\(|\)Alpha: a brief introduction. Med. Ref. Serv. Q. 29, 67–74 (2010)CrossRef
4.
go back to reference Perez, F., Granger, B.E.: IPython: a system for interactive scientific computing. Comput. Sci. Eng. 9, 21–29 (2007)CrossRef Perez, F., Granger, B.E.: IPython: a system for interactive scientific computing. Comput. Sci. Eng. 9, 21–29 (2007)CrossRef
5.
go back to reference 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)CrossRef 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)CrossRef
7.
go back to reference McGettrick, M.: Online Gr\(\ddot{o}\)bner basis [OGB]. ACM SIGSAM Bull. 38, 19–21 (2004)CrossRef McGettrick, M.: Online Gr\(\ddot{o}\)bner basis [OGB]. ACM SIGSAM Bull. 38, 19–21 (2004)CrossRef
8.
go back to reference Schreiner, W., Mittermaier, C., Bosa, K.: Distributed maple: parallel computer algebra in networked environments. J. Symbolic Comput. 35, 305–347 (2003)MathSciNetCrossRefMATH Schreiner, W., Mittermaier, C., Bosa, K.: Distributed maple: parallel computer algebra in networked environments. J. Symbolic Comput. 35, 305–347 (2003)MathSciNetCrossRefMATH
9.
go back to reference Pau, C., Schreiner, W.: Distributed mathematica-User and Reference Manual. RISC Report 00–25, RISC, JK University, Linz, Australia (2000) Pau, C., Schreiner, W.: Distributed mathematica-User and Reference Manual. RISC Report 00–25, RISC, JK University, Linz, Australia (2000)
10.
go back to reference 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) 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.
go back to reference 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) 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)
12.
go back to reference 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) 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.
go back to reference 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)CrossRef 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)CrossRef
14.
go back to reference 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) 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.
go back to reference 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) 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.
go back to reference 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) 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.
go back to reference 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) 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.
go back to reference 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) 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)
19.
go back to reference 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)CrossRef 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)CrossRef
23.
go back to reference Al-shomrani, S., Wang, P.: DMAS: a web-based distributed mathematics assessment system. In: International Conference on Learning, pp. 3–6 (2008) Al-shomrani, S., Wang, P.: DMAS: a web-based distributed mathematics assessment system. In: International Conference on Learning, pp. 3–6 (2008)
24.
go back to reference 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) 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)
26.
28.
go back to reference Lopez-Morteo, G., Lpez, G.: Computer support for learning mathematics: a learning environment based on recreational learning objects. Comput. Educ. 48, 618–641 (2007)CrossRef Lopez-Morteo, G., Lpez, G.: Computer support for learning mathematics: a learning environment based on recreational learning objects. Comput. Educ. 48, 618–641 (2007)CrossRef
30.
go back to reference 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)CrossRefMATH 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)CrossRefMATH
Metadata
Title
An Online Computing and Knowledge Platform for Differential Equations
Authors
Yinping Liu
Ruoxia Yao
Zhibin Li
Le Yang
Zhian Zhang
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-42432-3_23

Premium Partner