yusuke1997/dblp-id-title huggingface dataset:
A Method for Symbolic Evaluation of Indefinite Integrals Containing Special Functions or their Products
Computing intersection numbers between abelian varieties associated to subspaces of modular forms
Sasbi-standard bases of modules
Numerical algorithms for detecting embedded components
Experimenting with the Identity (xy)z = y(zx)
Stream/block ciphers, difference equations and algebraic attacks
Lazy Linear Combinatorial Unification
Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories
Thomas' Family of Thue Equations Over Imaginary Quadratic Fields
Isomorphisms of Modular Group Algebras: An Algorithm and its Application to Groups of Order
Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences
Harmonic sums and polylogarithms at non-positive multi-indices
Solution of a quadratic quaternion equation with mixed coefficients
A Mathematica Program for the Degrees of Certain Schubert Varieties
Annihilating ideals for an algebraic local cohomology class
Multivariate interpolation: Preserving and exploiting symmetry
MACSYMA Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints
Composing Power Series Over a Finite Ring in Essentially Linear Time
Asymptotic r -log-convexity and P-recursive sequences
A Survey of User Interfaces for Computer Algebra Systems
A tessellation for Fermat surfaces in CP 3
Mechanical inference of invariants for FOR-loops
Complexity results for triangular sets
Lifting Markov bases and higher codimension toric fiber products
Symbolic computation of some power-trigonometric series
A parallel multi-modular algorithm for computing Lagrange resolvents
Moving frames
Gröbner bases for (partial) flag manifolds
A syzygial method for equidimensional decomposition
Certified predictor-corrector tracking for Newton homotopies
Symbolic analysis of multiple steady states in a MAPK chemical reaction network
Complexity bounds for zero-test algorithms
Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
Implementing finite structures in Mathematica via a skeletal topos of finite sets
A Rational Approach to the Prelle-Singer Algorithm
Termination Orderings for Associative-Commutative Rewriting Systems
Parametric FGLM algorithm
Backtrack Search with Isomorph Rejection and Consistency Check
Fast transforms over finite fields of characteristic two
The Gröbner basis of the ideal of vanishing polynomials
A Parallel Implementation of Buchberger's Algorithm over Z p for p <= 31991
Bounding the degrees of a minimal μ -basis for a rational surface parametrization
Lexicographic Gröbner bases for transportation problems of format r ×3×3
Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation
On symmetry adapted bases in trigonometric optimization
Absolute concentration robustness: Algebra and geometry
Machine-learning the Sato-Tate conjecture
Computing Elements of Given Index in Totally Complex Cyclic Sextic Fields
An integro-differential structure for Dirac distributions
Effective computations of the Atiyah-Bott formula
Gröbner bases for families of affine or projective schemes
Low Degree Solutions to Linear Equations with K[x] Coefficients
Solving Systems of Algebraic Equations by a General Elimination Method
Transformation of Logic Programs to FP Programs Based on Dataflows
Analytic integrability of quasi-homogeneous systems via the Yoshida method
Constraint Satisfaction in Distributed Concurrent Logic Programming
Adventures in Associative-Commutative Unification
Optimized parametrization of systems of incidences between rigid bodies
Machine learning parameter systems, Noether normalisations and quasi-stable positions
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination
Catalecticant intersections and confinement of decompositions of forms
A survey on signature-based algorithms for computing Gröbner bases
The maximum likelihood data singular locus
Discovering polynomial Lyapunov functions for continuous dynamical systems
On the equivalence of binary quartics
Root separation for trinomials
An Algorithm for the Construction of Matrix Representations for Finitely Presented Non-Commutative Algebras
Extended F 5 criteria
Timed Default Concurrent Constraint Programming
Reducing radicals in the spirit of Euclid
Unification Under a Mixed Prefix
Mechanical Manipulation for a Class of Differential Systems
Elimination by substitution
Algorithmic methods for investigating equilibria in epidemic modeling
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp
Resultants over commutative idempotent semirings I: Algebraic aspect
Spline Approximations of Real Algebraic Surfaces
Algebraic Programming of Geometrical Calculus and Clifford Algebra
Computing Intersections and Normalizers in Soluble Groups
Analysis of a Left-Shift Binary GCD Algorithm
Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria
Efficient Inceremtal Algorithms for the Sparse Resultant and the Mixed Volume
Projective Linear Groups as Galois Groups over Q via Modular Representations
Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
New bounds and an efficient algorithm for sparse difference resultants
Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians
On the auto Igusa-zeta function of an algebraic curve
A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving
Foreword to the special issue on Applications of computer algebra
On the Problem of Generating Small Convergent Systems
On n-Dimensional Sequences I
An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups
Computation of bases of free modules over the Weyl algebras
Algorithms for computing triangular decomposition of polynomial systems
Chebyshev and Legendre Spectral Methods in Algebraic Manipulation Languages
Orthogonal-symplectic matrices and their parametric representation
Visualization of Mathematical Surfaces: The IZIC Server Approach
Polynomial-division-based algorithms for computing linear recurrence relations
Practical Algorithms for Polycyclic Matrix Groups
Collection from the Left and Other Strategies
On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving
Decomposing Monomial Representations of Solvable Groups
Rectifying Transformations for the Integration of Rational Trigonometric Functions
How to generate all possible rational Wilf-Zeilberger forms?
Weyl Closure of a Linear Differential Operator
Identifiable reparametrizations of linear compartment models
Effective computation of base points of ideals in two-dimensional local rings
Regularity of the Euclid Algorithm; application to the analysis of fast GCD Algorithms
Liouvillian solutions of linear difference-differential equations
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations
Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors
Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification
On the Smallest Divisor of a Polynomial
All unitary perfect polynomials over f 2 with at most four distinct irreducible factors
Computing View Graphs of Algebraic Surfaces
Standard generators of finite fields and their cyclic subgroups
Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences
The STO problem is NP-complete
Parallel Scheduling of Recursively Defined Arrays
Radical parametrizations of algebraic curves by adjoint curves
U q (sl(2)) Satisfies a Bernstein Duality
Motions of grid-like reflection frameworks
When is an Extension of a Specification Consistent? Decidable and Undecidable Cases
New dimension polynomials of inversive difference field extensions and inversive difference modules
Symmetry-based matrix factorization
Simplifying regular expressions further
Beyond polyhedral homotopies
On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity
A Calculus for Schemas in Z
Context in Mathematical Reasoning and Computation
Computing characteristic classes of projective schemes
A Polynomial with Galois Group SL2(11)
Positive root isolation for poly-powers by exclusion and differentiation
Algorithmic Thomas decomposition of algebraic and differential systems
Hilbert Series for Ideals Generated by Generic Forms
Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions
Entropy of tropical holonomic sequences
Noetherian operators and primary decomposition
Normal Forms for Representations of Representation-finite Algebras
Some Experiments with a Completion Theorem Prover
Computer Algebra in Spacetime Embedding
Growth Estimates for Exp-Log Functions
Computing Triangular Systems and Regular Systems
Difference indices of quasi-prime difference algebraic systems
Gröbner bases and cocyclic Hadamard matrices
On the bit-complexity of sparse polynomial and series multiplication
List decoding algorithm based on voting in Gröbner bases for general one-point AG codes
Neurons on amoebae
Computing the Lie algebra of the differential Galois group: The reducible case
Special Issue on Symbolic Computation in Algebra, Analysis, and Geometry - Foreword of the Guest Editors
Symbolic computation and signal processing
Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory
Efficient accelero-summation of holonomic functions
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study
On the Harmonic and Monogenic Decomposition of Polynomials
The Kronecker-Vahlen theorem fails in real quadratic norm-Euclidean fields
On Efficient Sparse Integer Matrix Smith Normal Form Computations
Processing Poisson Series in Parallel
Symbolic graphs for attributed graph constraints
Fast arithmetics in Artin-Schreier towers over finite fields
Lower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings
Telescoping in the context of symbolic summation in Maple
Deciding inseparability and conservative extensions in the description logic EL
Septic Number Fields Which are Ramified Only at One Small Prime
Symbolic computation in software science
The Computation of Normalizers in Permutation Groups
Representation of hypergeometric products of higher nesting depths in difference rings
MacMahon's partition analysis XV: Parity
A Higher-order Interpretation of Deductive Tableau
Retraction notice to "Characterization of Pythagorean curves and Pythagoreanization using a rational transform"
Factoring systems of linear PDEs with finite-dimensional solution spaces
Liouvillian solutions of third order differential equations
Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases
A Course in Computational Nonassociative Algebra
Isogroups of Differential Equations Using Algebraic Computing
Automating algorithm selection: Checking for matrix properties that can simplify computations
An Optimality Result for Clause Form Translation
Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation
The span of singular tuples of a tensor beyond the boundary format
Computer-Aided Derivation of Spherical Harmonic Spectral Equations in Astrogeophysics
Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms
Computing differential characteristic sets by change of ordering
Quantifier elimination in automatic loop parallelization
Using Reduce in Supersymmetry
Associated primes of spline complexes
Computing lower rank approximations of matrix polynomials
Meta-expansion of transseries
On simultaneous row and column reduction of higher-order linear differential systems
The tropical analogue of the Helton-Nie conjecture is true
Locating a Robot with Angle Mathematics
Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover
Computing the Betti table of a monomial ideal: A reduction algorithm
Verifying Nilpotence
Solving second order homogeneous differential equations in terms of Heun's general function
The modpn library: Bringing fast polynomial arithmetic into Maple
Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators
The Hecke Operators on S_k(Gamma_1 (N))
Sparse Resultant of Composed Polynomials II. Unmixed-Mixed Case
Computing Character Degrees in p-Groups
Symbolic termination analysis of solvable loops
Scalar-vector algorithm for the roots of quadratic quaternion polynomials, and the characterization of quintic rational rotation-minimizing frame curves
Fraction-free row reduction of matrices of Ore polynomials
Approximate square-free part and decomposition
Multipolynomial Resultant Algorithms
Some Applications of Magma in Designs and Codes: Oval Designs, Hermitian Unitals and Generalized Reed-Muller Codes
Symbolic computation of strongly nonlinear periodic oscillations
Classifying Geometries with Cayley
Zeros of Equivariant Vector Fields: Algorithms for an Invariant Approach
On Equational Theories, Unification, and (Un)Decidability
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices
Using MACSYMA to Write FORTRAN Subroutines
On the decoding of binary cyclic codes with the Newton identities
Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System
Extended rate, more GFUN
Weingarten calculus and the IntHaar package for integrals over compact matrix groups
Classification of primitive quandles of small order
History and Basic Features of the Critical-Pair/Completion Procedure
Rational two-parameter families of spheres and rational offset surfaces
Relaxed Hensel lifting of triangular sets
Good local behavior of offsets to rational regular algebraic surfaces
Noncommutative algebras, context-free grammars and algebraic Hilbert series
Computing invariants for multipersistence via spectral systems and effective homology
A worst-case bound for topology computation of algebraic curves
Liouvillian Solutions of Linear Differential Equations of Order Three and Higher
Synthesis of list algorithms by mechanical proving
A Wronskian approach to the real τ-conjecture
On the decomposition of rational functions
Schur apolarity
Theorem Proving with Ordering and Equality Constrained Clauses
External and internal syntax of the lambda-calculus
Logicographic symbols
Rank Jumps in Codimension 2A-hypergeometric Systems
Convex hulls, oracles, and homology
Testing Stability by Quantifier Elimination
Computing Bases for Rings of Permutation-Invariant Polynomials
Harnessing parallel disks to solve Rubik's cube
Corrigendum to "Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals" [J. Symb. Comput. 50(March 2013) 314-334]
Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations
Standard bases over Euclidean domains
Inversion in Finite Fields Using Logarithmic Depth
Approximate Solutions of Polynomial Equations
Border basis relaxation for polynomial optimization
Non-general Type Surfaces in P4: Some Remarks on Bounds and Constructions
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming
Mathscape and molecular integrals
An Algorithm Computing the Regular Formal Solutions of a System of Linear Differential Equations
On the Algebraic and Differential Newton-Puiseux Polygons
Executable Temporal Logic Systems
Algorithms for computing with nilpotent matrix groups over infinite domains
Galois Group Computation for Rational Polynomials
Computing a group action from the class field theory of imaginary hyperelliptic function fields
Characterization of relative Gröbner bases
Special issue on dynamic geometry and automated reasoning
Constructing transitive permutation groups
Wilf-Zeilberger seeds and non-trivial hypergeometric identities
The maximum likelihood degree of toric varieties
Construction of all polynomial relations among Dedekind eta functions of level N
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
Computing inhomogeneous Gröbner bases
Computing integral bases via localization and Hensel lifting
An example of relations on the Ext-quiver for the Suzuki group Sz(8) in characteristic 2
Automated Resolution of Singularities for Hypersurfaces
A database of local fields
Application of Dixon resultant to satellite trajectory control by pole placement
Symbolic computation on a second-order KdV equation
The Carlitz rank of permutations of finite fields: A survey
Moment matrices, border bases and real radical computation
Finding Composition Factors of Permutation Groups of Degree n < 10^6
Providing RIA user interfaces with accessibility properties
Annihilators of Artinian modules compatible with a Frobenius map
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix
Homogeneous Einstein metrics on Stiefel manifolds associated to flag manifolds with two isotropy summands
Numerical Schubert Calculus
Bivariate chromatic polynomials in computer algebra
Slices of stable polynomials and connections to the Grace-Walsh-Szegő theorem
An efficient method for computing comprehensive Gröbner bases
Truncated normal forms for solving polynomial systems: Generalized and efficient algorithms
Converting Bases with the Gröbner Walk
Fast computation of special resultants
Satisfiability of general intruder constraints with and without a set constructor
Permutations avoiding sets of patterns with long monotone subsequences
Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra
Implicitizing Rational Curves by the Method of Moving Algebraic Curves
On the Relation Between Resolution Based and Completion Based Theorem Proving
A local construction of the Smith normal form of a matrix polynomial
A Practical Algorithm for Finding Matrix Representations for Polycyclic Groups
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
Computing with real Lie algebras: Real forms, Cartan decompositions, and Cartan subalgebras
Algebraic Numbers: An Example of Dynamic Evaluation
Global optimization of polynomials restricted to a smooth variety using sums of squares
The power of pyramid decomposition in Normaliz
Constructing Faithful Representations of Finitely-generated Torsion-free Nilpotent Groups
A Groebner basis approach to solve a Conjecture of Nowicki
A New Approach for Analytical Computation of Hamiltonian of a Satellite Perturbed Motion
Gröbner fan and universal characteristic sets of prime differential ideals
What is the Rank of the Demjanenko Matrix?
Computing the character table of a finite group
Recognizing and parametrizing curves isomorphic to a line
A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification
Resultants of partially composed polynomials
On The Minors Defined By A Generic Matrix
Invariants recovering the reduction type of a hyperelliptic curve
Gröbner-Shirshov bases for some braid groups
An Elimination Method for Polynomial Systems
A modified coefficient ideal for use with the strict transform
Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials
From the zonotope construction to the Minkowski addition of convex polytopes
Application of computational invariant theory to Kobayashi hyperbolicity and to Green-Griffiths algebraic degeneracy
Perturbation results on the zero-locus of a polynomial
Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q
Betti numbers of binomial ideals
The classification of real singularities using Singular Part I: Splitting Lemma and simple singularities
Symmetry in Planar Dynamical Systems
An Application of Computer Algebra to a Problem in Stratified Fluid Flow
Constructing the Vertex-Transitive Graphs of Order 24
On the arithmetic complexity of Strassen-like matrix multiplications
Monomial curve families supporting Rossi's conjecture
The Bordiga surface as critical locus for 3-view reconstructions
Relations Between Roots and Coefficients, Interpolation and Application to System Solving
Computing the homology of universal covers via effective homology and discrete vector fields
The Complexity of Linear Problems in Fields
On the List of Finite Primitive Permutation Groups of Degree <= 50
MOPS: Multivariate orthogonal polynomials (symbolically)
Corrigendum to "Rational rotation-minimizing frames on polynomial space curves of arbitrary degree" [J. Symbolic Comput. 45(8) (2010) 844-856]
Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II
Matrices in Elimination Theory
Potential Good Reduction of Elliptic Curves
Convolutions of Liouvillian sequences
D'Alembertian series solutions at ordinary points of LODE with polynomial coefficients
Dynamic balancing of planar mechanisms using toric geometry
Computer Algebra and Interpolation: A Lesson Plan
Generalization of the Lee-O'Sullivan list decoding for one-point AG codes
Graphs of relations and Hilbert series
Non-standard analysis in dynamic geometry
A long note on Mulders' short product
On Solutions of Linear Ordinary Difference Equations in their Coefficient Field
Algorithms for Finite Near-rings and their N-groups
A delineability-based method for computing critical sets of algebraic surfaces
A post-quantum key exchange protocol from the intersection of conics
A Use of Computers to Teach Group Theory and Introduce Students to Research
The Computer-Aided Discovery of a Theorem about Young Tableaux
MAPinsure - A MAPLE Package for Life Insurance
Good global behavior of offsets to plane algebraic curves
Revisiting the [mu]-basis of a rational ruled surface
Lifting Canonical Algorithms from a Ring R to the Ring R[x]
Towards semantic mathematical editing
Singularities of plane rational curves via projections
Equivalence of differential equations of order one
Finding regular insertion encodings for permutation classes
Formalizing polygonal knot origami
A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets
Symbolic computation with finite biquandles
Fault-tolerant modular reconstruction of rational numbers
Factorization of Prime Ideal Extensions in Dedekind Domains
Resolution Framework for Finitely-Valued First-Order Logics
A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions
Computing Primitive Elements of Extension Fields
The implicit equation of a canal surface
On Computing Closed Forms for Indefinite Summations
Special issue on symbolic and algebraic computation
Deciding polynomial-transcendental problems
Homological techniques for the analysis of the dimension of triangular spline spaces
Algorithm for globally identifiable reparametrizations of ODEs
On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: An implementation of Radu's algorithm
On the normalization of numbers and functions defined by radicals
On the length of integers in telescopers for proper hypergeometric terms
Comments on the translation of my PhD thesis
Gröbner bases of ideals invariant under endomorphisms
Generalized Resultants over Unirational Algebraic Varieties
Proof of some conjectural congruences involving products of two binomial coefficients
A Steiner Tree Associated with Three Quarks
Optimal affine reparametrization of rational curves
The limit point and the T-function
Bounding the degree of solutions of differential equations
Parallel Computation and Indefinite Summation: A MAPLE Application for the Rational Case
Symbolic derivation of Runge-Kutta order conditions
A refined difference field theory for symbolic summation
Deciding the existence of rational general solutions for first-order algebraic ODEs
Dixon's Character Table Algorithm Revisited
Enumerating seating arrangements that obey social distancing
Solving Algebraic Equations: Combining Buchberger's Algorithm with Multivariate Factorization