-
1Academic Journal
Συγγραφείς: Dong, Junlan1 (AUTHOR) eru-dd@foxmail.com, Zhong, Jinghui1 (AUTHOR) jinghuizhong@gmail.com
Πηγή: ACM Computing Surveys. Nov2025, Vol. 57 Issue 11, p1-37. 37p.
-
2Conference
Συγγραφείς: Heermann, Hagen, Grabowsky, Pascal, Zivkovic, Carna, Grimm, Christoph
Πηγή: 2025 Forum on Specification & Design Languages (FDL) Specification & Design Languages (FDL), 2025 Forum on. :1-9 Sep, 2025
Relation: 2025 Forum on Specification & Design Languages (FDL)
-
3Conference
Συγγραφείς: Wen, Yuqiang, Law, K. L. Eddie
Πηγή: 2025 34th International Conference on Computer Communications and Networks (ICCCN) Computer Communications and Networks (ICCCN), 2025 34th International Conference on. :1-6 Aug, 2025
Relation: 2025 34th International Conference on Computer Communications and Networks (ICCCN)
-
4Conference
Συγγραφείς: Zhu, Huawei, Xiang, Dong, Dong, Da, Zhang, Chaolan, Ren, Wei
Πηγή: 2025 IEEE 26th China Conference on System Simulation Technology and its Applications (CCSSTA) System Simulation Technology and its Applications (CCSSTA), 2025 IEEE 26th China Conference on. :605-610 Jul, 2025
Relation: 2025 IEEE 26th China Conference on System Simulation Technology and its Applications (CCSSTA)
-
5Academic Journal
Συγγραφείς: Gubarev, Vsevolod1,2 (AUTHOR) wsewolod89@gmail.com
Πηγή: Journal of Algebra. Dec2025, Vol. 683, p253-277. 25p.
Συνδεδεμένο Πλήρες ΚείμενοΘεματικοί όροι: *MATRICES (Mathematics), *SYMBOLIC computation, *OPERATOR algebras, *COMPUTER systems, *EQUATIONS
-
6Academic Journal
Συγγραφείς: Elgindi, Tarek M.1 (AUTHOR) tarek.elgindi@duke.edu, Pasqualotto, Federico2 (AUTHOR) fpasqualotto@berkeley.edu
Πηγή: Communications in Mathematical Physics. Nov2025, Vol. 406 Issue 11, p1-36. 36p.
Συνδεδεμένο Πλήρες ΚείμενοΘεματικοί όροι: *SYMBOLIC computation, *LINEAR operators, *COMPUTER-aided engineering, *BUOYANCY-driven flow
-
7Academic Journal
Συγγραφείς: d'Elbée, Christian1 (AUTHOR)
Πηγή: Journal of Algebra. Nov2025, Vol. 681, p679-712. 34p.
Συνδεδεμένο Πλήρες ΚείμενοΘεματικοί όροι: *LIE algebras, *SYMBOLIC computation, *ALGEBRA, *LOGICAL prediction
-
8Academic Journal
Συγγραφείς: Dattoli, Giuseppe1 (AUTHOR) pinodattoli@libero.it, Khan, Subuhi2 (AUTHOR) subuhi2006@gmail.com, Ahmad, Ujair2 (AUTHOR) ujairamu1998@gmail.com
Πηγή: Reports on Mathematical Physics. Oct2025, Vol. 96 Issue 2, p213-226. 14p.
Θεματικοί όροι: *BESSEL functions, *SYMBOLIC computation, *LOGARITHMS, *MATHEMATICAL analysis, *EXPONENTIAL functions
-
9Report
Συγγραφείς: Beyer, Dirk, Ernst, Gidon, Jonáš, Martin, Lingsch-Rosenfeld, Marian
Θεματικοί όροι: Programming Languages, Symbolic Computation, Software Engineering
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.21509
-
10Report
Συγγραφείς: Perminov, A. I.
Θεματικοί όροι: Symbolic Computation, Data Structures and Algorithms
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.20317
-
11Report
Συγγραφείς: Faverjon, Colin, Poulet, Marina
Θεματικοί όροι: Symbolic Computation, Number Theory
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.18877
-
12Report
Συγγραφείς: Tabbara, Ihab, Badr, Eliya, Sibai, Hussein
Θεματικοί όροι: Systems and Control, Formal Languages and Automata Theory, Symbolic Computation
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.15238
-
13Report
Συγγραφείς: Fekésházy, Levente, Schnetz, Oliver
Θεματικοί όροι: Symbolic Computation, High Energy Physics - Phenomenology
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.15735
-
14Report
Συγγραφείς: Cumbo, Fabio, Li, Rui-Hao, Raubenolt, Bryan, Joshi, Jayadev, Masum, Abu Kaisar Mohammad, Aygun, Sercan, Blankenberg, Daniel
Θεματικοί όροι: Quantum Physics, Emerging Technologies, Symbolic Computation
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.12664
-
15Report
Συγγραφείς: Talbot, Pierre
Θεματικοί όροι: Symbolic Computation
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.11872
-
16Report
Συγγραφείς: Grenet, Bruno
Θεματικοί όροι: Symbolic Computation, Computational Complexity
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.11267
-
17Report
Συγγραφείς: Khoruzhii, Kirill, Gelß, Patrick, Pokutta, Sebastian
Θεματικοί όροι: Symbolic Computation, Data Structures and Algorithms, 68Q25, F.2.1; F.1.3; G.1.3
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.10786
-
18Report
Θεματικοί όροι: Artificial Intelligence, Symbolic Computation
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.10164
-
19Report
Συγγραφείς: Gaudel, Bimal, Adam, Robert G., Melekamburath, Ajay, Masteran, Conner, Teke, Nakul, Besharatnik, Azam, Köhn, Andreas, Valeev, Edward F.
Θεματικοί όροι: Mathematical Software, Symbolic Computation, Chemical Physics, Computational Physics, Quantum Physics
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.09943
-
20Report
Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
Συγγραφείς: Kiefer, Stefan, Ryzhikov, Andrew
Θεματικοί όροι: Formal Languages and Automata Theory, Data Structures and Algorithms, Symbolic Computation
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.09703