yusuke1997/dblp-id-title huggingface dataset:
Convolution surfaces based on polygonal curve skeletons
Simultaneous rational number codes: Decoding beyond half the minimum distance with multiplicities and bad primes
The Method of Multiple Scales: Asymptotic Solutions and Normal Forms for Nonlinear Oscillatory Problems
The invariants of the binary nonic
Automata for Reduction Properties Solving
The prompter method: A treatment for hard-to-solve iterative functional equations
Algorithmic operator algebras via normal forms in tensor rings
Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: II. The Smallest Factor
Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines
An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography
Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
Invariant functions and invariant relations: An alternative to invariant assertions
Erratum to "Rational normal forms and minimal decompositions of hypergeometric terms" [J. Symbolic Comput 33 (2002) 521-543]
Effective methods in algebraic geometry
List decoding of Hermitian codes using Gröbner bases
On the complexity of multiplication in the Iwahori-Hecke algebra of the symmetric group
Computing Gröbner Bases by FGLM Techniques in a Non-commutative Setting
Algorithms for a class of infinite permutation groups
Linear Problems and Linear Algorithms
Implicitization of Rational Parametric Equations
A symbolic approach to multiple zeta values at negative integers
On rational functions with monodromy group M 11
Embedded desingularization of toric varieties
Solving Discriminant Form Equations Via Unit Equations
Equality in Computer Algebra and Beyond
Generic and Cogeneric Monomial Ideals
The Blockhandler and the Bitfield Package
Resolution-Based Theorem Proving for Manyvalued Logics
Refined algorithms to compute syzygies
Simplification of surface parametrizations - a lattice polygon approach
Constructive arithmetics in Ore localizations of domains
Constructing Matrix Representations of Finitely Presented Groups
The Summation of Rational Functions by an Extended Gosper Algorithm
An Algorithm for Computing Graded Algebras
Goals and Benchmarks for Automated Map Reasoning
Efficient Solution of Linear Diophantine Equations
Solving Zero-Dimensional Algebraic Systems
Condition numbers for the cube. I: Univariate polynomials and hypersurfaces
Term Rewriting for the Conjugacy Problem and the Braid Groups
Computation of graded ideals with given extremal Betti numbers in a polynomial ring
Synthesis Aspects in the Design of Efficient Processor Arrays from Affine Recurrence Equations
Gröbner Bases Applied to Finitely Generated Field Extensions
Decomposition of Polynomials with Respect to the Cyclic Group of Order m
Unirational differential curves and differential rational parametrizations
Finding Possible Permutation Characters
Gröbner Bases over Galois Rings with an Application to Decoding Alternant Codes
The Chow form of the essential variety in computer vision
Automated simplification of large symbolic expressions
Helical polynomial curves and double Pythagorean hodographs I. Quaternion and Hopf map representations
Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
Some constructions for real algebraic curves
Fast Evaluation of Holonomic Functions Near and in Regular Singularities
Deformations of half-canonical Gorenstein curves in codimension four
A Proof for the Two Parameter Q-Cases of the Macdonald-Morris Constant Term Root System Conjecture for S(F4) and S(F4) via Zeilberger's Method
On the evaluation of multivariate polynomials over finite fields
Challenges of Symbolic Computation: My Favorite Open Problems
Coefficient Fields of Solutions in Kovacic's Algorithm
Involutive bases algorithm incorporating F 5 criterion
Automatic Computation of Z- & Inverse Z-Transformations by Maple
Topological closure of formal powers series ideals and application to topological rewriting theory
Computing in the Monster
Congruence properties for Schmidt type d-fold partition diamonds
Remarks on Automatic Algorithm Stabilization
Computational Algebra and Geometry: A special issue in memory and honor of Agnes Szanto
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence
Nearest Singular Polynomials
Note on Jacobi's method for approximating dominant roots
Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra
A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications
On Computing the Canonical Form for a Binary Form of Odd Degree
The Use of Proof Planning for Co-operative Theorem Proving
An algorithm to compute the Wedderburn decomposition of semisimple group algebras implemented in the GAP package wedderga
Investigating a Hybrid Perturbation-Galerkin Technique Using Computer Algebra
Reflexive transitive invariant relations: A basis for computing loop functions
Enumeration and 3D representation of the stereo-isomers of alkane molecules
Certified rational parametric approximation of real algebraic space curves with local generic position method
Regular orbits of finite primitive solvable groups, the final classification
A computable extension for D-finite functions: DD-finite functions
Multihomogeneous resultant formulae by means of complexes
Sparse FGLM algorithms
Characteristic set algorithms for equation solving in finite fields
An algorithm to bound the regularity and nonemptiness of linear systems in P n
Simultaneous Rational Function Reconstruction with errors: Handling multiplicities and poles
Computation of orders and cycle lengths of automorphisms of finite solvable groups
Estimations for the Separation Number of a Polynomial System
Sagbi combinatorics of maximal minors and a Sagbi algorithm
Reduction systems and degree bounds for integration
Validated numerical computation of the L Infinity -norm for linear dynamical systems
Barrier certificates revisited
Symbolic computation and the cyclicity problem for singularities
Polynomial-time solvable #CSP problems via algebraic models and Pfaffian circuits
Modular inference of subprogram contracts for safety checking
Computation of topological invariants for real projective surfaces with isolated singularities
Continuously Parameterized Symmetries and Buchberger's Algorithm
A Symbolic-Numerical Method for Finding a Real Solution of an Arbitrary System of Nonlinear Algebraic Equations
Basic Algorithms for Rational Function Fields
Model Evolution with equality - Revised and implemented
Cayley graphs and G-graphs: Some applications
Hadamard matrices of Williamson type: A challenge for Computer Algebra
Special issue on algorithms and software for computational topology
Computing unit groups of curves
Explicit Comparison Theorems for D-modules
Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications
Bar code for monomial ideals
Computing the Topology of a Bounded Non-Algebraic Curve in the Plane
Subset sum problem in polycyclic groups
A Field Guide to Equational Logic
Finding Intersections and Normalizers in Finely Generated Nilpotent Groups
Functional Programming with Combinators
Simple Multivariate Polynomial Multiplication
Numerical stability of surface implicitization
Efficient Decomposition of Associative Algebras over Finite Fields
Recording and Analysing Knowledge-Based Distributed Deduction Processes
Parallel Computation of Gröbner Bases on Distributed Memory Machines
Gröbner Bases and Normal Forms in a Subring of the Power Series Ring on Countably Many Variables
An Algorithm for Computing an Integral Basis in an Algebraic Function Field
Algorithms for Exponentiation in Finite Fields
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs
Finite Acyclic Theories are Unitary
Symbolic computation on the partition lattice of an n -set
Relations among conditional probabilities
Term-ordering free involutive bases
The Automation of Syllogistic I. Syllogistic Normal Forms
Bi-Rewrite Systems
ELISE, an Algorithm to Compute Asymptotic Representations for Solutions of Linear Differential Equations, Realized with the Computer Algebra System MAPLE
Serre's reduction of linear partial differential systems with holonomic adjoints
Quartic Fields and Radical Extensions
On the complexity of the Lickteig-Roy subresultant algorithm
Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management
Faster p-adic feasibility for certain multivariate sparse polynomials
Asymptotic invariant tori of perturbed two-body problems
Markoff-Rosenberger triples in arithmetic progression
Primitive transcendental functions and symbolic computation
Bases for projective modules in An(k)
Using Fourier series to analyse mass imperfections in vibratory gyroscopes
A Transducer Approach to Coxeter Groups
Integration of a Class of Transcendental Liouvillian Functions with Error-Functions, Part I
Using Forcing to Prove Completeness of Resolution and Paramodulation
Towards cluster duality for Lagrangian and orthogonal Grassmannians
Corrigendum to "Are Buchberger's criteria necessary for the chain condition?" [J. Symbolic Comput. 42(2007) 717-732]
Algorithms for Garside calculus
Note on Kovacic's Algorithm
Computing a Ham-Sandwich Cut in Two Dimensions
An Algorithm for Computing a New Normal Form for Dynamical Systems
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
On the Complexity of Some Geometric Problems in Unbounded Dimension
AC-Unification Race: The System Solving Approach, Implementation and Benchmarks
A Localization Algorithm for D-modules
Tangent cone algorithm for homogenized differential operators
Implicitization of Parametric Curves and Surfaces by Using Multidimensional Newton Formulae
Symbolic Iterative Algorithm for Generalised Inversion of Rational Polynomial Matrices
Bases of subalgebras of K〚x〛 and K[x]
On tubular vs. swung surfaces
Axioms for a theory of signature bases
On exact Reznick, Hilbert-Artin and Putinar's representations
Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic
Initial steps in the classification of maximal mediated sets
Solving parametric polynomial systems
Towards toric absolute factorization
Powers of monomial ideals and the Ratliff-Rush operation
On non-defectivity of certain Segre-Veronese varieties
Computation of the topology of real algebraic space curves
Solving Difference Equations in Finite Terms
Computer Algebra Application for Determining Lie and Lie-Bäcklund Symmetries of Differential Equations
Algorithm for studying polynomial maps and reductions modulo prime number
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1, 1): Algorithms and complexity
Computation of Jeffrey-Kirwan residues using Gröbner bases
Robust toric ideals
Unification in Combinations of Collapse-Free Regular Theories
Corrigendum to "Faster algorithms for computing Hong's bound on absolute positiveness" [J. Symb. Comput. 45 (2010) 677-683]
A characteristic set method for ordinary difference polynomial systems
Symbolic Solutions for a Class of Partial Differential Equations
Power Series in Computer Algebra
Using resultants for SAGBI basis verification in the univariate polynomial ring
Toric Newton Method for Polynomial Homotopies
Counting Points on Curves and Abelian Varieties Over Finite Fields
Some Aspects of Complexity in Real Algebraic Geometry
Apparent singularities of D-finite systems
On determinants and eigenvalue theory of tensors
Computing the degree of a lattice ideal of dimension one
Finding residue integrals for systems of non-algebraic equations in C n
Milnor algebras could be isomorphic to modular algebras
Three Recitations on Holonomic Systems and Hypergeometric Series
Computer Algebra and Algebraic. Geometry-Achievements and Perspectives
A Case Where Choosing a Product Order Makes the Calculations of a Groebner Basis Much Faster
Linearizing Term Rewriting Systems Using Test Sets
The Search for the Maximum of a Polynomial
Condensation of Symmetrized Tensor Powers
Algorithms for quadratic forms
Reduction strategies in rewriting and programming
A univariate resultant-based implicitization algorithm for surfaces
Parallelization of Modular Algorithms
Implicitization of rational ruled surfaces with mu-bases
Symbolic computation for mobile robot path planning
Foreword of the Guest Editors
Automating Inductionless Induction Using Test Sets
Summation algorithms for Stirling number identities
Computing multihomogeneous resultants using straight-line programs
Computer Algebra Techniques in Affinity Binding Equations: The Dimer Case
Computing generating sets of lattice ideals and Markov bases of lattices
Effective criteria for bigraded birational maps
On the computation of Bernstein-Sato ideals
Tietze Transformations with Weighted Substring Search
Counting Asymmetric Enriched Trees
Algorithms for curves with one place at infinity
Multivariate Polynomial System Solving Using Intersections of Eigenspaces
Deriving Liveness Goals from Temporal Logic Specifications
Gröbner Bases and Primary Decomposition of Modules
Linear complete differential resultants and the implicitization of linear DPPEs
Functors of liftings of projective schemes
Noether normalization guided by monomial cone decompositions
Automatic derivation and implementation of fast convolution algorithms
QUAD: A multivariate stream cipher with provable security
Galois Action on Solutions of a Differential Equation
Tropical combinatorics of max-linear Bayesian networks
Construction of free differential algebras by extending Gröbner-Shirshov bases
Parametric Generalized Offsets to Hypersurfaces
A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time
An Extended Polynomial GCD Algorithm Using Hankel Matrices
On the cactus rank of cubic forms
The Graph Isomorphism Problem and approximate categories
Distance invariant method for normalization of indexed differentials
The Word Problem for Smullyan's Lark Combinator is Decidable
An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming
Special polycyclic generating sequences for finite soluble groups
Moh's example of algebroid space curves
Toric forms of elliptic curves and their arithmetic
Ancilla-free synthesis of large reversible functions using binary decision diagrams
Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves
Faster algorithms for computing Hong's bound on absolute positiveness
Gröbner bases for polynomial systems with parameters
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
Gröbner bases and their application to the Cauchy problem on finitely generated affine monoids
A Structure-Preserving Clause Form Translation
Hidden verification for computational mathematics
Loop invariant synthesis in a combined abstract domain
Computer Algebra Libraries for Combinatorial Structures
A Note on "Zippel Denesting"
Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
Implicitization of differential rational parametric equations
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
The computational complexity of rules for the character table of Sn
Certified numerical real root isolation for bivariate nonlinear systems
Sylvester's double sums: An inductive proof of the general case
On the isotopic meshing of an algebraic implicit surface
Gröbner Bases and Primary Decomposition of Polynomial Ideals
General non-realizability certificates for spheres with linear programming
Near-optimal parameterization of the intersection of quadrics: I. The generic algorithm
Semi-automated verification of security proofs of quantum cryptographic protocols
Existence of Pythagorean-hodograph quintic interpolants to spatial G 1 Hermite data with prescribed arc lengths
Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems
Chunky and equal-spaced polynomial multiplication
An algorithm to compute the Hilbert depth
New algorithms for generating Conway polynomials over finite fields
A counterexample to a conjecture on simultaneous Waring identifiability
Some computational aspects of solvable regular covers of graphs
CAL: A Theoretical Background of Constraint Logic Programming and its Applications
Computing all roots of the likelihood equations of seemingly unrelated regressions
Computing singular points of plane rational curves
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Tropical Newton-Puiseux polynomials II
Elimination of Composite Superpositions May Cause Abortion
Using Galois Ideals for Computing Relative Resolvents
Bounds on absolute positiveness of multivariate polynomials
The Method of Creative Telescoping
The Computation and Application of the Generalized Inverse via Maple
Modular Termination Proofs for Rewriting Using Dependency Pairs
An algorithm for computing compatibly Frobenius split subvarieties
The anisotropic part of a quadratic form over a number field
Incorporating Decision Procedures in Implicit Induction
Implicitizing rational surfaces using moving quadrics constructed from moving planes
INGRID: A Graph Invariant Manipulator
Three New Algorithms for Multivariate Polynomial GCD
Polynomial Factorization Sharp Bounds, Efficient Algorithms
Confluence of Curried Term-Rewriting Systems
leanCoP: lean connection-based theorem proving
Paramodulation with Built-in AC-Theories and Symbolic Constraints
Center problem in the center manifold for quadratic differential systems in R 3
When are Two Numerical Polynomials Relatively Prime?
Algorithms for graded injective resolutions and local cohomology over semigroup rings
The Schmidt-Kolchin Conjecture
On the prime graph question for integral group rings of Conway simple groups
Semi-automated proof of supercongruences on partial sums of hypergeometric series
Technology integration into mathematics education and applications
Disjoint direct product decompositions of permutation groups
A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities
Chebyshev subdivision and reduction methods for solving multivariable systems of equations
The Complexity of Deciding Consistency of Systems of Polynomial in Exponent Inequalities
Selecting lengths of floats for the computation of approximate Gröbner bases
Comparing Approaches to the Exploration of the Domain of Residue Classes
Interactive Theorem Proving: An Empirical Study of User Activity
Better answers to real questions
Linear q -difference equations depending on a parameter
Symbolic Computation on Complex Polynomial Solution of Differential Equations
Brauer groups of diagonal quartic surfaces
An Algorithm to Compute the Kernel of a Derivation up to a Certain Degree
On the complexity of equational problems in CNF
Erratum to "Ideals, bifiltered modules and bivariate Hilbert polynomials" [J. Symbolic Comput. 41(2006) 112-121]
The Inverse Gröbner Basis Problem in Codimension Two
Computing component groups of stabilizers of nilpotent orbit representatives
Computing with Group Homomorphisms
Near-optimal parameterization of the intersection of quadrics: III. Parameterizing singular intersections
Viro's patchworking and the signed reduced A-discriminant
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
Lattice Polly Cracker cryptosystems
On the Resolution of Thue Inequalities
Computing with toric varieties
The use of permutation representations in structural computations in large finite matrix groups
Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods
A Fast Algorithm for Generating Reduced Ground Rewriting Systems from a Set of Ground Equations
Eigenvectors of tensors and algorithms for Waring decomposition
The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups
On divisor-closed submonoids and minimal distances in finitely generated monoids
Computing Isometries of Lattices
On a hybrid analytical-experimental technique to assess the storage modulus of resilient materials using symbolic computation
Algorithm computing the local b function by an approximate division algorithm in D
Normal bases from 1-dimensional algebraic groups
The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field
Probabilistic analysis of block Wiedemann for leading invariant factors
Computing character tables and Cartan matrices of finite monoids with fixed point counting
conley: Computing connection matrices in Maple
FFT-like Multiplication of Linear Differential Operators
Real Quantifier Elimination is Doubly Exponential
Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence
The degree complexity of smooth surfaces of codimension 2
Variadic equational matching in associative and commutative theories
The Geobucket Data Structure for Polynomials
Equations of parametric surfaces with base points via syzygies
Dealing with algebraic expressions over a field in Coq using Maple
Resultants in genetic linkage analysis
Simple CAD Construction and its Applications
On Lawrence semigroups
Improved dense multivariate polynomial factorization algorithms
Injectivity of Composite Functions
Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
Fast arithmetic for triangular sets: From theory to practice
A test for monomial containment
Set-theoretic solutions of the Yang-Baxter equation, graphs and computations
Recognizing finite matrix groups over infinite fields
Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs
Two-dimensional wreath product group-based image processing
On the last fall degree of zero-dimensional Weil descent systems
An Algorithm for Finding Recurrence Ralations of Binomial Sums and its Complexity
Boolean Gröbner bases
The hypermetric cone and polytope on eight vertices and some generalizations
Sylvester double sums and subresultants
Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
SAGBI Bases Under Composition
Discriminator Varieties and Symbolic Computation
A bound for the Rosenfeld-Gröbner algorithm
Explicit computations of invariants of plane quartic curves
Approximate GCD of several multivariate sparse polynomials based on SLRA interpolation
Computing Homomorphisms Between Holonomic D-modules
Almost vanishing polynomials for sets of limited precision points
Signatures of algebraic curves via numerical algebraic geometry
Factoring Modular Polynomials
An algorithm to solve integer linear systems exactly using numerical methods
On Lucky Ideals for Gröbner Basis Computations
A census of small transitive groups and vertex-transitive graphs
A calculus combining resolution and enumeration for building finite models
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems
Algorithmic Properties of Polynomial Rings
An algorithm for computing mixed sums of products of Bernoulli polynomials and Euler polynomials
Computing with Endomorphism Rings of Modular Representations
Wronski pairs of honeycomb curves
Generic and Explicit Realization of Small p-groups
Using Symbolic Computation in Buckling Analysis
Multivariate volume, Ehrhart, and h ⁎ -polynomials of polytropes
Equivalence and reduction of bivariate polynomial matrices to their Smith forms
Permutation Group Algorithms Based on Partitions, I: Theory and Algorithms
Conchoid surfaces of quadrics
Positivity proofs for linear recurrences through contracted cones
Simplicial cycles and the computation of simplicial trees
Bit complexity for computing one point in each connected component of a smooth real algebraic set
Generating a Noetherian Normalization of the Invariant Ring of a Finite Group
The geometry of flex tangents to a cubic curve and its parameterizations
Automated Theorem Proving by Test Set Induction
A Methodology for Granularity-Based Control of Parallelism in Logic Programs