yusuke1997/dblp-id-title huggingface dataset:
Lower bounds on the rank and symmetric rank of real tensors
Generalised Characteristic Polynomials
Submodule approach to creative telescoping
Generalized Strong Pseudoprime Tests and Applications
On the existence of telescopers for rational functions in three variables
Bounded-degree factors of lacunary multivariate polynomials
Ideals with larger projective dimension and regularity
Linear groupoids and the associated wreath products
Asymptotic Eigenfrequency Distributions for the N-Beam Euler-Bernoulli Coupled Beam Equation with Dissipative Joints
Naturally graded quasi-filiform Leibniz algebras
Computation of the Interval of Stability of Runge-Kutta-Nyström Methods
Effective bounds for the consistency of differential equations
A geometric index reduction method for implicit systems of differential algebraic equations
Nash conditional independence curve
Computing with quadratic forms over number fields
Graph sequence learning for premise selection
The Karatsuba integer middle product
Isomorphism Testing for p-Groups
On the computation of the HNF of a module over the ring of integers of a number field
Looking for Gröbner basis theory for (almost) skew 2-nomial algebras
Transforming linear functional systems into fully integrable systems
The Product Replacement Prospector
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders
From simplification to a partial theory solver for non-linear real polynomial constraints
Polynomial Systems from Certain Differential Equations
Invariants for the computation of intransitive and transitive Galois groups
Markov bases of three-way tables are arbitrarily complicated
Approximate polynomial GCD: Small degree and small height perturbations
A fast algorithm for denumerants with three variables
Analysis of Euclidean Algorithms for Polynomials over Finite Fields
Renormalization Automated by Hopf Algebra
On the verification of security-aware E-services
First-order theorem proving: Foreword
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates
Parallel Multiplication and Powering of Polynomials
Parameter augmentation and the q
Verification protocols with sub-linear communication for polynomial matrix operations
The complexity of subdivision for diameter-distance tests
Resultants of skew polynomials over division rings
Algebraic geometry of Bayesian networks
Computing the support of monomial iterated mapping cones
Around the numeric-symbolic computation of differential Galois groups
Mixed volumes of networks with binomial steady-states
Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry
(1+i)-ary GCD Computation in Z[i] as an Analogue to the Binary GCD Algorithm
Integrability test for evolutionary lattice equations of higher order
Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms
Deformation of roots of polynomials via fractional derivatives
Exact linear modeling using Ore algebras
The Gröbner Fan of an Ideal
Integration of Elementary Functions
Reflection groups and cones of sums of squares
The Magma Algebra System I: The User Language
Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities
An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
Solving Index Form Equations in Fields of Degree 9 with Cubic Subfields
Syzygies of Jacobian ideals and weighted homogeneous singularities
Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers
Standard Bases in Power Series Rings: Uniqueness and Superfluous Critical Pairs
Solving a class of higher-order equations over a group structure
A Deterministic Constructin of Normal Bases With Complexity O(n³+n log n log(log n) log q)
Output-sensitive modular algorithms for polynomial matrix normal forms
An algorithm for checking whether the toric ideal of an affine monomial curve is a complete intersection
Formal Solutions and Factorization of Differential Operators with Power Series Coefficients
Normal forms in a cyclically graded Lie algebra
REDUCE and the Bifurcation of Limit Cycles
Formal solutions of singularly-perturbed linear differential systems
Characterizing positively invariant sets: Inductive and topological methods
The invariant rings of the Sylow groups of GU(3, q 2 ), GU(4, q 2 ), Sp(4, q) and O + (4, q) in the natural characteristic
Certified dense linear system solving
Extracting sparse factors from multivariate integral polynomials
A Finite Soluble Quotient Algorithm
A new faster algorithm for factoring skew polynomials over finite fields
Multiple object semilinear motion planning
Good bases for tame polynomials
Small polygons and toric codes
Testing containment of tropical hypersurfaces within polynomial complexity
Algebraic optimization of sequential decision problems
Symmetries of Polynomials
A note on the multivariate symmetric Hermite interpolant
Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets
Baby-step giant-step algorithms for the symmetric group
General tensor decomposition, moment matrices and applications
Singular Points of Algebraic Curves
Conjugacy classes and centralisers in wreath products
On the Two-Dimensional Davenport Schinzel Problem
Modular Arithmetic for Linear Algebra Computations in the Real Field
Infinite String Rewrite Systems and Complexity
Embeddings of PSL(2, 41) and PSL(2, 49) in E 8 (C)
Fast systematic encoding of multiplicity codes
Gröbner bases with coefficients in rings
On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -
Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach
The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients
Complexity of Deciding Tarski Algebra
Simplification of Expressions Involving Radicals
Certified computation of planar Morse-Smale complexes
A note on the relation between recognisable series and regular sequences, and their minimal linear representations
The mu-basis and implicitization of a rational parametric surface
On Computer-assisted Classification of Coupled Integrable Equations
Constraint contextual rewriting
Computation of Milnor numbers and critical values at infinity
On Lucky Primes
Log-concavity of P -recursive sequences
Imaginary projections of polynomials
On certain polynomial systems involving Stirling numbers of second kind
Descriptions of Groups of Primepower Order
Computational Algebraic Geometry of Projective Configurations
Detecting lacunary perfect powers and computing their roots
Evaluation strategies for functional logic programming
Markov bases for noncommutative Fourier analysis of ranked data
Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: I. The Largest Factor
Skew-polynomial-sparse matrix multiplication
Integration of Rational Functions: Rational Computation of the Logarithmic Part
Gröbner bases in universal enveloping algebras of Leibniz algebras
Singularities and genus of the k -ellipse
Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems
Coupled cluster degree of the Grassmannian
Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size
An improved complexity bound for computing the topology of a real algebraic space curve
Decomposition of Algebraic Functions
Counting solutions of a polynomial system locally and exactly
Quantifier elimination for a class of exponential polynomial formulas
A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers
Computation of Hilbert Functions
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
Catalan-many tropical morphisms to trees; Part I: Constructions
Guessing singular dependencies
Factorization of Polynomials over Finite Fields and Characteristic Sequences
Modular Las Vegas algorithms for polynomial absolute factorization
Discovering invariants via simple component analysis
Dancing samba with Ramanujan partition congruences
Fast computation of discrete invariants associated to a differential rational mapping
A New Existence Proof for Ly, the Sporadic Simple Group of R. Lyons
A nearly optimal algorithm to decompose binary forms
Class Number Relations from a Computational Point of View
Differential operators on orbifolds
Generators of the ideal of an algebraic space curve
On the Modularity of Normal Forms in Rewriting
A difference ring theory for symbolic summation
Identifying Half-Twists Using Randomized Algorithm Methods
Distributed Maple: parallel computer algebra in networked environments
Algorithmic determination of q-power series for q-holonomic functions
The conjugacy problem and canonical representatives in finitely generated nilpotent groups
Computing Chebyshev knot diagrams
On Recognisable Properties of Associative Algebras
Rational Solutions of Riccati-like Partial Differential Equations
Gröbner fans of x-homogeneous ideals in R〚t〛[x]
Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme
On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
Application of Symbolic Algebra to the Analysis of Plates on Variable Elastic Foundation
Recovering a sum of two squares decomposition
On an Installation of Buchberger's Algorithm
Calculation of a formal moment generating function by using a differential operator
On using Lazard's projection in CAD construction
A Tutorial Introduction to Maple
On the Stability of Gröbner Bases Under Specializations
Superposition with completely built-in Abelian groups
Counting invariant subspaces and decompositions of additive polynomials
Genus 2 point counting over prime fields
Reduced Idempotents in the Semigroup of Boolean Matrices
Polynomial ring automorphisms, rational (w, sigma)-canonical forms, and the assignment problem
Shifted varieties and discrete neighborhoods around varieties
Quantum Fourier transform over symmetric groups - improved result
Unexpected hypersurfaces with multiple fat points
Constructing a Representation of the Group
Reduction relations for monoid semirings
A Gröbner Basis Method for Modules over Rings of Differential Operators
Exploring circulations yielding no vortex equilibria
Symmetric polynomials in tropical algebra semirings
The Word Problem for Free Partially Commutative, Partially Associative Groupoids
A method of verifying partition congruences by symbolic computation
Elliptic Gauss sums and applications to point counting
Obituary. Philippe Flajolet
Modular Higher-Order Equational Preunification
Automatic Generation of Mapping Functions for Infinite Elements Using REDUCE
Inductive Theorem Proving for Design Specification
A simple and fast online power series multiplication and its analysis
Galois groups over rational function fields and Explicit Hilbert Irreducibility
On a Family of Quintic Thue Equations
On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functions
Faster sparse multivariate polynomial interpolation of straight-line programs
A procedure for computing the symmetric difference of regions defined by polygonal curves
Robust Multi-Objective Feedback Design by Quantifier Elimination
Geometry and Structure of Lie Pseudogroups from Infinitesimal Defining Systems
An automated study of isoptic curves of an astroid
Algorithm for Computing Bernstein-Sato Ideals Associated with a Polynomial Mapping
Computing a Set of Generators of Minimal Cardinality in a Solvable Group
Symbolic Derivation of Runge-Kutta Methods
Efficient computation of maximal orders in radical (including Kummer) extensions
Local Bernstein-Sato ideals: Algorithm and examples
The invariants of the binary decimic
Tree automata for rewrite strategies
Certifying properties of an efficient functional program for computing Gröbner bases
Applications of SAGBI-bases in dynamics
Identifying the parametric occurrence of multiple steady states for some biological networks
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Special Issue on Computational Algebra and Number Theory: Proceedings of the Second Magma Conference - Foreword of the Guest Editor
Trying to Do Group Theory with Undergraduates and Computers
Group arithmetic in C 3, 5 C3, 5 curves
Creative telescoping for hypergeometric double sums
Predicting Zero Coefficients in Formal Power Series Computations
Computing the multilinear factors of lacunary polynomials without heights
An Approach to the Zero Recognition Problem by Buchberger Algorithm
The 2-Modular Decomposition Matrices of the Non-Principal Blocks of Maximal Defect of the Triple Cover of the Sporadic Simple McLaughlin Group
On the Deterministic Complexity of Factoring Polynomials
Near-optimal parameterization of the intersection of quadrics: II. A classification of pencils
Real Number Computations: On the Use of Information
A constructive method for decomposing real representations
Integer programming with binary and bounded variables via Gröbner bases with applications to multiobjective integer programming
Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities
A New Method for the Boolean Ring Based Theorem Proving
Prime Decompositions of Radicals in Polynomial Rings
Computing lattice ideals of unions of monomial curves
Certified sparse linear system solving
On a conjecture of Vasconcelos via Sylvester forms
Strongly Noetherian rings and constructive ideal theory
Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations
Computation of the singularities of parametric plane curves
Symbolic computation in applied computational mechanics
Heuristics to sift extraneous factors in Dixon resultants
A Generalization of Reduction Rings
Computer Algebra Applied to Itself
Partial standard bases as a tool for studying families of singularities
Computing the bound of an Ore polynomial. Applications to factorization
Non-Cohen-Macaulay unique factorization domains in small dimensions
Symbolic Reachability Computation for Families of Linear Vector Fields
Irreducible Linear Differential Equations of Prime Order
Revealing regions of multiple steady states in heterogeneous catalytic chemical reaction networks using Gröbner basis
An elementary proof of Sylvester's double sums for subresultants
Factorization of motion polynomials
An objective representation of the Gaussian integers
A computational study of ruled surfaces
Fast Recognition of Doubly Transitive Groups
Linear differential equations in exponential extensions
Rational curves on Calabi-Yau threefolds: Verifying mirror symmetry predictions
A fast parallel sparse polynomial GCD algorithm
Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering
On the existence and convergence of formal power series solutions of nonlinear Mahler equations
A Catalogue of Complete Group Presentations
Weak Wu Stratification in R n
Valuations and Filtrations
Constructive recognition of classical groups in their natural representation
Reasoning about linkages with dynamic geometry
Some algebraic methods for solving multiobjective polynomial integer programs
Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials
Set-theoretic generators of rational space curves
The complexity of computing all subfields of an algebraic number field
Helical polynomial curves and double Pythagorean hodographs II. Enumeration of low-degree curves
Inversion Problems in the q-Hahn Tableau
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials
Truth table invariant cylindrical algebraic decomposition
On the computation of the Ratliff-Rush closure
Foreword to the Special Issue on Schemas
On eigenvalues of symmetric matrices with PSD principal submatrices
Staged tree models with toric structure
Bivariate triangular decompositions in the presence of asymptotes
An unwinding number pair for continuous expressions of integrals
On initials and the fundamental theorem of tropical partial differential algebraic geometry
Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation
Computing the algebraic relations of C-finite sequences and multisequences
On the Descriptive Power of Term Rewriting Systems
Special issue on effective methods in algebraic computation
Subdivision methods for solving polynomial equations
Landau's Inequality via Hadamard's
Differential Equations of Some Orthogonal Families in REDUCE
Computer Classification of Integrable Coupled KdV-like Systems
Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms
A Fast and Numerically Stable Euclidean-Like Algorithm for Detecting Relatively Prime Numerical Polynomials
Relax, but Don't be Too Lazy
On the Representation of 1 by Binary Cubic Forms of Positive Discriminant
Lattices of Compatibly Embedded Finite Fields
Voronoi diagrams of algebraic varieties under polyhedral norms
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
NxN Puzzle and Related Relocation Problem
On the free resolution induced by a Pommaret basis
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
Relations among multi-polynomial subresultants
Matrix factorizations of the discriminant of S
SAGBI and SAGBI-Gröbner Bases over Principal Ideal Domains
A "pseudo-polynomial" algorithm for the Frobenius number and Gröbner basis
Subquadratic Computation of Vector Generating Polynomials and Improvement of the Block Wiedemann Algorithm
Fast simplifications for Tarski formulas based on monomial inequalities
Curves of Genus 2 with (N, N) Decomposable Jacobians
A quantitative Pólya's Theorem with zeros
Bruno Buchberger and the world of Gröbner bases
Homogeneous Bivariate Decompositions
A Methodology for Detecting Shared Variable Dependencies in Logic Programs
Implicitizing rational hypersurfaces using approximation complexes
Quasi-quadratic elliptic curve point counting using rigid cohomology
On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals
Strict inclusions of high rank loci
Polyhedral conditions for the nonexistence of the MLE for hierarchical log-linear models
A combinatorial description of finite O-sequences and aCM genera
Postulation of lines in P 3 revisited
Completion of Rewrite Systems with Membership Constraints. Part II: Constraint Solving
A Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration
Shallow confluence of conditional term rewriting systems
The integral closure of a primary ideal is not always primary
Stratification of the space of foliations on CP 2
Computing finite and infinite free resolutions with Pommaret-like bases
State space analysis of Petri nets with relation-algebraic methods
Efficient algorithms for order basis computation
Betti sequence of the projective closure of affine monomial curves
Tensor decomposition for learning Gaussian mixtures from moments
Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant 2
The card guessing game: A generating function approach
Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
A Note on Polynomial Reduction
Special Issue on Symbolic and Algebraic Computation: ISSAC 2017
Stabilized recovery and model reduction for multivariate exponential polynomials
On the Transformation of Logic Programs with Instantiation Based Computation Rules
Sections of Dupin cyclides and their focal properties
Complete intersections in simplicial toric varieties
On the De Boer-Pellikaan method for computing minimum distance
A Fast Algorithm for Finding "Small" Solutions of F(x, y)=G(x, y) over Imaginary Quadratic Fields
On deflation and multiplicity structure
Greatest Factorial Factorization and Symbolic Summation
Constructing Specification Morphisms
Computing split maximal toral subalgebras of Lie algebras over fields of small characteristic
Computing hypercircles by moving hyperplanes
Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy
Real root finding for determinants of linear matrices
Standard bases in K
Inheritance Hierarchies: Semantics and Unification
KP solitons from tropical limits
Élie Cartan's geometrical vision or how to avoid expression swell
The Mechanical Computation of First and Second Cohomology Groups
Differential invariants of a Lie group action: Syzygies on a generating set
Genus 3 curves whose Jacobians have endomorphisms by
Solving Degenerate Sparse Polynomial Systems Faster
Generic initial ideals of points and curves
Finite group characters on free resolutions
Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
Computing Sylow Subgroups in Permutation Groups
Rational Univariate Reduction via toric resultants
Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures
Asymptotic Forms and Algebraic Differential Equations
Structural identifiability of series-parallel LCR systems
An Algorithm for Solving Second Order Linear Homogeneous Differential Equations
On the Polynomial Representation of Generalized Liouville Operators
Fast Parallel Absolute Irreducibility Testing
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
A Note on Gröbner Bases and Integration of Rational Functions
Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem
The 2- and 3 Modular Characters of J3, its Covering Group and Automorhism Group
On the existence of telescopers for P-recursive sequences
Primary Decomposition of Modules: Two Variables over a Field
A New Method for Undecidablity Proofs of First Order Theories
Special issue algebraic coding theory and applications
Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations
Ideals of the form I 1 ( XY )
Completion of Rewrite Systems with Membership Constraints. Part I: Deduction Rules
Polynomial-time proofs that groups are hyperbolic
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
Conic Approximation of Conic Offsets
Exact algorithms for semidefinite programs with degenerate feasible set
Single-lifting Macaulay-type formulae of generalized unmixed sparse resultants
Using Unavoidable Set of Trees to Generalize Kruskal's Theorem
Generalizations of complete mappings of finite fields and some applications
Towards a Soluble Quotient Algorithm
Riemann Surfaces, Plane Algebraic Curves and Their Period Matrices
Bohdan S. Majewski: Integer Matrix Diagonalization
Ranks and symmetric ranks of cubic surfaces
Exact moment representation in polynomial optimization
Elimination Theory in Codimension 2
Limits of quotients of bivariate real analytic functions
Special issue on symbolic and algebraic computation: Foundations, algorithmics and applications: ISSAC 2011
Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics
Verifying the consistency of web-based technical documentations
Rogers-Ramanujan computer searches
Hilbert Functions and the Buchberger Algorithm
Computing restrictions of ideals in finitely generated k -algebras by means of Buchberger's algorithm
Symbolic and numerical analysis of plates in bending using Matlab
Noncommutative algebra, multiple harmonic sums and applications in discrete probability
A Borel open cover of the Hilbert scheme
An Application of Point Pattern Matching in Astronautics
Decidability of bounded higher-order unification
Skalpel: A constraint-based type error slicer for Standard ML
Using symmetries in the eigenvalue method for polynomial systems
A Maple Package for Symmetric Functions
The Smith normal form and reduction of weakly linear matrices
SqFreeEVAL: An (almost) optimal real-root isolation algorithm
Recognizing implicitly given rational canal surfaces