المؤلفون: Din, Crystal Chang¹ Crystal.Din@uib.no, Hähnle, Reiner² haehnle@cs.tu-darmstadt.de, Henrio, Ludovic³ ludovic.henrio@cnrs.fr, Johnsen, Einar Broch⁴ einarj@ifi.uio.no, Pun, Violet Ka I⁵ Violet.Ka.I.Pun@hvl.no, Tarifa, S. Lizeth Tapia⁴ sltarifa@ifi.uio.no

المصدر: ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-58. 58p.

مصطلحات موضوعية: *LOGIC, *MODULAR design, PROGRAMMING language semantics, SYMBOLIC computation, LOGIC design, FIRST-order logic, SEMANTICS, CONCRETE

المؤلفون: Waheed, Asif¹ (AUTHOR) asifwaheed8@gmail.com, Inc, Mustafa^2,3 (AUTHOR) mustafainc1071@gmail.com, Bibi, Nimra¹ (AUTHOR) nimra.bibi@gmail.com, Javeed, Shumaila^4,5 (AUTHOR) shumaila_javeed@comsats.edu.pk, Zeb, Muhammad¹ (AUTHOR) immzeb@gmail.com, Zafar, Zain Ul Abadin⁶ (AUTHOR) zainzafar2016@hotmail.com

المصدر: International Journal of Modern Physics B: Condensed Matter Physics; Statistical Physics; Applied Physics. 7/30/2024, Vol. 38 Issue 19, p1-12. 12p.

مصطلحات موضوعية: *SYMBOLIC computation, *KORTEWEG-de Vries equation, *PARTIAL differential equations, *EQUATIONS, *PROBLEM solving

المؤلفون: Alexandre dit Sandretto, Julien¹ (AUTHOR) alexandre@ensta.fr

المصدر: Numerical Algorithms. Jul2024, Vol. 96 Issue 3, p1045-1062. 18p.

مصطلحات موضوعية: *SYMBOLIC computation, *ORDINARY differential equations, *INTERVAL analysis

المؤلفون: Iqbal, Mujahid¹ (AUTHOR), Seadawy, Aly R.² (AUTHOR) aabdelalim@taibahu.edu.sa, Lu, Dianchen¹ (AUTHOR), Zhang, Zhengdi¹ (AUTHOR)

المصدر: Modern Physics Letters B. 6/10/2024, Vol. 38 Issue 16, p1-27. 27p.

مصطلحات موضوعية: *SYMBOLIC computation, *NONLINEAR waves, *NONLINEAR equations, *PHENOMENOLOGICAL theory (Physics), *EQUATIONS

المؤلفون: Iqbal, Mujahid¹ (AUTHOR) mujahidiqbal399@gmail.com, Seadawy, Aly R.² (AUTHOR) Aly742001@yahoo.com, Lu, Dianchen¹ (AUTHOR) dclu@ujs.edu.cn, Zhang, Zhengdi¹ (AUTHOR) dyzhang@ujs.edu.cn

المصدر: International Journal of Geometric Methods in Modern Physics. Jun2024, Vol. 21 Issue 7, p1-29. 29p.

مصطلحات موضوعية: *SYMBOLIC computation, *NONLINEAR systems, *NONLINEAR differential equations, *PARTIAL differential equations, *GRAVITY, *PHENOMENOLOGICAL theory (Physics), *NONLINEAR dynamical systems

المؤلفون: Ahmad, Jamshad¹ (AUTHOR) jamshadahmadm@gmail.com, Hameed, Maham¹ (AUTHOR), Mustafa, Zulaikha¹ (AUTHOR), Ali, Asghar² (AUTHOR)

المصدر: Optical & Quantum Electronics. Jun2024, Vol. 56 Issue 6, p1-32. 32p.

مصطلحات موضوعية: *OPTICAL solitons, *SYMBOLIC computation, *NONLINEAR evolution equations, *OPTICAL fiber communication, *BOUSSINESQ equations, *PLASMA physics

المؤلفون: Norman, Arthur C., Watt, Stephen M.

مصطلحات موضوعية: Computer Science - Symbolic Computation, Mathematics - Numerical Analysis

الوصول الحر: http://arxiv.org/abs/2407.04133Test

المؤلفون: Watt, Stephen M.

مصطلحات موضوعية: Computer Science - Symbolic Computation

الوصول الحر: http://arxiv.org/abs/2407.03976Test

المؤلفون: Thomm, Jonathan, Hersche, Michael, Camposampiero, Giacomo, Terzić, Aleksandar, Schölkopf, Bernhard, Rahimi, Abbas

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Symbolic Computation

الوصول الحر: http://arxiv.org/abs/2407.02060Test

المؤلفون: Qiao, Runqi, Tan, Qiuna, Dong, Guanting, Wu, Minhui, Sun, Chong, Song, Xiaoshuai, GongQue, Zhuoma, Lei, Shanglin, Wei, Zhe, Zhang, Miaoxuan, Qiao, Runfeng, Zhang, Yifan, Zong, Xiao, Xu, Yida, Diao, Muxi, Bao, Zhimin, Li, Chen, Zhang, Honggang

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning, Computer Science - Symbolic Computation

الوصول الحر: http://arxiv.org/abs/2407.01284Test