yusuke1997/dblp-id-title huggingface dataset:
Integration to Obtain Expressions Valid on Domains of Maximum Extent
Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings
Succinct Data Structures ... Potential for Symbolic Computation?
Algorithms for symbolic/numeric control of affine dynamical systems
Output-Sensitive Algorithms for Sumset and Sparse Polynomial Multiplication
Asymptotic Expansions of Functional Inverses
The minimum-rank gram matrix completion via modified fixed point continuation method
Integer matrix rank certification
Finding all Hypergeometric Solutions of Linear Differential Equations
Changing the ordering of Gröbner bases with LLL: case of two variables
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
A near-optimal algorithm for computing real roots of sparse polynomials
A straightening law for the Drinfel'd Lagrangian Grassmannian
Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple
Detecting Similarities of Rational Space Curves
Computing Selected Solutions of Polynomial Equations
A Deductive Database of the Groups of Order Dividing 128
A Factorization Algorithm for Linear Ordinary Differential Equations
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997
Integro-differential polynomials and operators
Multivariate power series multiplication
Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases
General witness sets for numerical algebraic geometry
Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational Functions
Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values
The polytope of non-crossing graphs on a planar point set
ASHMEDAI and a large algebraic problem
Algebraic Methods in the Design of Experiments
Gröbner Bases Computation Using Syzygies
On the Assignment Complexity of Uniform Trees
Constructive Membership Tests in Some Infinite Matrix Groups
Parametric quantified SAT solving
Practical fast polynomial multiplication
Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module
An Algorithm for Finding all Isolated Zeros of Polynomial Systems
An Introduction to Finite Element Methods
Scratchpad and the Rogers-Ramanujan Identities
Compatible rewriting of noncommutative polynomials for proving operator identities
The nearest polynomial with a zero in a given domain
Fast fourier transforms over poor fields
Projective representations for energy band calculations
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017
An Algebraic Version of the Sum-of-disjoint-products Method for Multi-state System Reliability Analysis
Finding hyperexponential solutions of linear ODEs by numerical evaluation
Partial degree formulae for rational algebraic surfaces
Implicitization of Parametric Curves and Surfaces by Using Symmetric Functions
Fast Parallel Multi-point Evaluation of Sparse Polynomials
The approximate irreducible factorization of a univariate polynomial: revisited
A Bound of Degree of Irreducible Eigenpolynomial of Some Differential Operator
Solving Systems of Algebraic Equations
Application of Gröbner Bases to the Resolution of Systems of Norm Equations
Random Primes without Primality Testing
Exact analytical solutions to the nonlinear Schrödinger equation model
A Differential-Equations Approach to Functional Equivalence
On Minimal and Minimum Cylindrical Algebraic Decompositions
Computing the global optimum of a multivariate polynomial over the reals
Analysis of the Brun Gcd Algorithm
Integral D-Finite Functions
Computing cylindrical algebraic decomposition via triangular decomposition
Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
A technique for solving ordinary differential equations using Riemann's P-functions
System of Partial Differential Equations for the Hypergeometric Function 1F1 of a Matrix Argument on Diagonal Regions
GBLA: Gröbner Basis Linear Algebra Package
Krawtchouk Polynomials and Quadratic Semi-Regular Sequences
Linnea: Compiling Linear Algebra Expressions to High-Performance Code
Complexity of creative telescoping for bivariate rational functions
Fast arithmetic for the algebraic closure of finite fields
On the structure of compatible rational functions
Multivariate sparse interpolation using randomized Kronecker substitutions
Integrability conditions for parameterized linear difference equations
Parallel sparse polynomial multiplication on modern hardware architectures
Solving Kaltofen's challenge on Zolotarev's approximation problem
Symbolic Summation with Generating Functions
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices
The 5-Modular Decomposition Matrix of the Sporadic Simple Conway Group Co 3
On Rota's problem for linear operators in associative algebras
Recent progress in linear algebra and lattice basis reduction
Monomial Resolutions for Efficient Computation of Simplicial Homology
A generalized criterion for signature related Gröbner basis algorithms
Approximate radical of ideals with clusters of roots
From Polynomial Invariants to Linear Loops
Computing with abstract matrix structures
Almost tight recursion tree bounds for the Descartes method
Real zeros of mixed random fewnomial systems
Nested Expansions and Hardy Fields
Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields
On generalized ln-surfaces in 4-space
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions
Effective Computation of Generalized Spectral Sequences
A Fast Cyclic Base Change for Permutation Groups
A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations
On approximate irreducibility of polynomials in several variables
Refined F5 Algorithms for Ideals of Minors of Square Matrices
Exponent Equations in HNN-extensions
Practical polynomial factoring in polynomial time
Lazard-style CAD and Equational Constraints
Integration of algebraic functions: a simple heuristic for finding the logarithmic part
A Complexity Chasm for Solving Univariate Sparse Polynomial Equations Over p-adic Fields
Regular systems of linear functional equations and applications
Rational Univariate Representation of Zero-Dimensional Ideals with Parameters
Gröbner bases of ideals of convergent power series
Quadratic-Time Algorithms for Normal Elements
Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs
High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense
Towards Computing Non Algebraic Cylindrical Decompositions
Stability Problems on D-finite Functions
Use of VLSI in algebraic computation: Some suggestions
Simplification of Real Elementary Functions
Mahler Discrete Residues and Summability for Rational Functions
Hermite reduction and creative telescoping for hyperexponential functions
Tellegen's principle into practice
Coordinating Mathematical Content and Presentation Markup in Interactive Mathematical Documents
Solving equations with size constraints for the solutions
Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding
Chebyshev expansions for solutions of linear differential equations
Space-efficient Gröbner basis computation without degree bounds
Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities
Computing minimal nullspace bases
GAP 4 at Twenty-one - Algorithms, System Design and Applications
Application of Computer Algebra to the Investigation of the Orbital Satellite Motion
Towards factoring bivariate approximate polynomials
Algorithms for polynomial GCD computation over algebraic function fields
POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations
Partial denominator bounds for partial linear difference equations
Implementation of Multilinear Operators in REDUCE and Applications in Mathematics
Memory-based and disk-based algorithms for very high degree permutation groups
A study of alternative methods for the symbolic calculation of elliptic integrals
Efficient Algorithms for Mixed Creative Telscoping
Picard--Vessiot extensions for linear functional systems
Criteria for Hopf Bifurcations with Fixed Multiplicities
Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings
Fraction-free computation of simultaneous padé approximants
Univariate Power Series Expansions in REDUCE
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
An improvement of GAP normalizer function for permutation groups
Low complexity algorithms for linear recurrences
Optimization Strategies for the Approximate GCD Problem
Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
Algorithmic Approaches for Lattice Path Combinatorics
A Delivery System for REDUCE
Using Lie transformation groups to find closed form solutions to first order ordinary differential equations
Surface parametrisation without diagonalisation
Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs
Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series
Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals
On some decidable and undecidable problems related to q-difference equations with parameters
Gröbner bases for public key cryptography
Breuer's grow factor algorithm in computer algebra
Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms
Solving Linear Integral Equations in Maple
On the complexity of real solving bivariate systems
The Zero Problem for Exponential Polynomials
An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited
Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions
Growth in Varieties of Multioperator Algebras and Groebner Bases in Operads
Computation of the radical of polynomial ideals over fields of arbitrary characteristic
Computing with Quasiseparable Matrices
Computing the real isolated points of an algebraic hypersurface
Iterative Toom-Cook methods for very unbalanced long integer multiplication
On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals
Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction
A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization
SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials
G-graphs for the cage problem: a new upper bound
Gsolve: a faster algorithm for solving systems of algebraic equations
Guarded Expressions in Practice
Stability Problems in Symbolic Integration
Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences
Fast Algorithms for Displacement and Low-Rank Structured Matrices
An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract)
A method for deciding whether the Galois group is abelian
On Computing Greatest Common Divisors with Polynomials Given by Black Boxes for Their Evaluations
Algorithms for Type Inference with Coercions
A Dynamic Algorithm for Gröbner Basis Computation
Conditions for exact resultants using the Dixon formulation
Gröbner Duality and Multiplicities in Polynomial System Solving
Certifying Isolated Singular Points and their Multiplicity Structure
On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields
Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite
Improved algorithm for computing separating linear forms for bivariate systems
Computing Approximate GCDs in Ill-conditioned Cases
A Note on Nielsen Reduction and Coset Enumeration
Finding points on real solution components and applications to differential polynomial systems
Mixed Symbolic-Numeric Solution of Symmetrical Nonlinear Systems
The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems
On the chordality of ordinary differential triangular decomposition in top-down style
A Hybrid Symbolic-Numerical Method for Tracing Surface-to-Surface Intersections
Sparse interpolation over finite fields via low-order roots of unity
Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems
Generalization of Manin's conditional algorithm
A System for the Symbolic Analysis of Problems in Engineering Mechanics
Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation
Reduction Problems in the Theory of Differential Equations
Computing the N-th term of a q-holonomic sequence
Composition collisions and projective polynomials: statement of results
Signature-based algorithms to compute Gröbner bases
A second order cone characterization for sums of nonnegative circuits
Algorithms for Sparse Rational Interpolation
Factoring Rational Polynomials over the Complexes
A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations
Minimal decomposition of indefinite hypergeometric sums
Polynomial factorization: a success story
Families of Ideals in Statistics
Bohemian Matrix Geometry
On the Isomorphisms of Smooth Algebraic Curves
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices
Symbolic Computation with Integro-Differential Operators
Real and complex polynomial root-finding with eigen-solving and preprocessing
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
The Complexity of an Adaptive Subdivision Method for Approximating Real Curves
Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field
Application of Computer Algebra to Surface Lattice Dynamics
Degree bounds and lifting techniques for triangular sets
Completing nth powers of polynomials
Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems
A polynomial decomposition algorithm
p-Adic Stability In Linear Algebra
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015
On Polynomial Ideals and Overconvergence in Tate Algebras
Exact algorithms and software in optimization and polyhedral computation
Computing the topology of real algebraic surfaces
Algorithmic Arithmetics with DD-Finite Functions
Remarks on Gröbner basis for ideals under composition
On Exact Division and Divisibility Testing for Sparse Polynomials
Describing convex semialgebraic sets by linear matrix inequalities
New complexity bounds for cylindrical decompositions of sub-pfaffian sets
Introduction of the MapDE Algorithm for Determination of Mappings Relating Differential Equations
Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm
Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions
Constructing Small Generating Sets for the Multiplicative Groups of Algebras over Finite Fields
Moment Varieties for Mixtures of Products
Asymptotically Fast Computation of Subresultants
The Truncated Fourier Transform for Mixed Radices
Combinatorics of 4-dimensional resultant polytopes
Algebraic Perturbative Calculations in High Energy Physics: Methods, Algorithms, Computer Programs and Physical Applications
Numerical algebraic geometry and kinematics
Towards Generic Scalable Parallel Combinatorial Search
An Algorithm for Computing Minimal Associated Primes of Binomial Ideals without Producing Redundant Components
Simple Forms and Rational Solutions of Pseudo-Linear Systems
On Multiple Zeros of Systems of Algebraic Equations
Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings
On solving systems of algebraic equations via ideal bases and elimination theory
Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra
Automated Geometry Theorem Proving by Vector Calculation
Monodromy Solver: Sequential and Parallel
How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set
Essentially optimal interactive certificates in linear algebra
Algorithm for Connectivity Queries on Real Algebraic Curves
New Dependencies of Hierarchies in Polynomial Optimization
Fast randomized algorithms for the structure of matrix algebras over finite fields (extended abstract)
p-adic algorithm for bivariate Gröbner bases
Products of ordinary differential operators by evaluation and interpolation
Lazy Multiplication of Formal Power Series
Meijer G Functions Representations
Lifting techniques for triangular decompositions
An in-place truncated fourier transform and applications to polynomial multiplication
An Optimal Condition for Determining the Exact Number of Roots of a Polynomial System
Lightweight Formal Methods for Computer Algebra Systems
Computing with Algebraic Series
On C 2 -finite Sequences
Symbolic methods for solving systems of linear ordinary differential equations
Computational algebraic geometry for evolutionary biology
On computing nearest singular hankel matrices
Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases
Large matrix, small rank
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1976, Yorktown Heights, New York, USA, August 10-12, 1976
Computer algebra: a 32-year update
Linear Time Fourier Transforms of S n-k -invariant Functions on the Symmetric Group S n
Factoring Modular Polynomials (extended abstract)
Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System
The DMM bound: multivariate (aggregate) separation bounds
On the Smallest Ratio Problem of Lattice Bases
The 40 "generic" Positions of a Parallel Robot
Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity
WME: towards a web for mathematics education
Cyclotomic Identity Testing and Applications
Linear independence oracles and applications to rectangular and low rank linear systems
A Survey of the Theorema Project
Inversibility of Rational Mappings and Structural Identifiability in Automatics
From hypercircles to units
Computing irredundant irreducible decompositions of large scale monomial ideals
A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix
Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings
Compiler auto-vectorization of matrix multiplication modulo small primes
Determining the automorphism group of a hyperelliptic curve
Closed Form Solutions for Linear Differential and Difference Equations
Complexity of the resolution of parametric systems of polynomial equations and inequations
Symbolic-Numeric Nonlinear Equation Solving
Polytime Algorithm for the Shortest Path in a Homotopy Class Amidst Semi-Algebraic Obstacles in the Plane
Effective real numbers in Mmxlib
Arithmetic and Factorization of Polynomial Over F 2 (extended abstract)
A language for computational algebra
Parallel Algorithms for Hermite Normal Form of an Integer Matrix
Non complete integrability of a magnetic satellite in circular orbit
Algorithmic invariant theory
Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada
On the skolem problem and prime powers
Early termination over small fields
Matrix Structures and Matrix Functions
Efficient desingularization of reducible algebraic sets
Symbolic Computation of Object/Image Equations
Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation
LU Factorization with Errors
Meataxe64: High performance linear algebra over finite fields
Algorithms and Design for a Second-Order Automatic Differentiation Module
Parallel Computations with Toeplitz-like and Hankel-like Matrices
Selfintersections of a bézier bicubic surface
On Signature-Based Gröbner Bases Over Euclidean Rings
Real root isolation for exp-log functions
On the application of Array Processors to symbol manipulation
A quantitative Pólya's Theorem with corner zeros
Equations, Disequations and Unsolvable Subsets (abstract)
Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic
Liouvillian First Integrals of Differential Equations
Differential rational normal forms and a reduction algorithm for hyperexponential func
Computing the Dimension of Real Algebraic Sets
A poly-algorithmic approach to simplifying elementary functions
Architecture-aware classical Taylor shift by 1
Formal solutions of differential equations in the neighborhood of singular points (Regular and Irregular)
Root isolation for bivariate polynomial systems with local generic position method
Faster inversion and other black box matrix computations using efficient block projections
Ideal Interpolation, H-bases and symmetry
Time-and space-efficient evaluation of some hypergeometric constants
Irreducibility and Deterministic r-th Root Finding over Finite Fields
Fraction-free Computation of Catrix Padé Systems
A New Algorithm for Computing Asymptotic Series
A quasi-optimal lower bound for skew polynomial multiplication
The aliquot project: an application of job chaining in number theoretic computing
Linear differential equations, iterative logarithms and orderings on monomial differential extensions
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
Some recent progress in exact linear algebra and related questions
Adaptive Flip Graph Algorithm for Matrix Multiplication
Full Partial Fraction Decomposition of Rational Functions
How to Make AXIOM into a Scratchpad
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981
Amortized Bivariate Multi-point Evaluation
Functional Decomposition Using Principal Subfields
Cylindrical algebraic decomposition using local projections
Real Algebraic Closure of an Ordered Field: Implementation in Axiom
Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs
On the Order of Power Series and the Sum of Square Roots Problem
Algebraic statistics
Finding the smallest image of a set
Some Computational Aspects of Root Finding in GF(q m )
Computing numerically with functions instead of numbers
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
Quadratic-time certificates in linear algebra
Implementation of Kumar's correspondence
On using bi-equational constraints in CAD construction
On the parallelization of triangular decompositions
A New Algorithm for General Factorizations of Multivariate Polynomial Matrices
Counting reducible and singular bivariate polynomials
Can we create a viable free open source alternative to magma, maple, mathematica and matlab?
Extraneous Factors in the Dixon Resultant Formulation
Towards a high-level implementation of flexible parallelism primitives for symbolic languages
Signature of symmetric rational matrices and the unitary dual of lie groups
Some Lower Bounds on the Reach of an Algebraic Variety
A Program for Symmetry Analysis of Differential Equations
When can we detect that a P-finite sequence is positive?
Some properties of multivariate differential dimension polynomials and their invariants
Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language)