yusuke1997/dblp-id-title huggingface dataset:
Computing the singularities of rational space curves
Calculating presentations for certain kinds of quotient groups
Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices
Fast Multiplication and Growth in Groups
Computing canonical representatives of regular differential ideals
The isomorphism problem for cyclic algebras and an application
Critical points and Gröbner bases: the unmixed case
Monomial Bases and Polynomial System Solving (extended abstract)
A fast hermite transform with applications to protein structure determination
Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans
Probabilistic analysis of condition numbers
Global Theory of Ordinary Differential Equations and Formula Manipulation
Conform: a conformal mapping system
Gröbner Bases Over Polytopal Affinoid Algebras
Automated Coercion for Axiom
On the parallel computation of comprehensive Gröbner systems
Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations
Computations with Relative Extensions of Number Fields with an Application to the Construction of Hilbert Class Fields
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024
The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases
Metric invariants of tetrahedra via polynomial elimination
Adherence is better than adjacency: computing the Riemann index using CAD
Reduction of Group Constructions to Point Stabilizers
ADIFOR: Automatic Differentiation in a Source Translator Environment
The Regular Problem and Green Equivalences for Special Monoids
A Fast, Reliable Algorithm for Calculating Padé-Hermite Forms
On Computing the Dual of a Plane Algebraic Curve
The Constant Trace Property in Noncommutative Optimization
Complete numerical isolation of real zeros in zero-dimensional triangular systems
Powers of tensors and fast matrix multiplication
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization
Certified simultaneous isotopic approximation of pairs of curves via subdivision
A root isolation algorithm for sparse univariate polynomials
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors
Some problems about polynomials
Integral Closure of Noetherian Rings
Massively Parallel Computations in Algebraic Geometry
Reduction-Based Creative Telescoping for Algebraic Functions
Computing Logarithmic Parts by Evaluation Homomorphisms✱
Local Polynomial Factorisation: Improving the Montes Algorithm
PowerMath: a system for the Macintosh
Algorithms for Finite Field Arithmetic
Pseudofactors of multivariate polynomials
On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs
ADrien: An Implementation of Automatic Differentiation in Maple
ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022
Bounds on numers of vectors of multiplicities for polynomials which are easy to compute
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
On the complexity of solving initial value problems
On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations
A Tropical F5 Algorithm
Fast Deterministic Computation of Determinants of Dense Matrices
ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021
Algebraic analysis on asymptotic stability of continuous dynamical systems
Decomposition of differential polynomials with constant coefficients
Parallel computation of the rank of large sparse matrices from algebraic K-theory
The Art of Telescoping
Sparse Gröbner bases: the unmixed case
Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation
Rational Normal Form for Dynamical Systems by Carleman Linearization
Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations
Using basis computation to determine pseudo-multiplicative independence
Ubiquity of the exponent of matrix multiplication
Algebraic general solutions of algebraic ordinary differential equations
Geometry theorem proving using Hilbert's Nullstellensatz
Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination
Polynomial Linear System Solving with Random Errors: New Bounds and Early Termination Technique
The M4RIE library for dense linear algebra over small fields with even characteristic
Hermite Interpolation With Error Correction: Fields of Zero or Large Characteristic and Large Error Rate
Modeling inheritance as coercion in a symbolic computation system
A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension
Real implicitization of curves and geometric extraneous components
Fast Computation of Shifted Popov Forms of Polynomial Matrices via Systems of Modular Polynomial Equations
A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem
Symbolic-numeric completion of differential systems by homotopy continuation
Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians?
Solution of algebraic riccati equations using the sum of roots
Some Results on Theorem Proving in Geometry over Finite Fields
Constructing endomorphism rings via duals
Symbolic-numeric sparse interpolation of multivariate polynomials
Symbolic numeric analysis of attractors in randomly generated piecewise affine models of gene networks
Optimal descriptions of orbit spaces and strata of finite groups
A Greedy Approach to the Canny-Emiris Formula
Parametric standard system for mixed module and its application to singularity theory
The Shape of the Shape Lemma
Lattice Reduction Algorithms
Termination conditions for positivity proving procedures
An Algorithm for the Reduction of Linear DAE
Extending the GVW Algorithm to Local Ring
Canonical Subalgebraic Bases in Non-Commutative Polynomial Rings
A Superfast Randomized Algorithm to Decompose Binary Forms
Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts
On the reduction of singularly-perturbed linear differential systems
The Risch Differential equation on an Algebraic Curve
Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology
Guaranteed Solution Formula Construction
On the Greatest Common Divisor of Polynomials which Depend on a Parameter
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
On Computing Sparse Shifts for Univariate Polynomials
Parallel telescoping and parameterized Picard-Vessiot theory
MARS: A MAPLE/MATLAB/C Resultant-Based Solver
On Some Computations with Dense Structured Matrices
Faster algorithms for the characteristic polynomial
Effective characterization of evaluation ideals of the ring of integro-differential operators
The schur aggregation for solving linear systems of equations
Hashing LEMMAs on time complexities with applications to formula manipulation
Fast arithmetics in artin-schreier towers over finite fields
Algorithms for central extensions of Lie algebras
Strassen's algorithm is not optimally accurate
Division and Slope Factorization of p-Adic Polynomials
Validating the Completeness of the Real Solution Set of a System of Polynomial Equations
A Methodology of Parsing Mathematical Notation for Mathematical Computation
Computing Normal Subgroups
Views on transportability of Lisp and Lisp-based systems
Solving Some Overdetermined Polynomial Systems
A Zero Test for σ-algebraic Power Series
A-hypergeometric functions: computational aspects
Computing the Number of Points of Elliptic Curves Over Finite Fields
Monomial Representations for Gröbner Bases Computations
Contraction of Ore Ideals with Applications
Rectilinear p-Piercing Problems
A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra
Hypergeometric Function Representations
Parallelism in algebraic computation and parallel algorithms for symbolic linear systems
Using Computer Algebra to Select Numerical Algorithms
Matrix-F5 algorithms over finite-precision complete discrete valuation fields
Computing a Lattice Basis Revisited
Algebraic algorithms and coding theory
Who was who in polynomial factorization: 1
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
Inheritance of Rewrite Rule Structures Applied to Symbolic Computation
CASA: A Computer Algebra Package for Constructive Algebraic Geometry
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language
Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes
A new truncated fourier transform algorithm
Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
Efficient Construction of Drinfel'd Doubles
NumGfun: a package for numerical and analytic computation with D-finite functions
Multihomogeneous resultant formulae for systems with scaled support
Canonical representatives for residue classes of a polynomial ideal
A Direttissimo Algorithm for Equidimensional Decomposition
Flip Graphs for Matrix Multiplication
On Computing the Resultant of Generic Bivariate Polynomials
Numerical local rings and local solution of nonlinear systems
Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case
A Reduction Algorithm for Matrices Depending on a Parameter
LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques
An a posteriori certification algorithm for Newton homotopies
On the Extended Hensel Construction and its Application to the Computation of Limit Points
Matrix Representations by Means of Interpolation
Computing the Complexification of a Semi-Algebraic Set
H-LLL: using householder inside LLL
Constant Depth Circuit Complexity for Generating Quasigroups
An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
Efficient computation of the characteristic polynomial
On the Symbolic/Numeric Hybrid Integration
Rational Solutions of the Mixed Differential Equation and Its Application to Factorization of Differential Operators
Computing the Nearest Rank-Deficient Matrix Polynomial
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning
SUI: A System Independent User Interface for an Integrated Scientific Computing Environment
Digital atlases and difference forms
Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)
Linear Hensel Lifting for Zp[x, y] for n Factors with Cubic Cost
Elementary Integration of Superelliptic Integrals
Plane geometry and convexity of polynomial stability regions
A Hybrid Method for High Precision Calculation of Polynomial Real Roots
Univariate polynomials: nearly optimal algorithms for factorization and rootfinding
Examples of Automatic Theorem Proving a Real Geometry
Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields
Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields
On the Complexity of Symbolic Computation
Succinct representation of finite abelian groups
A note on the hermite basis computation of large integer matrices
Automated Reasoning For The Existence Of Darboux Polynomials
Univariate real root isolation in multiple extension fields
Towards a new ode solver based on cartan's equivalence method
Automating renormalization of quantum field theories
The Euclidean Algorithm in Dimension n
Fast computation of linear generators for matrix sequences and application to the block Wiedemann algorithm
Computing necessary integrability conditions for planar parametrized homogeneous potentials
A linear space algorithm for computing the herite normal form
How Fast Can We Compute Products?
Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation
Factoring sparse resultants of linearly combined polynomials
Automatic symbolic solution of differential equations of first order and first degree
Certified symbolic manipulation: bivariate simplicial polynomials
Computing Real Radicals by Moment Optimization
Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems
Polynomial-time normalizers for permutation groups with restricted composition factors
An Algorithm for Complexes
A Theory for Parametric Linear Systems
Factoring linear differential operators in n variables
Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients
A hybrid integral for parametrized rational functions
Cayley, Version 4: The User Language
Q-adic transform revisited
Wilf Classes of Non-symmetric Operads
Hybrid Symbolic-Numeric Integration in MAPLE
An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme
On the efficiency and optimality of Dixon-based resultant methods
Automatic Reasoning about Numerical Stability of Rational Expressions
The Tensor Rank of 5x5 Matrices Multiplication is Bounded by 98 andIts Border Rank by 89
Desingularization and p-Curvature of Recurrence Operators
On the Error of Random Sampling: Uniformly Distributed Random Points on Parametric Curves
An efficient programming model for memory-intensive recursive algorithms using parallel disks
Rational Parametrization of Real Algebraic Surfaces
Gcd Modulo a Primary Triangular Set of Dimension Zero
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers
Characteristic Polynomials of p-adic Matrices
On the sign of a real algebraic number
Multihomogeneous polynomial decomposition using moment matrices
Simple Differentially Definable Functions
Rational Solutions of linear Difference and q -Difference Equations with Polynomial Coefficients
Determination of the Root System of Semisimple Lie Algebras from the Dynkin Diagram
Exact linear and integer programming: tutorial abstract
Preconditioners for singular black box matrices
Indefinite Sums of Rational Functions
Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix
Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System
Telescopers for rational and algebraic functions via residues
REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model
Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas
Hybrid symbolic-numeric methods for the solution of polynomial systems: tutorial overview
The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation
Completion in Operads via Essential Syzygies
Solving sparse rational linear systems
Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices
Diophantine Linear System Solving
In-place fast polynomial modular remainder
Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction
Algebraic factoring and rational function integration
Controlled Iterative Methods for Solving Polynomial Systems
The approximate GCD of inexact polynomials
A Solution to the Extended GCD Problem
Size of coefficients of lexicographical Groöbner bases: the zero-dimensional, radical and bivariate case
Careful Algebraic Translations of Geometry Theorems
The optimization of user programs for an Algebraic Manipulation System
Reduction among bracket polynomials
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
Symbolic-Numeric Stability Investigations of Jameson's Schemes for the Thin-Layer Navier-Stokes Equations
A BLAS based C library for exact linear algebra on integer matrices
Approximate Polynomial Greatest Common Divisors and Nearest Singular Polynomials
An explicit expression of the Lüroth invariant
Symbolic computation in the homogeneous geometric model with clifford algebra
Client-Server Communication Standards for Mathematical Computation
PARDI!
Computing power series solutions of a nonlinear PDE system
Usage of REDUCE for computations of group-theoretical weight of Feynman diagrams in non-Abelian gauge theories
On Linear Dependence of Rows and Columns in Matrices over Non-commutative Domains
Computing normalizers of permutation groups efficiently using isomorphisms of association schemes
About the Newton Algorithm for Non-Linear Ordinary Differential Equations
Computation of free non-commutative gröbner bases over Z with Singular: Letterplace
An Algorithms for Computing Integral Bases of an Algebraic Function Field
Benchmarking Solvers, SAT-style
Fast computation of common left multiples of linear ordinary differential operators
Computer Assisted Proof for Apwenian Sequences
The Implementation of an Algorithm in Macsyma: Computing the Formal Solutions of Differential Systems in the Neighborhood of Regular Singular Point
Computer Algebra in the Service of Enumerative Combinatorics
A New Sparse Polynomial GCD by Separating Terms
A Numerical Absolute Primality Test for Bivariate Polynomials
From approximate factorization to root isolation
Computing the Integer Points of a Polyhedron
Randomized preconditioning of the MBA algorithm
Reflections on elimination theory
Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients
On the integration of differential fractions
Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost
Fast Polynomial Multiplication over F 2 60
Submersive rational difference systems and their accessibility
Fast Polynomial Dispersion Computation and Its Application to Indefinite Summation
Sparse multivariate function recovery with a high error rate in the evaluations
Extracting mathematical expressions from postscript documents
Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system
Zeilberger's holonomic ansatz for Pfaffians
A Practical Implementation of Two Rational Function Decomposition Algorithms
On Projection in CAD-Based Quantifier Elimination with Equational Constraint
The computational complexity of continued fractions
On FGLM algorithms with tropical Gröbner bases
A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds
Asymptotic Estimation of Oscillating Functions Using an Interval Calculus
Divide-and-conquer in computational group theory
Programming before theorizing, a case study
There is no "Uspensky's method."
Complexity estimates for two uncoupling algorithms
Evaluating parametric holonomic sequences using rectangular splitting
Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature
Moduli Spaces and Symmetry Loci of Polynomial Maps
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
Real Space Sextics and their Tritangents
Some observations on familiar numbers
Simultaneous computation of the row and column rank profiles
Effective de Rham cohomology: the hypersurface case
An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form
Resolution Proof Systems with Weak Transformation Rules
Computing floating-point gröbner bases stably
On Liouvillian Solutions of Homogeneous Linear Differential Equations
An operator algebra for Macsyma
A Macaulay 2 package for computing sum of squares decompositions of polynomials with rational coefficients
Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis
Towards a computer algebraic algorithm for flat output determination
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery
Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis
Multihomogeneous resultant matrices
An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD
On computer-assisted classification of coupled integrable equations
Searching Techniques for Integral Tables
Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes
Nonnegative Matrix Factorization: Algorithms, Complexity and Applications
A New Type of Dimension Polynomials of Inversive Difference Field Extensions
On computational properties of chains of recurrences
Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations
Generalized Loewy-decomposition of d-modules
Deflation and certified isolation of singular zeros of polynomial systems
Implementation techniques for fast polynomial arithmetic in a high-level programming environment
Multipolynomial Resultants and Linear Algebra
On the Resolution of Index Form Equations
Signature rewriting in gröbner basis computation
Change of Basis for m-primary Ideals in One and Two Variables
Finding telescopers with minimal depth for indefinite nested sum and product expressions
A geometric-numeric algorithm for absolute factorization of multivariate polynomials
GRADIENT: Algorithmic Differentiation in Maple
D'Alembertian Solutions of Inhomogeneous Linear Equations (differential, difference, and some other)
Chebyshev interpolation polynomial-based tools for rigorous computing
STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems
Solving One and Two-Dimensional Exponential Polynomial Systems
Construction of rational approximations by means of REDUCE
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994
Computing Limits of Real Multivariate Rational Functions
Fast arithmetic for triangular sets: from theory to practice
Approaches to Parallel Quantifier Elimination
Computations with Finitely Generated Modules over Dedekind Rings
A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm
Big Prime Field FFT on Multi-core Processors
Algorithms for Linearly Recurrent Sequences of Truncated Polynomials
Groebner Bases in Non-Commutative Algebras
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks
Algebraic decomposition of regular curves
Virtual roots of a real polynomial and fractional derivatives
On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract)
Bilinear Systems with Two Supports: Koszul Resultant Matrices, Eigenvalues, and Eigenvectors
Power series composition and change of basis
Representation for the Radical of a Finitely Generated Differential Ideal
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials
The Bath algebraic number package
Non-commutative Optimization - Where Algebra, Analysis and Computational Complexity Meet
Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs
The orbiter ecosystem for combinatorial data
Solving higher order linear differential equations having elliptic function coefficients
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure
Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension
Formal first integrals along solutions of differential systems I
Change of order for bivariate triangular sets
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method
FELIX - An Assistant for Alebraists
Finding (good) Normal Bases in Finite Fields
Automated geometry theorem proving using Buchberger's algorithm
A Relaxed Algorithm for Online Matrix Inversion
Base Field Restriction Techniques for Parametric Curves
Groebner Basis Under Composition II
Numerical stability and stabilization of Groebner basis computation
Certifying Inconsistency of Sparse Linear Systems