SymPy: Symbolic computing in python

PeerJ Computer Science

Volumn 2017, Issue 1, 2017, Pages

  Meurer, Aaron ^a   Smith, Christopher P ^b   Paprocki, Mateusz ^c   Čertík, Ondřej ^d   Kirpichev, Sergey B ^e   Rocklin, Matthew ^c   Kumar, AMiT ^f   Ivanov, Sergiu ^g   Moore, Jason K ^h   Singh, Sartaj ⁱ   Rathnayake, Thilina ^j   Vig, Sean ^k   Granger, Brian E ^l   Muller, Richard P ^m   Bonazzi, Francesco ⁿ   Gupta, Harsh ^o   Vats, Shivam ^o   Johansson, Fredrik ^p   Pedregosa, Fabian ^q   Curry, Matthew J ^m,r   Terrel, Andy R ^s,t   Roučka, Štěpán ^u   Saboo, Ashutosh ^v   Fernando, Isuru ^j   Kulal, Sumith ^w   Cimrman, Robert ^x   Scopatz, Anthony ^a   more..

^a The Department of Mechanical Engineering   (United States)

^b Polar Semiconductor Inc   (United States)

^c Continuum Analytics Inc ^*  (United States)

^d LOS ALAMOS NATIONAL LABORATORY   (United States)

^e MOSCOW STATE UNIVERSITY   (Russian Federation)

^f DELHI TECHNOLOGICAL UNIVERSITY   (India)

^g UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^h UNIVERSITY OF CALIFORNIA   (United States)

ⁱ BANARAS HINDU UNIVERSITY   (India)

^j UNIVERSITY OF MORATUWA   (Sri Lanka)

^k UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^l CALIFORNIA POLYTECHNIC STATE UNIVERSITY   (United States)

^m SANDIA NATIONAL LABORATORIES   (United States)

ⁿ MAX PLANCK INSTITUTE OF COLLOIDS AND INTERFACES   (Germany)

^o INDIAN INSTITUTE OF TECHNOLOGY   (India)

^p INRIA   (France)

^q INRIA Sierra Project Team   (France)

^r UNIVERSITY OF NEW MEXICO   (United States)

^s Fashion Metric Inc Inc   (United States)

^t NumFOCUS   (United States)

^u CHARLES UNIVERSITY   (Czech Republic)

^v BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE   (India)

^w INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

^x UNIVERSITY OF WEST BOHEMIA   (Czech Republic)

more..

Author keywords

Computer algebra system; Python; Symbolics

Indexed keywords

HIGH LEVEL LANGUAGES; OPEN SYSTEMS;

COMPUTER ALGEBRA SYSTEMS; EASE-OF-USE; OPEN SOURCES; PYTHON; SUBMODULES; SYMBOLIC COMPUTING; SYMBOLICS;

ALGEBRA;

EID: 85020476763     PISSN: None     EISSN: 23765992     Source Type: Journal    
DOI: 10.7717/peerj-cs.103     Document Type: Article

References (66)

1. Adams WW, Loustaunau P. 1994. An introduction to Gröbner bases. Vol. 3. Boston: American Mathematical Society.
2. Bailey DH, Jeyabalan K, Li XS. 2005. A comparison of three high-precision quadrature schemes. Experimental Mathematics 14(3):317-329.
3. Bender CM, Orszag SA. 1999. Advanced mathematical methods for scientists and engineers. 1st edition. Berlin Heidelberg: Springer.
4. Biggs N, Lloyd EK, Wilson RJ. 1976. Graph theory, 1736-1936. Oxford: Oxford University Press.
5. Bromborsky A. 2016. Geometric algebra/calculus modules for SymPy galgebra. Available at https:// github.com/ brombo/ galgebra.
6. Bronstein M. 2005a. pmint-The Poor Man's Integrator. Available at http://www- sop.inria.fr/ cafe/ Manuel.Bronstein/ pmint.
7. Bronstein M. 2005b. Symbolic integration I: transcendental functions. New York: Springer-Verlag.
8. Buchberger B. 1965. Ein Algorithmus zum Auffinden der Basis Elemente des Restklassenrings nach einem nulldimensionalen Polynomideal. PhD thesis, University of Innsbruck, Innsbruck, Austria.
9. Cervone D. 2012. MathJax: a platform for mathematics on the Web. Notices of the AMS 59(2):312-316.
10. Cimrman R. 2014. SfePy-write your own FE application. Proceedings of the 6th european conference on Python in science (EuroSciPy 2013). 65-70. Available at http:// arxiv.org/ abs/ 1404.6391.
11. Ciurana E. 2009. Google app engine. In: Developing with Google App Engine. FirstPress (En ligne), Berkeley: Apress.
12. Diankov R. 2010. Ikfast: the robot kinematics compiler. Available at http:// openrave.org/ docs/ latest_stable/ openravepy/ ikfast/.
13. Doorenbos RB. 1995. Production matching for large learning systems. PhD thesis, University of Southern California.
14. Faugère JC. 1999. A new efficient algorithm for computing Gröbner bases (F4). Journal of Pure and Applied Algebra 139(1-3):61-88.
15. Faugère JC. 2002. A new efficient algorithm for computing Gröbner bases without reduction to zero (F5). In: ISSAC'02: proceedings of the 2002 international symposium on symbolic and algebraic computation. New York: ACM Press 75-83.
16. Fetter A, Walecka J. 2003. Quantum theory of many-particle systems. Mineola: Dover Publications.
17. Fousse L, Hanrot G, Lefèvre V, Pélissier P, Zimmermann P. 2007. MPFR: a multipleprecision binary floating-point library with correct rounding. ACM Transactions on Mathematical Software 33(2): DOI 10.1145/1236463.1236468.
18. Fu H, Zhong X, Zeng Z. 2006. Automated and readable simplification of trigonometric expressions. Mathematical and Computer Modelling 55(11-12):1169-1177 DOI 10.1016/j.mcm.2006.04.002.
19. Gede G, Peterson DL, Nanjangud AS, Moore JK, Hubbard M. 2013. Constrained multibody dynamics with Python: from symbolic equation generation to publication. In: ASME 2013 international design engineering technical conferences and computers and information in engineering conference, New York: American Society of Mechanical Engineers, V07BT10A051-V07BT10A051.
20. Goldberg D. 1991. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys (CSUR) 23(1):5-48.
21. Gosper RW. 1978. Decision procedure for indefinite hypergeometric summation. Proceedings of the National Academy of Sciences of the United States of America 75(1):40-42.
22. Gruntz D. 1996. On computing limits in a symbolic manipulation system. PhD thesis, Swiss Federal Institute of Technology, Zürich, Switzerland.
23. Horsen CV. 2015. GMPY. Available at https:// pypi.python.org/ pypi/gmpy2.
24. Hudak P. 1998. Domain specific languages. In: Salas PH, ed. Handbook of programming languages, vol. III: little languages and tools, chapter 3. Indianapolis: MacMillan, 39-60.
25. Hunter JD. 2007. Matplotlib: a 2D graphics environment. Computing in Science & Engineering 9(3):90-95.
26. Johansson F, The mpmath Development Team. 2014. mpmath: a Python library for arbitrary-precision floating-point arithmetic. Version 0.19. Available at http: // mpmath.org/.
27. Jones E, Oliphant T, Peterson P, The SciPy Development Team. 2001. SciPy: open source scientific tools for Python. Available at http:// www.scipy.org/ (accessed on 28 September 2016).
28. Kane TR, Levinson DA. 1985. Dynamics, theory and applications. New York: McGraw Hill.
29. Kluyver T, Ragan-Kelley B, Pérez F, Granger B, Bussonnier M, Frederic J, Kelley K, Hamrick J, Grout J, Corlay S, Ivanov P, Avila D, Abdalla S, Willing C, The Jupyter Development Team. 2016. Jupyter Notebooks-a publishing format for reproducible computational workflows. In: Positioning and power in academic publishing: players, agents and agendas: proceedings of the 20th international conference on electronic publishing. Amsterdam: IOS Press, 87.
30. Lagrange J. 1811. Mécanique analytique. No. v.1. Paris: Ve Courcier.
31. Lang S. 1966. Introduction to transcendental numbers. In: Addison-Wesley series in mathematics. Reading: Addison-Wesley Pub. Co.
32. Lutz M. 2013. Learning Python. Sebastopol: O'Reilly Media, Inc.
33. Mathpix, Inc. 2016. Mathpix-Solve and graph math using pictures. Available at http:// mathpix.com/.
34. Moses J. 1971. Algebraic simplification: a guide for the Perplexed. In: SYMSAC'71: proceedings of the second ACM symposium on symbolic and algebraic computation. New York: ACM Press, 282-304 DOI 10.1145/800204.806298.
35. Nielsen M, Chuang I. 2011. Quantum computation and quantum information. New York: Cambridge University Press.
36. Nijenhuis A, Wilf HS. 1978. Combinatorial algorithms: for computers and calculators. second edition. New York: Academic Press.
37. Oliphant TE. 2007. Python for scientific computing. Computing in Science & Engineering 9(3):10-20.
38. Paprocki M. 2010. Design and implementation issues of a computer algebra system in an interpreted, dynamically typed programming language. Master's thesis, University of Technology of Wroclaw, Poland.
39. Peeters K. 2007. Cadabra: a field-theory motivated symbolic computer algebra system. Computer Physics Communications 176(8):550-558.
40. Pérez F, Granger BE. 2007. IPython: a system for interactive scientific computing. Computing in Science & Engineering 9(3):21-29.
41. Peterson DL, Gede G, Hubbard M. 2014. Symbolic linearization of equations of motion of constrained multibody systems. Multibody System Dynamics 33(2):143-161 DOI 10.1007/s11044-014-9436-5.
42. Petkovšek M, Wilf HS, Zeilberger D. 1997. A = B. Wellesley: AK Peters, Ltd., 222+.Available at http:// www.math.rutgers.edu/ ~zeilberg/ AeqB.pdf .
43. Raymond E. 1999. The cathedral and the bazaar. Knowledge, Technology & Policy 12(3):23-49.
44. Roach K. 1996. Hypergeometric function representations. In: ISSAC'96: proceedings of the 1996 international symposium on symbolic and algebraic computation. New York: ACM Press 301-308.
45. Roach K. 1997. In: ISSAC'97: proceedings of the 1997 international symposium on symbolic and algebraic computation. New York: ACM, 205-211 DOI 10.1145/258726.2587840-89791-875-4.
46. Rocklin M. 2013. Mathematically informed linear algebra codes through term rewriting. PhD thesis, University of Chicago.
47. Rocklin M, Terrel AR. 2012. Symbolic Statistics with SymPy. Computing in Science and Engineering 14(3):88-93 DOI 10.1109/MCSE.2012.56.
48. Rose KH. 1999. XY-pic user's guide. Available at http:// ctan.org/ tex-archive/ macros/ generic/ diagrams/ xypic/ doc/ xyguide.pdf .
49. Rosen L. 2005. Open source licensing: software freedom and intellectual property law. Upper Saddle River: Prentice Hall.
50. Sakurai J, Napolitano J. 2010. Modern quantum mechanics. Boston: Addison-Wesley.
51. Shaw M, Garlan D. 1996. Software architecture: perspectives on an emerging discipline. Pittsburgh: Prentice Hall.
52. Sussman GJ, Wisdom J. 2013. Functional differential geometry. Cambridge: Massachusetts Institute of Technology Press.
53. Tai C-T. 1997. Generalized vector and dyadic analysis: applied mathematics in field theory. Vol. 9. Hoboken: Wiley-IEEE Press.
54. Takahasi H, Mori M. 1974. Double exponential formulas for numerical integration. Publications of the Research Institute for Mathematical Sciences 9(3):721-741.
55. The Lcapy Developers. 2016. Lcapy, a Python package for linear circuit analysis. Available at http:// lcapy.elec.canterbury.ac.nz/.
56. The Mathics Developers. 2016. Mathics, a free, general-purpose online computer algebra system featuring Mathematica-compatible syntax and functions. Available at https:// mathics.github.io/.
57. The Quameon Developers. 2016. Quameon, quantum Monte Carlo in Python. Available at http:// quameon.sourceforge.net/.
58. The Sage Developers. 2016. SageMath, the sage mathematics software system. Available at http:// www.sagemath.org .
59. The Symbolic Package Developers. 2016. The symbolic package for GNU Octave. Available at http:// octave.sourceforge.net/ symbolic.
60. The SymPy Developers. 2016a. SymEngine, a fast symbolic manipulation library, written in C++. Available at https:// github.com/ symengine/ symengine.
61. The SymPy Developers. 2016b. SymPy Gamma. Available at http://www.sympygamma. com/.
62. The SymPy.jl Developers. 2016. SymPy.jl, a package to bring Python's SymPy functionality into Julia via PyCall. Available at https:// github.com/ JuliaPy/ SymPy.jl.
63. Toth VT. 2007. Maple and Meijer's G-function: a numerical instability and a cure. Available at http:// www.vttoth.com/CMS/index.php/ technical-notes/ 67.
64. Turk MJ, Smith BD, Oishi JS, Skory S, Skillman SW, Abel T, Norman ML. 2011. yt: a multi-code analysis toolkit for astrophysical simulation data. The Astrophysical Journal Supplement Series 192:9 DOI 10.1088/0067-0049/192/1/9.
65. Zare R. 1991. Angular momentum: understanding spatial aspects in chemistry and physics. Hoboken: Wiley.
66. Zienkiewicz O, Taylor R, Zhu J. 2013. The finite element method: its basis and fundamentals. Seventh edition. Oxford: Butterworth-Heinemann.