| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Emil Horobet |
The critical curvature degree of an algebraic variety.  |
J. Symb. Comput.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mareike Dressler, Marina Garrote-López, Guido Montúfar, Johannes Müller, Kemal Rose |
Algebraic optimization of sequential decision problems. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Helmer, Elias P. Tsigaridas |
Segre-driven radicality testing. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Becker, Michael Sagraloff |
Counting solutions of a polynomial system locally and exactly. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Rok Pozar |
Fast computation of the centralizer of a permutation group in the symmetric group. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Gaar, Melanie Siebenhofer |
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Lindberg, Jose Israel Rodriguez |
Invariants of SDP exactness in quadratic programming. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Fevola, Yelena Mandelshtam |
Hirota varieties and rational nodal curves. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lynn Pickering, Tereso Del Rio Almajano, Matthew England 0001, Kelly Cohen |
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Abdallah, Hal Schenck |
Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bråtelund |
Critical configurations for two projective views, a new approach. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulia Alexandr, Serkan Hosten |
Logarithmic Voronoi cells for Gaussian models. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Viachaslau I. Murashka |
Formations of finite groups in polynomial time: F-residuals and F-subnormality. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Seynnaeve, Nafie Tairi |
Universal equations for maximal isotropic Grassmannians. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Lairez |
Axioms for a theory of signature bases. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Irem Portakal, Javier Sendra-Arranz |
Nash conditional independence curve. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács, Christopher W. Brown 0001, Tomás Recio, Róbert Vajda |
Computing with Tarski formulas and semi-algebraic sets in a web browser. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinwang Liu, Dongmei Li, Tao Wu |
The Smith normal form and reduction of weakly linear matrices. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Sturmfels, Simon Telen, François-Xavier Vialard, Max von Renesse |
Toric geometry of entropic regularization. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcell János Uray |
Algebraic number fields and the LLL algorithm. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Patience Ablett, Stephen Coughlan |
Deformations of half-canonical Gorenstein curves in codimension four. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Pieper |
Theta nullvalues of supersingular Abelian varieties. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Gorla, Flavio Salizzoni |
MacWilliams' Extension Theorem for rank-metric codes. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Prébet, Mohab Safey El Din, Éric Schost |
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng |
Isolating all the real roots of a mixed trigonometric-polynomial. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatih Temiz, Irfan Siap |
On cyclic codes over Zq[u]/〈u2〉 and their enumeration. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alheydis Geiger, Marta Panizzut |
Computing tropical bitangents to smooth quartic curves in polymake. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Kisun Lee, Nan Li 0013, Lihong Zhi |
Two-step Newton's method for deflation-one singular zeros of analytic systems. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Evans Doe Ocansey, Carsten Schneider |
Representation of hypergeometric products of higher nesting depths in difference rings. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Härkönen, Lisa Nicklasson, Bogdan Raita |
Syzygies, constant rank, and beyond. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Xu, Dongming Wang 0001, Dong Lu |
Squarefree normal representation of zeros of zero-dimensional polynomial systems. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias S. Kotsireas, Toufik Mansour, Gökhan Yildirim 0002 |
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Winfried Bruns, Aldo Conca |
Sagbi combinatorics of maximal minors and a Sagbi algorithm. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiao-Long Huang, Ke Ye, Xiao-Shan Gao |
Skew-polynomial-sparse matrix multiplication. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mugurel Barcau, Vicentiu Pasol |
Computing primitive idempotents in finite commutative rings and applications. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Cioffi, Davide Franco, Carmine Sessa |
An effective decomposition theorem for Schubert varieties. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Sodomaco, Ettore Teixeira Turatti |
The span of singular tuples of a tensor beyond the boundary format. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Szemberg, Justyna Szpond |
Sextactic points on the Fermat cubic curve and arrangements of conics. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Becedas, Kathlén Kohn, Lorenzo Venturello |
Voronoi diagrams of algebraic varieties under polyhedral norms. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown 0001, James H. Davenport, Matthew England 0001 |
Levelwise construction of a single cylindrical algebraic cell. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Angelini |
A counterexample to a conjecture on simultaneous Waring identifiability. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Moulay A. Barkatou, Thomas Cluzeau |
On the computation of rational solutions of linear integro-differential equations with polynomial coefficients. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria M. Davis, Dávid Papp |
Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Morales, Nguyen Thi Dung |
A "pseudo-polynomial" algorithm for the Frobenius number and Gröbner basis. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Teresa Cortadellas Benítez, Carlos D'Andrea, M. Eulalia Montoro |
Bounds for degrees of syzygies of polynomials defining a grade two ideal. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Matthias Orth, Werner M. Seiler |
Recursive structures in involutive bases theory. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joydip Saha, Indranath Sengupta, Pranjal Srivastava |
Betti sequence of the projective closure of affine monomial curves. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Bostan, Sergey Yurkevich |
Fast computation of the N-th term of a q-holonomic sequence and applications. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | João Gouveia, Antonio Macchia, Amy Wiebe |
General non-realizability certificates for spheres with linear programming. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dávid Papp |
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jefferson, Rebecca Waldecker, Wilf A. Wilson |
Perfect refiners for permutation group backtracking algorithms. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Vill |
Gram spectrahedra of ternary quartics. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Khazhgali Kozhasov |
On eigenvalues of symmetric matrices with PSD principal submatrices. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong-Hua Wang, Michael X. X. Zhong |
q-Rational reduction and q-analogues of series for π. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
Polynomial modular product verification and its implications. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rida Ait El Manssour, Anna-Laura Sattelberger |
Combinatorial differential algebra of xp. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tipaluck Krityakierne, Thotsaporn "Aek" Thanatipanonda |
The card guessing game: A generating function approach. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Elliott, Mark Giesbrecht, Éric Schost |
Bit complexity for computing one point in each connected component of a smooth real algebraic set. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic |
Some fast algorithms multiplying a matrix by its adjoint. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver |
Machine learning invariants of arithmetic curves. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, H. Michael Möller |
A new algorithm for computing staggered linear bases. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Leykin, Pierre Lairez |
Foreword. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dingkang Wang, Hesong Wang, Jingjing Wei, Fanghui Xiao |
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Lu, Dingkang Wang, Fanghui Xiao |
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tulay Ayyildiz Akoglu, Ágnes Szántó |
Certified Hermite matrices from approximate roots. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianjie Zhang, Xing Gao 0006, Li Guo 0003 |
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din |
A signature-based algorithm for computing the nondegenerate locus of a polynomial system. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Huang, Chee Yap |
An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiao-Long Huang |
Sparse polynomial interpolation based on derivatives. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Miguel, Andrea Guidolin, Ana Romero 0001, Julio Rubio 0001 |
Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Erick Rodríguez Bazan, Evelyne Hubert |
Symmetry in multivariate ideal interpolation. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | José Cano, Sebastian Falkensteiner, Daniel Robertz, J. Rafael Sendra |
Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Magron, Jie Wang 0037 |
SONC optimization and exact nonnegativity certificates via second-order cone programming. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Josué Tonelli-Cueto, Elias P. Tsigaridas |
Condition numbers for the cube. I: Univariate polynomials and hypersurfaces. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Q. D. Du, Dazhao Tang |
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, António Morgado 0001, Petr Vojtechovský |
Computing generating sets of minimal size in finite algebras. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Capco, Mohab Safey El Din, Josef Schicho |
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-San Cheng, Junyi Wen, Bingwei Zhang |
Certified numerical real root isolation for bivariate nonlinear systems. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rosowski |
Fast commutative matrix algorithms. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie |
Parallelization of triangular decompositions: Techniques and implementation. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronaldo Garcia, Jair Koiller, Dan Reznik |
Loci of 3-periodics in an Elliptic Billiard: Why so many ellipses? |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Miklós Bóna, Jay Pantone |
Permutations avoiding sets of patterns with long monotone subsequences. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, François Boulier, Zeinab Toghani |
On initials and the fundamental theorem of tropical partial differential algebraic geometry. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Debus, Cordian Riener |
Reflection groups and cones of sums of squares. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Agostini, Claudia Fevola, Yelena Mandelshtam, Bernd Sturmfels |
KP solitons from tropical limits. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Koprowski, Beata Rothkegel |
The anisotropic part of a quadratic form over a number field. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynaldo Staffolani |
Schur apolarity. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shayea Aldossari |
Computing pullback function of second order differential operators by using their semi-invariants. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsz Yung Cheung |
Liouvillian solutions of Whittaker-Ince equation. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kexin Wang, Anna Seigal |
Lower bounds on the rank and symmetric rank of real tensors. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos D'Andrea, Kaie Kubjas, Fatemeh Mohammadi |
Special issue of JSC on the occasion of MEGA 2021. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Katherine Harris, Jonathan D. Hauenstein, Ágnes Szántó |
Smooth points on semi-algebraic sets. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Fieker, Nicole Sutherland |
Computing splitting fields using Galois theory and other Galois constructions. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Yahl |
Computing Galois groups of Fano problems. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan D. Hauenstein, Yang-Hui He, Ilias S. Kotsireas, Dhagash Mehta, Tingting Tang |
Special issue on Algebraic Geometry and Machine Learning. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license