-
1دورية أكاديمية
المؤلفون: Din, Crystal Chang1 Crystal.Din@uib.no, Hähnle, Reiner2 haehnle@cs.tu-darmstadt.de, Henrio, Ludovic3 ludovic.henrio@cnrs.fr, Johnsen, Einar Broch4 einarj@ifi.uio.no, Pun, Violet Ka I5 Violet.Ka.I.Pun@hvl.no, Tarifa, S. Lizeth Tapia4 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
-
2دورية أكاديمية
المؤلفون: Waheed, Asif1 (AUTHOR) asifwaheed8@gmail.com, Inc, Mustafa2,3 (AUTHOR) mustafainc1071@gmail.com, Bibi, Nimra1 (AUTHOR) nimra.bibi@gmail.com, Javeed, Shumaila4,5 (AUTHOR) shumaila_javeed@comsats.edu.pk, Zeb, Muhammad1 (AUTHOR) immzeb@gmail.com, Zafar, Zain Ul Abadin6 (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
-
3دورية أكاديمية
المؤلفون: Alexandre dit Sandretto, Julien1 (AUTHOR) alexandre@ensta.fr
المصدر: Numerical Algorithms. Jul2024, Vol. 96 Issue 3, p1045-1062. 18p.
مصطلحات موضوعية: *SYMBOLIC computation, *ORDINARY differential equations, *INTERVAL analysis
-
4دورية أكاديمية
المؤلفون: Iqbal, Mujahid1 (AUTHOR), Seadawy, Aly R.2 (AUTHOR) aabdelalim@taibahu.edu.sa, Lu, Dianchen1 (AUTHOR), Zhang, Zhengdi1 (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
-
5دورية أكاديمية
المؤلفون: Iqbal, Mujahid1 (AUTHOR) mujahidiqbal399@gmail.com, Seadawy, Aly R.2 (AUTHOR) Aly742001@yahoo.com, Lu, Dianchen1 (AUTHOR) dclu@ujs.edu.cn, Zhang, Zhengdi1 (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
-
6دورية أكاديمية
المؤلفون: Ahmad, Jamshad1 (AUTHOR) jamshadahmadm@gmail.com, Hameed, Maham1 (AUTHOR), Mustafa, Zulaikha1 (AUTHOR), Ali, Asghar2 (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
-
7تقرير
المؤلفون: Norman, Arthur C., Watt, Stephen M.
مصطلحات موضوعية: Computer Science - Symbolic Computation, Mathematics - Numerical Analysis
الوصول الحر: http://arxiv.org/abs/2407.04133Test
-
8تقرير
المؤلفون: Watt, Stephen M.
مصطلحات موضوعية: Computer Science - Symbolic Computation
الوصول الحر: http://arxiv.org/abs/2407.03976Test
-
9تقرير
المؤلفون: 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
-
10تقرير
المؤلفون: 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