yusuke1997/dblp-id-title huggingface dataset:
Parallel Tree Pattern Matching
Improved polynomial remainder sequences for Ore polynomials
Viterbi sequences and polytopes
Extending the µLog Framework with Local and Conditional Blackboard Operations
KANT V4
A fast algorithm for computing multiplicative relations between the roots of a generic polynomial
On the asymptotic and practical complexity of solving bivariate systems over the reals
Involutive Bases in the Weyl Algebra
The affine primitive permutation groups of degree less than 1000
How to delete categorically - Two pushout complement constructions
Bounded distance decoding of linear error-correcting codes with Gröbner bases
On the complexity of exact counting of dynamically irreducible polynomials
Termination of Term Rewriting: Interpretation and Type Elimination
Effective lattice point counting in rational convex polytopes
Symmetrizing tableaux and the 5th case of the Foulkes conjecture
On Principal Ideal Testing in Algebraic Number Fields
Interactive Theorem Proving with Temporal Logic
Computation and homotopical applications of induced crossed modules
Nearly optimal refinement of real roots of a univariate polynomial
Computing the Radical of an Ideal in Positive Characteristic
Formal enforcement of security policies on concurrent systems
Short rational functions for toric algebra and applications
Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and Groups
A database of categories
Geometric complexity theory for product-plus-power
Bezoutian and quotient ring structure
On the classification of foliations of degree three with one singularity
On the solutions of holonomic third-order linear irreducible differential equations in terms of hypergeometric functions
Improvements of Lagrange's bound for polynomial roots
New order bounds in differential elimination algorithms
The Differential Ideal [P]: M infty
Rational invariants of a group action. Construction and rewriting
Sequentiality in Orthogonal Term Rewriting Systems
Stratified resolution
On complete system of invariants for the binary form of degree 7
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
Rational Summation and Gosper-Petkovsek Representation
Calculating generators of multigraded algebras
On the Complexity of Computing Syzygies
Hypergeometric solutions of linear difference systems
MultInt, a MAPLE Package for Multiple Integration by the WZ Method
A normal form algorithm for the Brieskorn lattice
On Approximate GCDs of Univariate Polynomials
A new general formula for the Cauchy index on an interval with subresultants
Application of Ordered Standard Bases to Catastrophe Theory
The Analytic Approach to Recursion Relations
Computing primitive idempotents in finite commutative rings and applications
Gröbner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras
Equi-affine minimal-degree moving frames for polynomial curves
On surfaces of minimal degree in P5
Computing the Structure of Finite Algebras
On Elkies' method for bounding the transitivity degree of Galois groups
Splitting quaternion algebras over quadratic number fields
A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals
Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure
Multiple Bernoulli series and volumes of moduli spaces of flat bundles over surfaces
Corrigendum to "On the cactus rank of cubics forms" [J. Symb. Comput. 50 (2013) 291-297]
Fast Computation of Some Asymptotic Functional Inverses
Parallelogram Polyominoes and Corners
MICC: A tool for computing short distances in the curve complex
Dimension and depth dependent upper bounds in polynomial ideal theory
A Gröbner-based treatment of elimination theory for affine varieties
Renormalisation Group, Function Iterations and Computer Algebra
Special issue on symbolic computation in software science
Intersecting Subgroups of Finite Soluble Groups
Computing Isomorphisms of Association Schemes and its Application
Algorithmic calculus for Lie determining systems
Fast Hermite interpolation and evaluation over finite fields of characteristic two
Complexity Bounds for Some Finite Forms of Kruskal's Theorem
Explicit formulas of Euler sums via multiple zeta values
Computing in algebraic geometry and commutative algebra using Macaulay 2
Minimal generating sets for matrix monoids
Solving a Congruence on a Graded Algebra by a Subresultant Sequence and its Application
Computing homology using generalized Gröbner bases
Symbolic Constraints in Constructive Geometric Constraint Solving
Fast operations on linearized polynomials and their applications in coding theory
Computing the Order of a Solvable Permutation Group
A Canonical Form for Generalized Linear Constraints
An Algorithm for Exact Division
A Henneberg-based algorithm for generating tree-decomposable minimally rigid graphs
Computational aspects of retrieving a representation of an algebraic geometry code
The extended Zeilberger algorithm with parameters
A computational approach to almost-inner derivations
Solving equations with sequence variables and sequence functions
Local Cohomology at Monomial Ideals
The critical curvature degree of an algebraic variety
Continuous amortization and extensions: With applications to bisection-based root isolation
A hybrid search algorithm for the Whitehead Minimization problem
MACSYMA from F to G
Polynomial factorization algorithms over number fields
Critical Pair Criteria for Completion
Early termination in sparse interpolation algorithms
Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms
Subresultants and generic monomial bases
On Alexander-Conway polynomials of two-bridge links
Linear Problems in Valued Fields
Arithmetic of D-algebraic functions
Applying abstract acceleration to (co-)reachability analysis of reactive programs
Combinatorial decompositions for monomial ideals
On the Product of the Largest Roots of a Polynomial
Gröbner bases and syzygies on bimodules over PBW algebras
Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
A Generic Approach to Building User Interfaces for Theorem Provers
On the Validity of Implicitization by Moving Quadrics for Rational Surfaces with No Base Points
Self-dual skew codes and factorization of skew polynomials
Solving thousand-digit Frobenius problems using Gröbner bases
Computing separability elements for the sentence-ambient algebra of split ideal codes
The Ideal Membership Problem in Non-Commutative Polynomial Rings
Efficient Rational Number Reconstruction
The Rees Algebra of a monomial plane parametrization
A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals
Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations
The STO-Problem is NP-Hard
The Sibirsky component of the center variety of polynomial differential systems
An Implicitization Algorithm for Rational Surfaces with no Base Points
Representation theory on the open Bruhat cell
Systems of equations with a single solution
For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3
The Trascendental Risch Differential Equation
The Todd-Coxeter Procedure and Left Kan Extensions
Combining Symbolic Constraint Solvers on Algebraic Domains
Bounding the number of limit cycles for a polynomial Liénard system by using regular chains
Pólya's Theorem with zeros
The integration of systems of linear PDEs using conservation laws of syzygies
Static consistency checking of web applications with WebDSL
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Computing the Measure of a Polynomial
Some new simple Lie algebras in characteristic 2
On the Theories of Triangular Sets
Algebraic and Symbolic Manipulation of Poisson Series
On Holt's Algorithm
Algorithms for computing a primary ideal decomposition without producing intermediate redundant components
A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings
On the existence of telescopers for mixed hypergeometric terms
Solving a sparse system using linear algebra
Machine learning the real discriminant locus
Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations
Inproved Bounds for Rectangular and Guillotine Partitions
How to implement a modular form
Foreword from the editors
An algorithm to compute the set of characteristics of a system of polynomial equations over the integers
HYP and HYPQ
The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares
Matrix-F5 algorithms and tropical Gröbner bases computation
Strictly positive polynomials in the boundary of the SOS cone
Cohomology on Toric Varieties and Local Cohomology with Monomial Supports
On Subsumption and Semiunifaction in Feature Algebras
Efficient rational creative telescoping
Selecting Base Points for the Schreier-Sims Algorithm for Matrix Groups
Sparse resultants and straight-line programs
Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD
Curves testing boundedness of polynomials on subsets of the real plane
A Non-Standard Temporal Deductive Database System
Rational curves over generalized complex numbers
SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple
Programming with narrowing: A tutorial
Near optimal subdivision algorithms for real root isolation
An Algorithm to Compute the Invariant Ring of a G_a-Action on an Affine Variety
Computing the characteristic numbers of the variety of nodal plane cubics in P 3
Rational Parametrizations of Algebraic Curves Using a Canonical Divisor
Computations of Gromov-Witten invariants of toric varieties
Grail: A C++ Library for Automata and Expressions
On the Resolution of Index form Equations in Sextic Fields with an Imaginary Quadratic Subfield
Implicit Representation of Rational Parametric Surfaces
Generalizations of Unification
Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
Nonlinear Control System Design by Quantifier Elimination
Computing direct sum decompositions
A Parser for the Interval Evaluation of Analytical Functions and its Application to Engineering Problems
Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficents
An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes
On the Analytic Solution by Computer Algebra of Some Problems in the Vibration-Rotational Spectroscopy of Diatomic Molecules
On the blowup of affine spaces along monomial ideals: Tameness
Theory decision by decomposition
SumCracker: A package for manipulating symbolic sums and related objects
Quadratic 2-step Lie algebras: Computational algorithms and classification
Gröbner Bases in Clifford and Grassmann Algebras
Symmetry in multivariate ideal interpolation
Certified simultaneous isotopic approximation of algebraic curves via subdivision
Closed Forms for the Number of Polygon Dissections
Gram spectrahedra of ternary quartics
Floating-point versus Symbolic Computations in theQD-algorithm
A hybrid symbolic-numerical approach to the center-focus problem
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry
The fiber cone of a monomial ideal in two variables
An Incremental Method for Generating Prime Implicants/Impicates
Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic
An Algorithm for Generalized Point Location and its Applications
Two algorithms for computing the general component of jet scheme and applications
Proving hypergeometric identities by numerical verifications
Sylvester's double sums: The general case
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
On algorithmically checking whether a Hilbert series comes from a complete intersection
An implementation of effective homotopy of fibrations
Scalable Parallel Coset Enumeration: Bulk Definition and the Memory Wall
On the relation between weighted trees and tropical Grassmannians
A matching pursuit technique for computing the simplest normal forms of vector fields
Extreme rays of Hankel spectrahedra for ternary forms
Generating stable modular graphs
Weight ideals associated to regular and log-linear arrays
Computing Dimension and Independent Sets for Polynomial Ideals
Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods
Computing isolated orbifolds in weighted flag varieties
On the use of particle swarm optimization to maximize bending stiffness of functionally graded structures
Cylindrical algebraic decomposition with equational constraints
Nominal unification with atom-variables
Computing minimal associated primes in polynomial rings over the integers
Computing polycyclic presentations for polycyclic rational matrix groups
A New Approach to Primary Decomposition
Computational algebra for bifurcation theory
An Algorithm for Solving Parametric Linear Systems
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras
On Computations in Kummer Extensions
Separating inequalities for nonnegative polynomials that are not sums of squares
Computing Riemann-Roch Spaces in Algebraic Function Fields and Related Topics
Elements of small norm in Shanks' cubic extensions of imaginary quadratic fields
Bivariate polynomial reduction and elimination ideal over finite fields
Morley's theorem revisited: Origami construction and automated proof
Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach's Conjecture
List decoding of Reed-Solomon codes from a Gröbner basis perspective
Hyperresolution for guarded formulae
Deterministic Irreducibility Testing of Polynomials over Large Finite Fields
Tail reduction free term rewriting systems revisited
Number of moduli for a union of smooth curves in (C2, 0)
Schubert Polynomials and Skew Schur Functions
Detection and Validation of Clusters of Polynomial Zeros
Rational rotation-minimizing frames on polynomial space curves of arbitrary degree
Descent via isogeny on elliptic curves with large rational torsion subgroups
Computing with Subfields
Symbolic Computation of the Flow of Granular Avalanches
A Distributed and Cooperative Environment for Computer Algebra
GI/S: A Graphical User Interface For Symbolic Computation Systems
Worksheets and Notebooks: Can We Teach Mathematical Algorithms with Them?
Polynomials describing the multiplication in finitely generated torsion-free nilpotent groups
Improved methods for the construction of relative invariants for permutation groups
Toric geometry of entropic regularization
Homotopy techniques for multiplication modulo triangular sets
Computing strong regular characteristic pairs with Gröbner bases
Reduction operators and completion of rewriting systems
Meta-Circular Interpreter for a Strongly Typed Language
The weight distributions of cyclic codes with two zeros and zeta functions
Commutative Algebra in the Mizar System
Surprising Mathematics Using a Computer Algebra System
Gröbner bases and logarithmic D -modules
Linear Differential Operators for Polynomial Equations
Isotopic triangulation of a real algebraic surface
Termination of linear programs with nonlinear constraints
Theta nullvalues of supersingular Abelian varieties
Sparse polynomial division using a heap
Schur-Cohn Sub-Transforms of a Polynomial
Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions
The complexity of sparse Hensel lifting and sparse polynomial factorization
Toward the best algorithm for approximate GCD of univariate polynomials
Open weak CAD and its applications
Restriction of A-discriminants and dual defect toric varieties
Solvable and nilpotent matroids: Realizability and irreducible decomposition of their associated varieties
Desingularization of Ore operators
Duality of sum of nonnegative circuit polynomials and optimal SONC bounds
Existence and convergence of Puiseux series solutions for autonomous first order differential equations
Curves and coherent Prüfer rings
Geometry of the ringed surfaces in R 4 that generate spatial Pythagorean hodographs
A tropical construction of a family of real reducible curves
Separating linear forms and Rational Univariate Representations of bivariate systems
Solving Algebraic Problems with Reduce
Binomial difference ideals
On the complexity of Hilbert refutations for partition
Tropicalization, symmetric polynomials, and complexity
On the Number of Divisions of the Euclidean Algorithm Applied to Gaussian Integers
Critical configurations for two projective views, a new approach
Monomial right ideals and the Hilbert series of noncommutative modules
Algorithms for near solutions to polynomial equations
The Transitive Groups of Degree Twelve
Gröbner finite path algebras
Factoring polynomials over global fields II
Computing Toric Ideals
A persistence landscapes toolbox for topological statistics
Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases
A Framework for Operational Equational Specifications with Pre-defined Structures
Mechanically certifying formula-based Noetherian induction reasoning
On Some Bounds for Zeros of Norm-Bounded Polynomials
Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
Multilinear Cayley Factorization
A perturbed differential resultant based implicitization algorithm for linear DPPEs
Computation of Integral Bases in Certain S_n Extensions of Q
Linear syntax for communicating elementary mathematics
Computing left Kan extensions
An Algorithm for Computing the Integral Closure
When does <T> equal sat(T)?
Moment varieties of the inverse Gaussian and gamma distributions are nondefective
An algorithm to compute the primitive central idempotents and the Wedderburn decomposition of a rational group algebra
Computing Galois groups of polynomials (especially over function fields of prime characteristic)
On the probability of generating a lattice
Construction of Finite Groups
On the relation between the MXL family of algorithms and Gröbner basis algorithms
A Strong Generating Test and Short Presentation for Permutation Groups
Sextactic points on the Fermat cubic curve and arrangements of conics
Special issue on computer algebra and signal processing: forward by the guest editors
Context unification with one context variable
Logic Program Synthesis from Incomplete Specifications
Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensional projective space
Castelnuovo-Mumford regularity of projective monomial varieties of codimension two
Improvement of the Degree Setting in Gospers's Algorithm
On Computing Subfields
Invariant Computations for Analytic Projective Geometry
On Unification: Equational Theories Are Not Bounded
A complete minimal system of covariants for the binary form of degree 7
The meaning of infinity in calculus and computer algebra systems
Isoclinism of crossed modules
G-graphs: A new representation of groups
Positive and Negative Results for Higher-Order Disunification
Cylindrical Algebraic Decomposition using validated numerics
Symmetric Representation of the Elements of the Janko Group J_1
Integrality and arithmeticity of solvable linear groups
An Axiomatic Approach to Robust Geometric Programs
The classification of real singularities using Singular. Part II: The structure of the equivalence classes of the unimodal singularities
Embedding Boolean Expressions into Logic Programming
Binomial fibers and indispensable binomials
An Interactive Calculus Theorem-Prover for Continuity Properties
The Complexity of Equivalence for Commutative Rings
Explicit Bounds for the Solutions of Elliptic Equations with Rational Coefficients
An Algebraic Approach to Computing Adjoint Curves
Levelwise construction of a single cylindrical algebraic cell
A p-Adic Approach to the Computation of Gröbner Bases
Counting with rational generating functions
Algorithmic stratification of R hom D for regular algebraic (M,N)-modules on C n
Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization)
A Remark on Infinite Matching vs Infinite Unification
Equisingular calculations for plane curve singularities
Stable border bases for ideals of points
On the postulation of lines and a fat line
Polynomials for Primitive Nonsolvable Permutation Groups of Degree d ≤ 15
An Algebraic Treatment of Quantum Vibrations Using REDUCE
Constructing Universal Unfoldings Using Gröbner Bases
The Dotted Straightening Algorithm
Formal Solutions of Differential Equations
On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part II: The General Decision Problem. Preliminaries for Quantifier Elimination
Liouvillian solutions of Whittaker-Ince equation
New solutions for ordinary differential equations
Symbolic Computation of Derivations Using Labeled Trees
A short proof for the parameter continuation theorem
An improved term ordering for the ideal of commuting matrices
The Slice Algorithm for irreducible decomposition of monomial ideals
An algorithm for computing invariants of linear actions of algebraic groups up to a given degree
Solving order 3 difference equations
An elementary approach to subresultants theory
On computing the degree of a Chebyshev Polynomial from its value
On parametric semidefinite programming with unknown boundaries
Betti numbers and minimal free resolutions for multi-state system reliability bounds
The Schur-Cohn Algorithm Revisited
New classification techniques for ordinary differential equations
A Fast Euclidean Algorithm for Gaussian Integers
Connection and linearization coefficients of the Askey-Wilson polynomials
Factorization-free Decomposition Algorithms in Differential Algebra
Quartic monoid surfaces with maximum number of lines
An extension of Kedlaya's algorithm for hyperelliptic curves
Modelling Waves with Computer Algebra
Generating all polynomial invariants in simple loops
A complete classification of quintic space curves with rational rotation-minimizing frames
Unification in Permutative Equational Theories is Undecidable
On types of degenerate critical points of real polynomial functions
Computing representation matrices for the action of Frobenius on cohomology groups
Rational general solutions of first order non-autonomous parametrizable ODEs
Perfect Bases for Equational Theories
Group-Classified Polynomials of Phase Space in Higher-Order Aberration Expansions
Solving rank-constrained semidefinite programs in exact arithmetic
Scientific Computing: One Part of the Revolution
Resultants and Moving Surfaces
Partial degree formulae for plane offset curves
Semialgebraic sets and real binary forms decompositions
Reduced Gröbner Bases Under Composition
On cyclic codes over Zq[u]/〈u2〉 and their enumeration
Lower bounds for decomposable univariate wild polynomials
A Rational Function Decomposition Algorithm by Near-Separated Polynomials
Certified Hermite matrices from approximate roots
An Algorithm for Determining Polynomial First Integrals of Autonomous Systems of Ordinary Differential Equations
Semi-implicit representations of surfaces in , resultants and applications
On new types of rational rotation-minimizing frame space curves
On the Role of OpenMath in Interactive Mathematical Documents
Preface to Computer algebra and computer analysis
Some Comments on Gröbner Bases over Commutative Rings
A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation
On Two-Parametric Quartic Families of Diophantine Problems
Symbolic Manipulation for the Study of the Descent Algebra of Finite Coxeter Groups
General Methods for Adding Range Restrictions to Decomposable Searching Problems
Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties
Variant quantifier elimination