Sign in
J. Symb. Comput.
1985
1998
2011
2024
1985
2024
Keyphrases
Publications
volume 123, 2024
Jasper Nalbach
,
Erika Ábrahám
,
Philippe Specht
,
Christopher W. Brown
,
James H. Davenport
,
Matthew England
Levelwise construction of a single cylindrical algebraic cell.
J. Symb. Comput.
123 (2024)
Mugurel Barcau
,
Vicentiu Pasol
Computing primitive idempotents in finite commutative rings and applications.
J. Symb. Comput.
123 (2024)
Lynn Pickering
,
Tereso Del Rio Almajano
,
Matthew England
,
Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
J. Symb. Comput.
123 (2024)
Marc Härkönen
,
Lisa Nicklasson
,
Bogdan Raita
Syzygies, constant rank, and beyond.
J. Symb. Comput.
123 (2024)
Clemens Heuberger
,
Daniel Krenn
,
Gabriel F. Lipnik
A note on the relation between recognisable series and regular sequences, and their minimal linear representations.
J. Symb. Comput.
123 (2024)
Ke-Ming Chang
,
Kuo-Chang Chen
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders.
J. Symb. Comput.
123 (2024)
Rok Pozar
Fast computation of the centralizer of a permutation group in the symmetric group.
J. Symb. Comput.
123 (2024)
Kisun Lee
,
Nan Li
,
Lihong Zhi
Two-step Newton's method for deflation-one singular zeros of analytic systems.
J. Symb. Comput.
123 (2024)
Pierre Lairez
Axioms for a theory of signature bases.
J. Symb. Comput.
123 (2024)
Andreas Pieper
Theta nullvalues of supersingular Abelian varieties.
J. Symb. Comput.
123 (2024)
volume 122, 2024
Juan Xu
,
Dongming Wang
,
Dong Lu
Squarefree normal representation of zeros of zero-dimensional polynomial systems.
J. Symb. Comput.
122 (2024)
Jiayue Qi
A tree-based algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero.
J. Symb. Comput.
122 (2024)
Momonari Kudo
,
Shushi Harashita
Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points.
J. Symb. Comput.
122 (2024)
Julia Lindberg
,
Jose Israel Rodriguez
Invariants of SDP exactness in quadratic programming.
J. Symb. Comput.
122 (2024)
Elisa Gorla
,
Flavio Salizzoni
MacWilliams' Extension Theorem for rank-metric codes.
J. Symb. Comput.
122 (2024)
Irem Portakal
,
Javier Sendra-Arranz
Nash conditional independence curve.
J. Symb. Comput.
122 (2024)
Viachaslau I. Murashka
Formations of finite groups in polynomial time: F-residuals and F-subnormality.
J. Symb. Comput.
122 (2024)
Yulia Alexandr
,
Serkan Hosten
Logarithmic Voronoi cells for Gaussian models.
J. Symb. Comput.
122 (2024)
Martin Helmer
,
Elias P. Tsigaridas
Segre-driven radicality testing.
J. Symb. Comput.
122 (2024)
volume 121, 2024
Rizeng Chen
,
Haokun Li
,
Bican Xia
,
Tianqi Zhao
,
Tao Zheng
Isolating all the real roots of a mixed trigonometric-polynomial.
J. Symb. Comput.
121 (2024)
Qiao-Long Huang
,
Ke Ye
,
Xiao-Shan Gao
Skew-polynomial-sparse matrix multiplication.
J. Symb. Comput.
121 (2024)
Francesca Cioffi
,
Davide Franco
,
Carmine Sessa
An effective decomposition theorem for Schubert varieties.
J. Symb. Comput.
121 (2024)
Emil Horobet
The critical curvature degree of an algebraic variety.
J. Symb. Comput.
121 (2024)
Patience Ablett
,
Stephen Coughlan
Deformations of half-canonical Gorenstein curves in codimension four.
J. Symb. Comput.
121 (2024)
Nancy Abdallah
,
Hal Schenck
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four.
J. Symb. Comput.
121 (2024)
Mareike Dressler
,
Marina Garrote-López
,
Guido Montúfar
,
Johannes Müller
,
Kemal Rose
Algebraic optimization of sequential decision problems.
J. Symb. Comput.
121 (2024)
Moulay A. Barkatou
,
Thomas Cluzeau
On the computation of rational solutions of linear integro-differential equations with polynomial coefficients.
J. Symb. Comput.
121 (2024)
Tim Seynnaeve
,
Nafie Tairi
Universal equations for maximal isotropic Grassmannians.
J. Symb. Comput.
121 (2024)
Marcell János Uray
Algebraic number fields and the LLL algorithm.
J. Symb. Comput.
121 (2024)
Maria M. Davis
,
Dávid Papp
Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size.
J. Symb. Comput.
121 (2024)
volume 120, 2024
Alheydis Geiger
,
Marta Panizzut
Computing tropical bitangents to smooth quartic curves in polymake.
J. Symb. Comput.
120 (2024)
Evans Doe Ocansey
,
Carsten Schneider
Representation of hypergeometric products of higher nesting depths in difference rings.
J. Symb. Comput.
120 (2024)
Fatih Temiz
,
Irfan Siap
On cyclic codes over Zq[u]/〈u2〉 and their enumeration.
J. Symb. Comput.
120 (2024)
Rémi Prébet
,
Mohab Safey El Din
,
Éric Schost
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results.
J. Symb. Comput.
120 (2024)
Jinwang Liu
,
Dongmei Li
,
Tao Wu
The Smith normal form and reduction of weakly linear matrices.
J. Symb. Comput.
120 (2024)
Zoltán Kovács
,
Christopher W. Brown
,
Tomás Recio
,
Róbert Vajda
Computing with Tarski formulas and semi-algebraic sets in a web browser.
J. Symb. Comput.
120 (2024)
Ilias S. Kotsireas
,
Toufik Mansour
,
Gökhan Yildirim
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences.
J. Symb. Comput.
120 (2024)
Marcel Morales
,
Nguyen Thi Dung
A "pseudo-polynomial" algorithm for the Frobenius number and Gröbner basis.
J. Symb. Comput.
120 (2024)
Elisabeth Gaar
,
Melanie Siebenhofer
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases.
J. Symb. Comput.
120 (2024)
Bernd Sturmfels
,
Simon Telen
,
François-Xavier Vialard
,
Max von Renesse
Toric geometry of entropic regularization.
J. Symb. Comput.
120 (2024)
Tomasz Szemberg
,
Justyna Szpond
Sextactic points on the Fermat cubic curve and arrangements of conics.
J. Symb. Comput.
120 (2024)
Ruben Becker
,
Michael Sagraloff
Counting solutions of a polynomial system locally and exactly.
J. Symb. Comput.
120 (2024)
Adrian Becedas
,
Kathlén Kohn
,
Lorenzo Venturello
Voronoi diagrams of algebraic varieties under polyhedral norms.
J. Symb. Comput.
120 (2024)
Claudia Fevola
,
Yelena Mandelshtam
Hirota varieties and rational nodal curves.
J. Symb. Comput.
120 (2024)
Dominik Bendle
,
Janko Böhm
,
Yue Ren
,
Benjamin Schröter
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians.
J. Symb. Comput.
120 (2024)
Luca Sodomaco
,
Ettore Teixeira Turatti
The span of singular tuples of a tensor beyond the boundary format.
J. Symb. Comput.
120 (2024)
Elena Angelini
A counterexample to a conjecture on simultaneous Waring identifiability.
J. Symb. Comput.
120 (2024)
Winfried Bruns
,
Aldo Conca
Sagbi combinatorics of maximal minors and a Sagbi algorithm.
J. Symb. Comput.
120 (2024)
Martin Bråtelund
Critical configurations for two projective views, a new approach.
J. Symb. Comput.
120 (2024)
volume 119, 2023
Shayea Aldossari
Computing pullback function of second order differential operators by using their semi-invariants.
J. Symb. Comput.
119 (2023)