yusuke1997/dblp-id-title huggingface dataset:
Bruno Buchberger - A life devoted to symbolic computation
An algorithm for providing the normal forms of spatial quasi-homogeneous polynomial differential systems
Synthesis of ML Programs in the System Coq
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
Computing Local Integral Closures
New fast euclidean algorithms
New Algorithm for Computing the Asymptotic Solutions of a Class of Linear Differential Systems
On ordering free groups
A Constructive Description of SAGBI Bases for Polynomial Invariants of Permutation Groups
FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis
Extremely strong Shoda pairs with GAP
Computation of the Dual of a Plane Projective Curve
Interpolating Polynomials from Their Values
Gröbner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem
Computing some fundamental numbers of the variety of nodal cubics in P 3
P versus NP and geometry
Random matrices over a DVR and LU factorization
The Habicht Approch to Subresultants
On symplectically rigid local systems of rank four and Calabi-Yau operators
Cellular Binomial Ideals. Primary Decomposition of Binomial Ideals
Rank computation in Euclidean Jordan algebras
RComp: A Mathematica Package for Computing with Recursive Sequences
Factoring in Skew-Polynomial Rings over Finite Fields
A new elementary algorithm for proving q-hypergeometric identities
On the algorithmic linearizability of nonlinear ordinary differential equations
On the Resolution of F(x, y)=G(x, y)
Gröbner bases of symmetric ideals
Computing the Schur multipliers of the Lie p -rings in the family defined by a symbolic Lie p -ring presentation
Total Termination of Term Rewriting is Undecidable
Integrating Factors for Second-order ODEs
A new algorithm for computing staggered linear bases
Isochronicity and normal forms of polynomial systems of ODEs
Collection from the Left
The space of compatible full conditionals is a unimodular toric variety
A result on braids via the investigation of a rewriting system
Calculating Invariant Rings of Finite Groups over Arbitrary Fields
An Algorithm for Solving the Factorization Problem in Permutation Groups
Minimal Free Resolutions of Homogenized D-modules
Simulation and Optimization by Quantifier Elimination
Representations of q-orthogonal polynomials
The q-WZ method for infinite series
Irreducible Decomposition of Curves
Parallel algorithms for normalization
The Complexity of Almost Linear Diophantine Problems
Computer Classification of the Integrable Coupled Kdv-like Systems with Unit Main Matrix
Local shape of offsets to algebraic curves
Special algorithm for stability analysis of multistable biological regulatory systems
An algorithm for constructing representations of finite groups
Subexponential Algorithms for Class Group and Unit Computations
Univariate polynomial solutions of algebraic difference equations
Characterization of rational ruled surfaces
Out of order quantifier elimination for Standard Quantified Linear Programs
Regular expression order-sorted unification and matching
Aligning concepts across proof assistant libraries
Structure theorems for parallel integration
An Algebraic Computational Approach to the Identifiability of Fourier Models
The generic Gröbner walk
Algorithmic proofs of two theorems of Stafford
The Set Player System for Symbolic Computation on Power Sets
Computing a Sweeping-Plane in Regular ("General") Position: A Numerical and a Symbolic Solution
Local dual spaces and primary decomposition
Invariant neural architecture for learning term synthesis in instantiation proving
Liaison linkages
Solving the conjugacy problem in Garside groups by cyclic sliding
Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure
Effective analytic functions
Tableau Methods for a Logic with Term Declarations
Computing generators of the ideal of a smooth affine algebraic variety
Computing the Newtonian Graph
On asymptotic extrapolation
On automorphisms groups of cyclic p-gonal Riemann surfaces
Rewrite Method for Theorem Proving in First Order Theory with Equality
Macsyma: A personal history
Order Stars and Linear Stability Theory
Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves
Iterated discriminants
Synthesis of Real Time Acceptors
Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors
On some classes of irreducible polynomials
On a generalization of Stickelberger's Theorem
Comprehensive Gröbner Bases
Indispensable monomials of toric ideals and Markov bases
Polynomial modular product verification and its implications
A general framework for Noetherian well ordered polynomial reductions
Continued fraction real root isolation using the Hong root bound
Properties of Gröbner Bases and Applications to Doubly Periodic Arrays
Simultaneous Elimination by using Several Tools from Real Algebraic Geometry
The dimension of the moduli spaces of curves defined by topologically non quasi-homogeneous functions
Linear preservers of secant varieties and other varieties of tensors
Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
Abstract interpretation meets convex optimization
On the complexity of counting components of algebraic varieties
Automatic computation of the complete root classification for a parametric polynomial
Waring decompositions and identifiability via Bertini and Macaulay2 software
Algebraic solutions of holomorphic foliations: An algorithmic approach
On the complexity of the Descartes method when using approximate arithmetic
Gröbner basis of the alternating galoisian ideal
The number of roots of a lacunary bivariate polynomial on a line
Chordal graphs in triangular decomposition in top-down style
Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs
Dealing with Multiple Granularity of Time in Temporal Logic Programming
Evolution of a Software System: Interaction, Interfaces and Applications in the XYZ GeoBench
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
Comparing Curried and Uncurried Rewriting
Some remarks on Fitzpatrick and Flynn's Gröbner basis technique for Padé approximation
Two Computational Techniques for Singularity Resolution
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux
Flat extension and ideal projection
On the small-weight codewords of some Hermitian codes
Liouville integrability: An effective Morales-Ramis-Simó theorem
Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations
Erratum to "A new algorithm for discussing Gröbner bases with parameters" [J. Symbolic Comput. 33(1-2) (2002) 183-208]
Polynomial Minimum Root Separation
Leopoldt's Conjecture for Imaginary Galois Number Fields
SP, a Package for Schubert Polynomials Realized with the Computer Algebra System. MAPLE
Triangular bases of integral closures
Efficient characteristic refinements for finite groups
Computing the multiplicity structure of an isolated singular solution: Case of breadth one
Simplification techniques for maps in simplicial topology
Symbolic Finite Element Modeling of Structural Systems
Completion of overdetermined parabolic PDEs
Transforming problems from analysis to algebra: A case study in linear boundary problems
Multi-parameter Polynomials with Given Galois Group
Combinatorial Dimension Theory of Algebraic Varieties
Nearest multivariate system with given root multiplicities
Solving the Word Problem for Two Classes of Non-associative Rings by Rewriting
Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain
Elementary decompositions of arbitrary maps over finite sets
Markov bases and structural zeros
The computation of generalized Ehrhart series in Normaliz
High-order lifting and integrality certification
Converting subalgebra bases with the Sagbi walk
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
On nonnegative invariant quartics in type A
Computing Modular Invariants of p-groups
Tensor Products and Computability
Computer-Aided Study of a Problem in Hermitian Matrix Theory
On the simplification of the coefficients of a parametrization
Computation of unirational fields
Unification in Commutative Theories
The Word Problem for Free Partially Commutative Groups
A Modification of the LLL Reduction Algorithm
Computing the fine structure of real reductive symmetric spaces
Cyclic distances of idempotent convolutional codes
The degree-complexity of the defining ideal of a smooth integral curve
Algorithms for computing symbolic representations of basic e-sums and their application to composites
Comprehensive Gröbner bases and regular rings
A Gröbner Basis Technique for Inverting Mulitvariable Hensel Codes
On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination
Localization and Primary Decomposition of Polynomial Ideals
The classification of real singularities using Singular Part III: Unimodal singularities of corank 2
Value monoids of zero-dimensional valuations of rank 1
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
Good reduction of Puiseux series and applications
A deterministic algorithm for isolating real roots of a real polynomial
Stability Analysis of an Optimally Controlled Light-Driven Engine
Periodic continued fractions and elliptic curves over quadratic fields
Computing pullback function of second order differential operators by using their semi-invariants
Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields
Special issue on automated deduction: Decidability, complexity, tractability
Probabilistic analyses of the plain multiple gcd algorithm
Motion planning and control of a planar polygonal linkage
An Algorithm Determining the Difference Galois Group of Second Order Linear Difference Equations
On the Choice of Pencils in the Parametrization of Curves
How to Recognize Zero
On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals
Idempotent Computation over Finite Fields
Gröbner bases of Hilbert ideals of alternating groups
Dynamic Galois Theory
Computation of Macaulay constants and degree bounds for Gröbner bases
Reduction-based creative telescoping for P-recursive sequences via integral bases
Uses Made of Computer Algebra in Physics
Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity
On the Construction of Gröbner Bases Using Syzygies
On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics
T-Theorem Proving I
An Algorithm to Calculate Optimal Homogeneous Systems of Parameters
Counting Points on Curves over Finite Fields
Asymptotics of solutions of special second-order linear recurrencies with polynomial coefficients and boundary effects of polynomial filters
Dimension-dependent bounds for Gröbner bases of polynomial ideals
Regular representations of finite-dimensional separable semisimple algebras and Gróbner bases
Fast computation of approximant bases in canonical form
Castelnuovo-Mumford regularity of initial ideals
Analytic classification of plane branches up to multiplicity 4
On the dynamics of semilattice networks
On the computation of Gröbner bases for matrix-weighted homogeneous systems
Segre-driven radicality testing
Logical Debugging
On the Complexity of Gröbner Bases Conversion
Birth and death in discrete Morse theory
The duality of SONC: Advances in circuit-based certificates
Birational properties of the gap subresultant varieties
Quantifier elimination for normal cone computations
Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation
Computation of Class Numbers by an Analytic Method
On the Gröbner bases of some symmetric systems and their application to coding theory
Algorithmic Methods for Finitely Generated Abelian Groups
A Formula for the General Solution of a Constant-coefficient Difference Equation
Ideal Bases and Primary Decomposition: Case of Two Variables
On the Resolution of Index Form Equations in Quartic Number Fields
Constructing Type Systems over an Operational Semantics
Towards an Effective Version of a Theorem of Stafford
A linear-algebraic method to compute polynomial PDE conservation laws
Polynome mit der Galoisgruppe M_11 über Q
Thirty years of Polynomial System Solving, and now?
Decomposing Polynomial Systems into Simple Systems
Solving Genus Zero Diophantine Equations with at Most Two Infinite Valuations
On the termination of the general XL algorithm and ordinary multinomials
Removing apparent singularities of linear difference systems
Bounds for degrees of syzygies of polynomials defining a grade two ideal
Deductive and Inductive Synthesis of Equational Programs
Decoding by rank-2 bundles over plane quartics
On full rank differential systems with power series coefficients
Galois theory, splitting fields and computer algebra
Basic Narrowing Revisited
Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations
Products of Polynomials and a Priori Estimates for Coefficients in Polynomial Decompositions: A Sharp Result
On the structure of generalized toric codes
Normal Forms for a Class of Formulas
Wu's Method and the Khovanskii Finiteness Theorem
On Flatness of Generic Projections
The Moufang loops of order 64 and 81
A unified FFT-based approach to maximum assignment problems related to transitive finite group actions
A Gröbner Approach to Involutive Bases
On the Extended Hensel Construction and its application to the computation of real limit points
Tensor decompositions on simplicial complexes with invariance
Local positivity of line bundles on smooth toric varieties and Cayley polytopes
Algorithms to compute the topology of orientable real algebraic surfaces
Program Development Schemata as Derived Rules
Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules
Types of signature analysis in reliability based on Hilbert series
Algebraic Decomposition of Regular Curves
The Groups of Order at Most 1000 Except 512 and 768
On Multivariate Rational Function Decomposition
Separating invariants
Invariants of SDP exactness in quadratic programming
Generating fast Fourier transforms of solvable groups
A Fast Planar Partition Algorithm, I
Decomposition of ordinary difference polynomials
On a Particular Restricted Five-Body Problem An Analysis with Computer Algebra
From approximate factorization to root isolation with application to cylindrical algebraic decomposition
On the Worst Case of Three Algorithms for Computing the Jacobi Symbol
Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: A computational approach
Sharp upper bounds for the orders of the recurrences output by the Zeilberger and q-Zeilberger algorithms
The Theory of Involutive Divisions and an Application to Hilbert Function Computations
Computing 3-dimensional groups: Crossed squares and cat 2 -groups
Formations of finite groups in polynomial time: F-residuals and F-subnormality
Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe
Revision with probability
Galois Theory of Differential Equations, Algebraic Groups and Lie Algebras
a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities
Computing stable epimorphisms onto finite groups
The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis
Reverse search for monomial ideals
Symbolically Precise Solutions to a Homogeneous Second Order Matrix Ordinary Differential Equation with Macsyma
Structure of polyzetas and explicit representation on transcendence bases of shuffle and stuffle algebras
Linear recurrent sequences and polynomial roots
Non-linear polynomial selection for the number field sieve
Integration of automated reasoning and computer algebra systems
Cubic Sieve Congruence of the Discrete Logarithm Problem, and fractional part sequences
Proving isometry for homogeneous Einstein metrics on flag manifolds by symbolic computation
On the maximal number of real embeddings of minimally rigid graphs in R2, R3 and S 2
On the Resolution of Resultant Type Equations
An invariant-based approach to the verification of asynchronous parameterized networks
Key equations for list decoding of Reed-Solomon codes and how to solve them
Some Combinatorial Results First Found Using Computer Algebra
Detecting real singularities of a space curve from a real rational parametrization
Parallel Polynomial Operations on SMPs: an Overview
A Multipurpose Backtracking Algorithm
Combinatorial rigidity of incidence systems and application to dictionary learning
Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics
Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
Fast computation of the centralizer of a permutation group in the symmetric group
E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory
Computing the Subgroups of a Permutation Group
Integration of a Class of Transcendental Liouvillian Functions with Error-Functions, Part II
Computing nearby non-trivial Smith forms
Algorithms for tight spans and tropical linear spaces
Non Convex Contour Reconstruction
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry
Special issue on Applications of Computer Algebra
Shapes of liquid drops obtained using symbolic computation
Standard bases for local rings of branches and their modules of differentials
Complexity and algorithms for Euler characteristic of simplicial complexes
Lifting tropical bitangents
Formally self-dual additive codes over F 4
Autocovariance varieties of moving average random fields
A symbolic summation approach to Feynman integral calculus
Special Issue on Effective Methods in Rings of Differential Operators - Foreword by the Guest Editors
Matrix Generators for Exceptional Groups of Lie Type
New algorithms for relaxed multiplication
Corner edge cutting and Dixon A-resultant quotients
Maximally positive polynomial systems supported on circuits
Symmetric polynomials in upper-bound semirings
Minimally Generating Ideals of Rational Parametric Curves in Polynomial Time
Computing the nearest polynomial with a zero in a given domain by using piecewise rational functions
Gröbner-Shirshov basis for the braid group in the Artin-Garside generators
Twin-float arithmetic
Squarefree normal representation of zeros of zero-dimensional polynomial systems
Faster arithmetic for number-theoretic transforms
The Fourth-order Difference Equation Satisfied by the Associated Orthogonal Polynomials of the Delta-Laguerre-Hahn Class
Parallel computation of determinants of matrices with polynomial entries
Rational Geometry in Space
Certifying solutions to overdetermined and singular polynomial systems over ℚ
An adaptive prefix-assignment technique for symmetry reduction
The Study of Motion for a Gyroscope with Gimbal Suspension: Obtaining the Highest Approximations for a Drift of Magnus
Differential Equations and Algebraic Relations
Effective methods in algebraic geometry 2009: Barcelona. Guest editors' foreword
On the Synthetic Factorization of Projectively Invariant Polynomials
Special Issue on Program Verification, Automated Debugging and Symbolic Computation
Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence
Automated proof of mixed trigonometric-polynomial inequalities
Double Sylvester sums for subresultants and multi-Schur functions
Syzygies, constant rank, and beyond
Higher-Order Unification Revisited: Complete Sets of Transformations
Minimal canonical comprehensive Gröbner systems
Symbolic Treatment of Geometric Degeneration
Automatic Programming: A Tutorial on Formal Methodologies
Finding Normal Integral Bases of Cyclic Number Fields of Prime Degree
Computing quotients by connected solvable groups
fKenzo: A user interface for computations in Algebraic Topology
A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics
Simplification of Quantifier-Free Formulae over Ordered Fields
Characteristic set method for differential-difference polynomial systems
A Normal Form for Function Rings of Piecewise Functions
The resultant of an unmixed bivariate system
A Nilpotent Quotient Algorithm for Graded Lie Rings
A Heuristic Irreducibility Test for Univariate Polynomials
Degrees of Kalman varieties of tensors
A Unified Approach to Linear and Nonlinear Normal Forms for Hamiltonian Systems
Application of the MuMATH(R) Symbol Manipulation System to Chemically Significant Permutation Groups
Computation of dilated Kronecker coefficients
Hyperbolicity of the canonical genus two knots
q -Gosper algorithm and simple Bailey pairs
The Euclidean distance degree of Fermat hypersurfaces
Invariants, Patterns and Weights for Ordering Terms
Functional Decomposition of Polynomials: The Tame Case
A generic and executable formalization of signature-based Gröbner basis algorithms
Finding Identities with the WZ Method
qMultiSum--a package for proving q-hypergeometric multiple summation identities
Equations defining probability tree models
The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically
Controlled Use of Clausal Lemmas in Connection Tableau Calculi
Faster polynomial multiplication via multipoint Kronecker substitution
Generic Extensions and Generic Polynomials
Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution
Gröbner bases in function rings - A guide for introducing reduction relations to algebraic structures
First-order factors of linear Mahler operators
Preface on the contributed papers
Algorithms for m-Fold Hypergeometric Summation
Detecting Algebraic Curves in Bad Position
Phylogenetic invariants for stationary base composition
Products with variables from low-dimensional affine spaces and shifted power identity testing in finite fields
Analogs of Gröbner Bases in Polynomial Rings over a Ring
New ways to multiply 3 × 3-matrices
Computing Double Cosets in Soluble Groups
Computing tropical bitangents to smooth quartic curves in polymake
Generating sets for the multiplicative groups of algebras over finite fields and expander graphs
Quadratic equations in the lamplighter group
Non-associative Gröbner bases
Tree Automata Help One To Solve Equational Formulae In AC-Theories
Quantified Constraints Under Perturbation
Factorization of Differential Operators with Rational Functions Coefficients
Operations with regular holonomic D -modules with support a normal crossing
Algebraic number fields and the LLL algorithm
The three-state toric homogeneous Markov chain model has Markov degree two
Computing Rational Parametrizations of Canal Surfaces
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation
Bottom-up rewriting for words and terms
Symbolic computation in software science: Foreword from the editor
A lattice-theoretical perspective on adhesive categories
On symbolic integration of algebraic functions
Ideal Decompositions and Subfields
Combining Matching Algorithms: The Regular Case
Stratified order one differential equations in positive characteristic
On the computation of rational solutions of linear integro-differential equations with polynomial coefficients
On p-adic Computation of the Rational Form of a Matrix
On a new procedure for finding nonclassical symmetries
On the computation of matrices of traces and radicals of ideals
Stronger bounds on the cost of computing Gröbner bases for HFE systems
Shortest division chains in unique factorization domains
Affine solution sets of sparse polynomial systems