- Zuan Liu, Zihao Qi, Yufei Qin, Guodong Zhou. Gröbner-Shirshov bases for free multi-operated algebras over algebras. Journal of Symbolic Computation, 133:102489, 2026.
- Hiroyuki Ochiai, Satoshi Wakatsuki, Shun'ichi Yokoyama. Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant 2. Journal of Symbolic Computation, 133:102485, 2026.
- Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov. Geometric complexity theory for product-plus-power. Journal of Symbolic Computation, 132:102458, 2026.
- Alaa Ibrahim, Bruno Salvy. Positivity proofs for linear recurrences through contracted cones. Journal of Symbolic Computation, 132:102463, 2026.
- Rui-Juan Jing, Marc Moreno Maza, Chirantan Mukherjee, Yan-Feng Xie, Chun-Ming Yuan. Efficient detection of redundancies in systems of linear inequalities. Journal of Symbolic Computation, 135:102527, 2026.
- Rafael Stekolshchik. Extraspecial pairs in the multiply laced root systems and calculating structure constants. Journal of Symbolic Computation, 134:102519, 2026.
- Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi. A field-theoretic view of unlabeled sensing. Journal of Symbolic Computation, 135:102542, 2026.
- Anthony Pisani. Computing the character table of a 2-local maximal subgroup of the Monster. Journal of Symbolic Computation, 135:102540, 2026.
- John M. Campbell. q-analogues of π-formulas due to Ramanujan and Guillera. Journal of Symbolic Computation, 134:102531, 2026.
- Alexis Eduardo Almendras Valdebenito, Jonathan Armando Briones Donoso, Andrea Luigi Tironi. Resultants of skew polynomials over division rings. Journal of Symbolic Computation, 132:102476, 2026.