yusuke1997/dblp-id-title huggingface dataset:
Second order differential equations with hypergeometric solutions of degree three
On a finite kernel theorem for polynomial-type optimization problems and some of its applications
Computation in word-hyperbolic groups
Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities
Special-case algorithms for blackbox radical membership, nullstellensatz and transcendence degree
Evaluation of the Heuristic Polynomial GCD
Companion matrix pencils for hermite interpolants
Differential equations for algebraic functions
A New Black Box Factorization Algorithm - the Non-monic Case
Subalgebra and Khovanskii bases equivalence
Sufficiency Analysis for the Calculus of Variations
Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s
Dimensional analysis in computer algebra
Fast High-Precision Computation of Complex Square Roots
A view on the future of symbolic computation
Fast algorithms for differential equations in positive characteristic
A Subresultant Theory for Ore Polynomials with Applications
Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials
A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
The asymptotic analysis of some interpolated nonlinear recurrence relations
A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs
Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2
Bounding the Number of Roots of Multi-Homogeneous Systems
Sparse polynomial interpolation codes and their decoding beyond half the minimum distance
An algebraic front-end for the production and use of numeric programs
Algebraic Programs Optimization
Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups
Application of unspecified sequences in symbolic summation
Numerical integration in a symbolic context
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'
Asymptotic spectrum and matrix multiplication
Conditions for determinantal formula for resultant of a polynomial system
Efficient Algorithms for Computing the Nearest Polynomial with Constrained Roots
Computing Character Tables of p -Groups
A Sequence of Series for the Lambert W Function
On exact and approximate interpolation of sparse rational functions
An algorithm for the computation of the radical of an ideal
Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time
A pommaret division algorithm for computing Grobner bases in boolean rings
From quotient-difference to generalized eigenvalues and sparse polynomial interpolation
Testing Shift-Equivalence of Polynomials Using Quantum Machines
On the apolar algebra of a product of linear forms
The subresultant and clusters of close roots
Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty
Twisting q-holonomic sequences by complex roots of unity
A Subresultant Theory for Multivariate Polynomials
Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations
Computation of the Monodromy of Generalized Polylogarithms
Two Views of ℙ 3
Matrices with Two Nonzero Entries per Row
The Identity Problem for Elementary Functions and Constants
Gröbner Basis, Integration and Transcendental Functions
Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions
D'Alembertian Solutions of Linear Differential and Difference Equations
A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms
Composition Modulo Powers of Polynomials
Approximately counting semismooth integers
New Characterization of the Factor Refinement Algorithm with Applications
Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
Symbolic algorithms for Lie algebra computation
On the Computer Solution of Symmetric Homogeneous Triangle Inequalities
Small homogeneous quandles
A procedure for proving special function inequalities involving a discrete parameter
Factorization of differential operators with ordinary differential polynomial coefficients
Limitations to algorithm solvability: Galois methods and models of computation
Faster real feasibility via circuit discriminants
Factorization in ***[ x ]: the searching phase
A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization
In-place accumulation of fast multiplication formulae
Further results on the factorization and equivalence for multivariate polynomial matrices
Compositions and collisions at degree p 2
An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals
An Improved Las Vegas Primality Test
Polynomial integration on regions defined by a triangle and a conic
Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units
How many zeros of a random sparse polynomial are real?
Connectivity in Symmetric Semi-Algebraic Sets
Algebraic Diagonals and Walks
Formal solutions of a class of Pfaffian systems in two variables
A Method for Enumerating Cosets of a Group Presented by a Canonical System
Automatic Identification of Time Scales in Enzyme Kinetics Models
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas
Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems
A Case Study on the Parametric Occurrence of Multiple Steady States
Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems
Matched filtering a gravitational wave pulsar signal involving reciprocal gamma functions
Computing all factorizations in ***
Fraction-free row reduction of matrices of skew polynomials
Resolvent systems of difference polynomial ideals
ESF: an automatically generated encyclopedia of special functions
Linear Algebra, Old and New
LLL reducing with the most significant bits
Recursive Integration of Piecewise-Continuous Functions
A Characterization of Perfect Strategies for Mirror Games
Absolute factoring of non-holonomic ideals in the plane
Creative telescoping for rational functions using the griffiths: dwork method
Sparse Polynomial Interpolation and Division in Soft-linear Time
A sparse distributed representation using prime numbers
Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions
A Polymorphic Functional Language Applied to Symbolic Computation
Code Generation in ALPAL Using Symbolic Techniques
An algorithmic classification of geometries in general relativity
Computing Nearby Non-trivial Smith Forms
Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals
Comparison of CAD-based Methods for Computation of Rational Function Limits
Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra
A First Report on the A # Compiler
Degree bounds for Gröbner bases of low-dimensional polynomial ideals
A Gröbner fan method for biochemical network modeling
On Affine Tropical F5 Algorithms
On the computation of the topology of plane curves
Computing Multipersistence by Means of Spectral Systems
The nearest polynomial with a zero in a given domain from a geometrical viewpoint
Intersection of ideals with non-commutative subalgebras
Chinese Remainder Theorem for bivariate lexicographic Gröbner bases
Multithreaded programming on the GPU: pointers and hints for the computer algebraist
Fast rational function reconstruction
A Simplified Method of Recognizing Zero Among Elementary Constants
Efficient computation of order bases
Fast Algorithms for Taylor Shifts and Certain Difference Equations
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains
On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style
Positive solutions of sparse polynomial systems
Thirty Years of Virtual Substitution: Foundations, Techniques, Applications
Aspect Graphs of Algebraic Surfaces
A generalized Graeffe's iteration for evaluating polynomials and rational functions
Finite field linear algebra subroutines
A Rational Version of Moser's Algorithm
Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case
Characteristic Classes for Irregular Singularities
Shifted Normal Forms of Polynomial Matrices
Labeled Trees and the Efficient Computation of Derivations
Decomposition of Polynomial Ideals into Triangular Regular Sequences
Searching for Integrable PDE's by Testing Hirota's Three-Soliton Condition
Algebraic and Geometric Reasoning Using Dixon Resultants
An exact real algebraic arithmetic with equality determination
A Strassen-like matrix multiplication suited for squaring and higher power computation
Computing hermite forms of polynomial matrices
Computation with semialgebraic sets represented by cylindrical algebraic formulas
Noether's S -Transformation Simplifies Curve Singularities Rationally: A Local Analysis
Tame decompositions and collisions
Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
Half-GCD and fast rational recovery
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves
Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse Linear Systems (Extended Abstract)
Lower bounds for approximate factorizations via semidefinite programming: (extended abstract)
A Solution to the Extended GCD Problem with Applications
CoCoA: a system for computations in commutative algebra
Exact Linear Algebra Algorithmic: Theory and Practice
Preserving and Exploiting Symmetry in Algebraic Computation
Further evaluation of Java for symbolic computation
An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems
A Class of Logarithmic Integrals
Faster relaxed multiplication
Computing the Volume of Compact Semi-Algebraic Sets
A p-adic algorithm for univariate partial fractions
Certified Numerical Real Root Isolation for Bivariate Polynomial Systems
Termination of linear loops under commutative updates
Approximation of dynamical systems using s-systems theory: application to biological systems
Critical point methods and effective real algebraic geometry: new results and trends
An Algorithm for Complete Enumeration of all Factorizations of a Linear Ordinary Differential Operator
Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases
Janet Bases of 2nd Order Ordinary Differential Equations
A New Approach for Formal Reduction of Singular Linear Differential Systems Using Eigenrings
Gröbner bases in difference-differential modules
Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set
Productivity and performance using partitioned global address space languages
Rational general solutions of algebraic ordinary differential equations
Symbolic Evaluation in the Nonlinear Mechanical Systems
Generalizing the davenport-mahler-mignotte bound
A Case Study of Multi-Threaded Gröbner Basis Completion
Irredundant Triangular Decomposition
Systems of three polynomials with two separated variables
Programming with Algebraic Structures: Design of the MAGMA Language
Subtropical Real Root Finding
A Degroebnerization Approach to Algebraic Statistics
Application of Computer Algebra Methods to the Construction of an Asteroid Motion Theory Based on Lie Transforms
Volume of Alcoved Polyhedra and Mahler Conjecture
Finding all bessel type solutions for linear differential equations with rational function coefficients
Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization
Converting call-by-reference to call-by-value: Fortran and Lisp coexisting
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020
Polynomial real root isolation using Descarte's rule of signs
The Use of the Special Semi-Groups for Solving Differential Equations
Constructing All Composition Series of a Finite Group
Rational invariants of scalings from Hermite normal forms
The fundamental theorem of tropical partial differential algebraic geometry
Integration of the Signum, Piecewise and Related Functions
High order derivatives and decomposition of multivariate polynomials
Certification of the QR factor R and of lattice basis reducedness
On d'Alembert Substitution
Characterization of VAX Macsyma
A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials
Efficient Techniques for Multipolynomial Resultant Algorithms
Essentially optimal sparse polynomial multiplication
The Anisotropic Part of a Quadratic Form over a Global Function Field
Tensor Product Decomposition and Other Algorithms for Representations of Large Simple Lie Algebras
Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds
Twenty-six moves suffice for Rubik's cube
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016
Solving Parametric Algebraic Systems
Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences
A simple but exact and efficient algorithm for complex root isolation
Admissible orderings and finiteness criteria for differential standard bases
Completion of Integral Polynomials by AC-Term Completion
Interactions between computer algebra (Gröbner bases) and cryptology
Efficient Decomposition of Associative Algebras
Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract)
The Elementary Constant Problem
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules
A Gröbner-basis theory for divide-and-conquer recurrences
Beating binary powering for polynomial matrices
On real factors of real interval polynomials
Solving Sums of Squares in Global Fields
Computing real solutions of polynomial systems via low-rank moment matrix completion
Integration of SMT-LIB Support into Maple
Minimum converging precision of the QR-factorization algorithm for real polynomial GCD
A block Wiedemann rank algorithm
Dimension-Dependent Upper Bounds for Gröbner Bases
On order-invariance of a binomial over a nullifying cell
Efficient real root approximation
Resultants and Discriminants for Bivariate Tensor-Product Polynomials
Sturm-Habicht Sequence
On the complexity of solving bivariate systems: the case of non-singular solutions
Validated Numerics: Algorithms and Practical Applications in Aerospace
The Structure of the PIMs of SL(3, 4) in Characteristic 2
Generic ideals and Moreno-Socías conjucture
An open problem on metric invariants of tetrahedra
An Analysis of Lehmer's Euclidean GCD Algorithm
Practical Integer Division with Karatsuba Complexity
Algebraic constructions for algorithms (Extended Abstract)
Solving systems of linear one-sided equations in integer monoid and group rings
Fast Computations in the Lattice of Polynomial Rational Function Fields
On Symmetric Powers of Differential Operators
Factoring polynomials via polytopes
Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix
Exact numerical computation in algebra and geometry
Popov Form Computation for Matrices of Ore Polynomials
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square
Towards faster real algebraic numbers
On the complexity of computing gröbner bases for quasi-homogeneous systems
A numerical study of extended Hensel series
Moving frames for laplace invariants
Determination of maximal symmetry groups of classes of differential equations
Algorithmic Operator Algebras via Normal Forms for Tensors
The characteristic ideal of a finite, connected, regular graph
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018
GCD of Polynomials and Bezout Matrices
The concrete tetrahedron
On the complexity of multivariate blockwise polynomial multiplication
Triangulations of polytopes and algebraic geometry
A generalized Apagodu-Zeilberger algorithm
A Program Generator for Efficient Evaluation of Fourier Series
Sensitivity analysis of discrete preference functions using Koszul simplicial complexes
Algebraic invariants and their differential algebras
Parallel sparse polynomial multiplication using heaps
A multivariate Weierstrass iterative rootfinder
Black-box/white-box simplification and applications to quantifier elimination
A canonical form for piecewise defined functions
Computational techniques and the structure of groups in a certain class
Solving differential equations in terms of bessel functions
User-based integration software
PC Implementation of Fast Dirac Matrix Trace Calculations
Rainbow cliques and the classification of small BLT-sets
Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices
Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product
Real Algebraic Number Computation Using Interval Arithmetic
Automating the Construction of Stationary Multiple-Point Classes
Bounds for D-finite closure properties
Simplification of definite sums of rational functions by creative symmetrizing method
Towards better simplification of elementary functions
Multigraded Hilbert Functions and Buchberger Algorithm
Computing Parameterizations of Rational Algebraic Curves
Fast interpolation and multiplication of unbalanced polynomials
Division polynomials for Jacobi quartic curves
Gröbner Trace Algorithms
Fast evaluation and root finding for polynomials with floating-point coefficients
A Decidable Fragment of the Elementary Theory of Relations and Some Applications
Non-liouvillian solutions for second order Linear ODEs
On Factorization of Nonlinear Ordinary Differential Equations
Mathematical Typesetting in Mathematica
Universal Analytic Gröbner Bases and Tropical Geometry
Commutativity Theorems: Examples in Search of Algorithms
Computing monodromy via parallel homotopy continuation
Total ordering on subgroups and cosets
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors
Approximate bivariate factorization: a geometric viewpoint
Formal solutions of linear difference equations: method of Pincherle-Ramis
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
The computation and application of vector congruence classes
WhyMP, a formally verified arbitrary-precision integer library
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation
Enumeration of Complex Golay Pairs via Programmatic SAT
Exploring the Dynamic Buchberger Algorithm
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
Equivariant Gröbner Bases of Symmetric Toric Ideals
An Improved Approach to Automatic Error Cumulation Control
Families of estimable terms
Editing mathematical content and presentation markup in interactive mathematical documents
Algebraic Tools for Computing Polynomial Loop Invariants
Tetrahedrizing Point Sets in Three Dimensions
Constrained Equational Reasoning
Transcendental methods in numerical algebraic geometry
A Strong Problem Reduction Method Based on Function Introduction
Risa/Asir - a Computer Algebra System
An Efficient Algorithm for Infallible Polynomial Complex Root Isolation
On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection
Sparse difference resultant
Algorithms for Primitive Elements of Free Lie Algebras and Lie Superalgebras
Analysis of Zero Clusters in Multivariate Polynomial Systems
Elementary first integrals of differential equations
Improved Bounds on Absolute Positiveness of Multivariate Polynomials
Fast Reduction and Composition of Binary Quadratic Forms
Complexity of deciding connectivity in real algebraic sets: recent results and future research directions
D-finiteness: algorithms and applications
An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm
Generating subfields
Consistency of finite difference approximations for linear PDE systems and its algorithmic verification
Homogeneous Decomposition of Polynomials
Rational Function Decomposition
Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings
Employing Path Dissolution to Shorten Tableaux Proofs
Computing Puiseux series for algebraic surfaces
Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis
Algorithm for computing formal invariants of linear differential systems
Least distortion Euclidean embeddings of flat tori
Nearly Linear Time Algorithms for Permutation Groups with a Small Base
The Yang-Baxter Equation and a Systematic Search for Poisson Brackets on Associative Algebras
Chemistry and computer algebra: past, present, future
Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions
High Performance Computing Experiments in Enumerative and Algebraic Combinatorics
Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings
Algorithms for Bernstein-Sato polynomials and multiplier ideals
Experimenting the Gröbner Basis Algorithm with the A1P I System
Error Correction in Fast Matrix Multiplication and Inverse
Algorithms for Computing Sparse Shifts for Multivariate Polynomials
Hybrid computation
Arithmetic complexity of unordered sparse polynomials
The Complexity of Diagonalization
Verified Real Asymptotics in Isabelle/HOL
The membership problem for ideals of binomial skew polynomial rings
Modular Rational Sparse Multivariate Polynomial Interpolation
Plural: a computer algebra system for noncommutative polynomial algebras
Application of Wu's method to symbolic model checking
Alkahest III: automatic analysis of periodic weakly nonlinear ODEs
The Frobenius FFT
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
A Modular Approach to the Computation of the Number of Real Roots
A computation of some multiply homogeneous superschemes from transitive permutation groups
Transcendence Certificates for D-finite Functions
Normalization of row reduced matrices
CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems
Enumeration of Rota-Baxter words
Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets
Factoring zero-dimensional ideals of linear partial differential operators
Structured FFT and TFT: symmetric and lattice polynomials
Border bases of positive dimensional polynomial ideals
Partial solvability by radicals
Bounds for Substituting Algebraic Functions into D-finite Functions
On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients
Univariate real root isolation in an extension field
A method computing multiple roots of inexact polynomials
The Gröbner Basis Algorithm and Subresultant Theory
Affine transformations of algebraic numbers
Shortest Division Chains in Imaginary Quadratic Number Fields
Computing the Normal Forms of Matrices Depending on Parameters
Using discriminant curves to recover a surface of P 4 from two generic linear projections
On the Barnes function
On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Gröbner bases of ideals invariant under a commutative group: the non-modular case
Constructing a single open cell in a cylindrical algebraic decomposition
A note on implicitization and normal parametrization of rational curves
Algorithms for regular solutions of higher-order linear differential systems
Using computer algebra to find nash equilibria
Multidimensional Chains of Recurrences
Fast parallel algorithms for similarity of matrices
MathScribe: a user interface for computer algebra systems