yusuke1997/dblp-id-title huggingface dataset:
Mathematical publication on the Web
Fast algorithm for factoring difference operators
An algorithm for determining actions of semisimple Lie groups on free resolutions
A FORMAT statement in SCRATCHPAD
Calculation of Rational Numbers in an Interval Whose Denominator is the Smallest by using FP Interval Arithmetic
Invariants and symbolic calculations in the theory of quadratic differential systems
22nd Workshop on Computer Algebra in Memory of Professor Vladimir Gerdt in Dubna
Comments from number theory on computer algebra
A program for computing Puiseux expansions
Convex polytopes over ordered fields
The 2019 Richard D. Jenks memorial prize
Review of "Calculus of Integrals of Higher Transcendental Functions (The Theory and Tables of Formulas), by O. I. Marichev", Minsk, Nauka i Tekhnika, 1978
Towards fast one-block quantifier elimination through generalised critical values
The decoding Library for list decoding
Solution of the algebraic riccati equation using the sum of roots
Unit normalization of multinomials over Gaussian integers
The Keiper-Li Criterion for the Riemann Hypothesis and Generalized Lambert Functions
Fraction-Free Factoring Revisited
Doing algebraic geometry with the RegularChains library
Position statement for EUROCAL 85: the efficiency of mathematical models
Factoring non-monic polynomials represented by black boxes
von zur Gathen's factorization challenge
An SMT solver for non-linear real arithmetic inside maple
On the significance of the theory of convex polyhedra for formal algebra
Robust computation methods for sparse interpolation of multivariate polynomials
Sparse polynomial multiplication and division in Maple 14
Programming in PACLIB
Using OMEGA for the effective construction, coding and decoding of block error-correcting codes
Recovering zeroes of hyperelliptic curves over finite fields
"Approximate Commutative Algebra": an ill-chosen name for an important discipline
The w-gröbner bases and monomial ideal under polynomial composition (abstract only)
Towards collaboration across display diversity
The use of symbolic computation in solving free boundary problems by the Ritz-Galerkin method
Geometric completion of differential systems using numeric-symbolic continuation
Polynomial reduction from multivariate to bivariate integral polynomial factorization
Absolute factoring of bidegree bivariate polynomials
X - and Y -invariants for Darboux transformations
Dynamic-debugging system for the REDUCE programs
Completeness of a rewrite system for proving geometric theorems using Clifford algebra
Standard LISP report
Reasoning in symbolic computation
Visualization of extended Hensel factors
Tricoloring as a corrective measure (abstract only)
The Wielandt length of some 3-groups
The matrix based representations of the intersection curves
Recent developments in mega's proof search programming language
A robust monomial quotient basis for approximate points
A simple method of taking nth roots of integers
Backward error analysis of approximate Gröbner basis
Computer algebra symbolic and algebraic computation
CQF Magma package
Heights on hyperelliptic and superelliptic curves
Fast parallel multi-point evaluation of sparse polynomials
A new method of reducing exact computations to obtain exact results
Enumerating the Saneblidze-Umble diagonal in Haskell (abstract only)
Providing electronic access to group descriptions
Thematic program in computer algebra: July 1 - Dec 31, 2015
Computing discrete logarithms using Joux's algorithm
Report on the use of a symbolic mathematics system in undergraduate instruction
Symbolic and algebraic computations in multidimensional systems theory
Polynomial root-finding with matrix eigen-solving
TRIP: a computer algebra system dedicated to celestial mechanics and perturbation series
Review of "Computational Commutative Algebra I by Martin Kreuzer and Lorenzo Robbiano", Springer Verlag, 2000, ISBN 3-540-67733-X
Symbolic computation of potential energy functions
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
In Memoriam Eugeny Pankratiev: Faculty of Mechanics and Mathematics, Moscow State University, Moscow, Russia
The extended and generalized rank weight enumerator of a code
Rational-functions telescopers: blending creative telescoping with hermite reduction
On the structure of lexicographic Gröbner bases in dimension zero
A Proof of the Brill-Noether Method from Scratch
The SCRATCHPAD power series package
Efficient detection of hessian matrix sparsity pattern
Stewart varieties: a direct algebraic model for Stewart platforms
SINGULAR: a computer algebra system for polynomial computations
Abstracts of the CADO workshop on integer factorization
Decomposing and solving quasilinear second-order differential equations
Unmixed and prime decomposition of radicals of polynomial ideals
Denominator bounds for higher order systems of linear recurrence equations
Rational invariants of finite abelian groups
Numeric-symbolic methods for computing the Liouvillian solutions of differential equations and systems
Some reduce facilities for pretty printing subscripts and formal derivatives
Comparing the speed of programs for sparse polynomial multiplication
A program computing the homology groups of loops spaces
Optimal monomial quadratization for ODE systems: extended abstract
Toward a revision of FORMAC
Historical background to Gröbner's paper
Computer algebra challenges for constructing skew cyclic codes
Algebraic approach to chaos induced by snapback repeller
Mathematica as an OpenMath application
GRGEC: computer algebra system for applications to gravity theory
Stefan Dodunekov 1945-2012
Using sparse interpolation to solve multivariate diophantine equations
Solving the load flow problem using Gröbner basis
Symbolic computation with monotone operators
On factoring differential and difference operators in n variables
A simplified proof of the characterization theorem for Gröbner-bases
Multivariate partial fraction expansion
Son of seminumerical algorithms
On the size of minimal blocking sets of Q(4; q ), for q = 5, 7
The McCrimmon radical for identities of degree 3
Algorithm Differentiation in Lisp: ADIL
A short survey on the state of the art in matching and unification problems
The use of "LET" statements in producing short comprehensible outputs
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm
A brief description of Altran
Graphing elementary Riemann surfaces
Polynomial remainder sequence and approximate GCD
An implementation of the exterior calculus in REDUCE: a status report
Abstract only: The complexity of factoring univariate polynomials over the rationals
Some properties of Gröbner-bases for polynomial ideals
On the parallel Risch algorithm (III): use of tangents
Symbolic computation research in Italy
A library of simple groups: permutations, presentations, cojugacy classes, maximal subgroups and Sylow subgroups
Solving parametric linear systems: an experiment with constraint algebraic programming
Integral equation modelling and deep learning
Abstract Infrastructures of Unit Rank Two (abstract only)
Fifth RIMS Conference on Formula Manipulation and its Application to Mathematical Study
A symbolic summation approach to feynman integrals
Abstract only: An empirical study of parallel big number arithmetic
Genus 2 curves with split Jacobians (abstract only)
ApaTools: a software toolbox for approximate polynomial algebra
Commuting planar polynomial vector fields for conservative newton systems
Symbolic-numeric algorithms for plane algebraic curves
Fast algorithms, modular methods, parallel approaches and software engineering for solving polynomial systems symbolically
A pre-editor for CAMAL
Connectivity in semialgebraic sets (abstract only)
Multivariate ore polynomials in SageMath
Implicitization of a general union of parametric varieties
Open source computer algebra systems: Axiom
Fraction-free algorithms for linear and polynomial equations
GeoText: an intelligent dynamic geometry textbook
A SCRATCHPAD solution to problem #7
On a Two-Layer Modular Arithmetic
Block solution of sparse linear systems over GF (q): the singular case
Milestones in Computer Algebra (MICA 2016): a workshop celebrating the research of Erick Kaltofen
CAMP: a teaching project in symbolic computation at the University of Linz
Open source computer algebra systems: SymPy
Semi-Algebraic Structure and Central Paths in Nonlinear Optimization
Spreadsheet computations in computer algebra
Public key encryption
An identity on multinomial coefficients
Polar invariants and topology
ISSAC 2006 poster abstracts
REDUCE package for the indefinite and definite summation
Isogeny-based cryptography in Julia/Nemo: a case study
A sage implementation for DD-finite functions
Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
Factorization of polynomials according to a method of Zassenhaus'
Experiments with muMATH in Austrian high schools
1996 East Coast Computer Algebra Day Abstracts, Yorktown Heights, New York, April 13, 1996
The EEZ-GCD algorithm
Symmetry Adapted Bases for Trigonometric Optimization
An incremental algorithm for irreducible decompositions of monomial ideals (abstract only)
Report on the 7th annual maple workshop
On a class of difference set pairs
On the visualization of the DNA sequence and its nucleotide content
Automatic construction of an R Matrix
On sparse interpolation over finite fields
Course outline: Yale University, New Haven
Clarifications to the symbolic mode in REDUCE
Kolchin seminar in differential algebra
Inequalities about factors of integer polynomials
Message from the SIGSAM chair
WWCA 2006 abstracts
GENOM3CK: a library for genus computation of plane complex algebraic curves using knot theory
Geometry theorem proving by Gröbner bases: using ideal decompositions
Homologa efectiva y sucesiones espectrales (abstract only)
Computational problems in producing taylor coefficients for the rotating disk problem
Using Fermat to solve large polynomial and matrix problems
ALTRAN solution to problem #8
Toward high-performance polynomial system solvers based on triangular decompositions
In memoriam: Professor Eiichi Goto
Offsets to conics and quadrics: a new determinantal representation for their implicit equation
A solution to Kiang's problem #6
Automatic programming in LISP
Abstracts of computer algebra papers from 1984 national meeting of American Chemical Society
Algebra made mechanical
On the formal reduction of singularly-perturbed linear differential systems
New approaches to boolean quantifier elimination
ANTS VI: algorithmic number theory symposium poster abstracts
Implementation of a package of tools for manipulation of sums
Lacunaryx: computing bounded-degree factors of lacunary polynomials
On families of iterated derivatives
Formal Review of Articles in the BULLETIN
A Jordan-Hölder theorem for difference algebraic groups
Boolean Gröbner bases in SAT solving
The Fifth Conference "Computer Algebra" in Moscow
A notion of multivariate BCH bounds and codes
Sparse Gröbner bases: algorithms and complexity
NETFORM and code optimizer manual
Extended abstract of "a new approach to the symbolic factorization of multivariate polynomials"
A maple program that finds, and proves, recurrences and differential equations satisfied by hyperexponential definite integrals
On Solution Spaces of Products of Linear Differential or Difference Operators
Bezoutian formulas à la Macaulay for the multivariate resultant
Minimal involutive bases
Matrix Multiplication over Word-size Modular Fields Using Bini's Approximate Formula
Finding maximum rank moment matrices by facial reduction on primal form and Douglas-Rachford iteration
A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves
Special purpose differentiation algorithms
Collaborative computer algebra systems
SYPAC: a pascal based computer algebra system for micro-computers
Rectangular Hardinian Arrays
Automatic analysis of real algebraic curves
Factorization of self-conjugated and reducible linear differential operators
Some comments on the modular approach to Gröbner-bases
Lattices and factorization of polynomials
The relation of Lorenzen calculus to formal language theory
Bricard flexible octahedra and the canonical cyclohexane
Computing real zeros of polynomials with SAC-1
Unified method for determining canonical forms of a matrix
Death of Marc Rybowicz, aged 52
A "Piano Movers" Problem
Adding statements to REDUCE
Balanced dense polynomial multiplication on multi-cores
Sturm root counting using chebyshev expansion
The ShowProof Command in GeoGebra Discovery : Towards the Automated Ranking of Elementary Geometry Theorems
Sparse Hensel Lifting Algorithms for Multivariate Polynomial Factorization
Teaching multivariable calculus and tensor calculus with computer algebra software
East coast copmuter algebra day 2017
Constructing new spectral systems from simplicial fibrations
Computational algebra and algebraic curves
Unified formulas for arbitrary order symbolic derivatives and anti-derivatives of the power-inverse hyperbolic class 1
Factorization of univariate polynomials: a statistical study
Numerical Linear System Solving with Parametric Entries by Error Correction
Irreducible decomposition of monomial ideals
High-performance symbolic-numerics via multiple dispatch
VarInt: variational integrator design with maple
Factoring multivariate polynomials over algebraic number fields in MACSYMA
A collection of projects for the mathematical laboratory
SCRATCHPAD/360: reflections on a language design
A note on the preconditioning for factorization of homogeneous polynomials
Report on the HISC workshop
The search for and classification of integrable Abel ODE classes
"According to Abramowitz and Stegun" or arccoth needn't be uncouth
Counting Clean Words According to the Number of Their Clean Neighbors
Report of the workshop on environments for computational mathematics
Rational and replacement invariants of a group action
Applications of hashing in algebraic manipulation (an annotated bibliography)
On W-characteristic sets of lexicographic Gröbner bases
An approach to singularity from the extended Hensel construction
Minimal families of curves on surfaces
Enhancing the extended hensel construction by using Gröbner basis
On the greatest common right divisor of Ore polynomials with polynomial coefficients which depend on a parameter
Dynamical systems and scaling invariants
Classroom experience with interactive formula manipulation
Solutions to problem 8
Some data conversions for managing the internal and output form of formac constants
A Maximum Likelihood Estimator for Quartets under the Cavender-Farris-Neyman Model
Good non-zeros of polynomials
Computer recognition of divergences in Feynman diagrams
Solving algebraic systems using matrix computations
About the realization of an extended, but really interactive reduce by integration of a small editing and executing system
A program for computing the Liapunov functions and Liapunov constants in scratchpad II
Factors of iterated resultants and discriminants
LU based algorithms for characteristic polynomial over a finite field
Statistics on factoring polynomials mod p and p-adically
On sparse interpolation of rational functions and gcds
Algebraic algorithms for the reliability analysis of multi-state k -out-of- n systems
Basic algorithms for specialization in Gröbner bases
Open problems in computer algebra
A Truncated Fourier Transform middle product
Computing the Galois group of y (3) + ay' + by = 0, a, b, ε ρ [x]
A new idea on the interval-symbol method with correct zero rewriting for reducing exact computations
Probabilistic analysis of block wiedemann for leading invariant factors
On writing OpenMath content dictionaries
Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation
Affine colored partitions (abstract only)
Improved simplification of odd and even functions in REDUCE
SLV: a software for real root isolation
A Novel Application of Polynomial Solvers in mmWave Analog Radio Beamforming
GUAVA: an error-correcting codes package
Algebraic generalization
Problem #10: the cattle problem of Archimedes
Reconstructing sparse trigonometric functions
The package CRACK for solving large overdetermined systems
Ways to implement computer algebra compactly
The automatic construction of pure recurrence relations
A perturbation calculation in general relativity
Stickelberger's congruences and perfect sequence constructions
Local stability of cubic differential systems
On the q -Weierstrass weights of branch points of superelliptic curves
Parallel computation of boolean gröbner bases
Homogenized funtf varieties and algebraic frame completion
A sage package for the symbolic-numeric factorization of linear differential operators
Advanced applications of the holonomic systems approach
Functional programming with combinators for symbolic computation
Horospherical contraction and Hamiltonian functions on an algebraic group
Effect of the interval-symbol method with correct zero rewriting on the δ-LLL algorithm
An improvement to the centralizer algorithm for permutation groups
A short note on short differentiation programs in lisp, and a comment on lagarithmic differentiation
Speed and data structures in computer algebra systems
Self-explanatory symbolic computation for math education
Graded codes by G-sets
Examples of Maple applied to problems from the American Mathematical Monthly
Nullspace computation over rational function fields for symbolic summation
A short survey on Kantorovich: like theorems for Newton's method
Bounding the size of a finite differential algebraic variety
Computing gröbner bases within linear algebra and its implementation
Branch cuts in maple 17
The Jacobi symbol algorithm
Decoupling Highly Structured Polynomial Systems
Procedures for polynomial and rational function recognition
Undecidability of the uniqueness testing problem for analytic solutions of PLDE with boundary conditions
Towards Learning the Positive Real Discriminant of the Wnt Signaling Pathway Shuttle Model
More on computing roots of integers
Real solving of ill-conditioned sine-polynomials equations
My view of the future of symbolic and algebraic computation
Inverting matrices modulo regular chains
Investigating DEs with CRACK and related programs
Algorithms for quadratic forms over global function fields of odd characteristic
Optimization on networks
Book Review: Modeling Nature with Cellular Automata using Mathenmtica by Richard Gaylord and Kazume Nishidate
Gröbner bases specialization through Hilbert functions: the homogeneous case
Implementation of prime decomposition of polynomial ideals over small finite fields
ISSAC 2007 poster abstracts
A Prototype for Integral Elimination
Abstract only: Complexity of sparsest multiple computation
MATCONT: a Matlab package for numerical bifurcation analysis of ODEs
Finding 2 F 1 type solutions of differential equations with 5 singularities
A Sister Celine type algorithm for definite summation and integration
Titles and abstracts: mathematical symbolic manipulation on the computer and applications
On least fixed points of systems of positive polynomials
Tim Hagen: a simple problem
Refiner: a problem solving environment for ODE/DAE simulations
A non-numerical computation involving sums of many products of finite rotation matrices for spin 3/2
EUROSAM'79 conference proceedings
An algorithm for symbolic-numeric sparse interpolation of multivariate polynomials whose degree bounds are unknown
SyNRAC: a maple toolbox for solving real algebraic constraints
McEliece cryptosystem based on punctured convolutional codes and the pseudo-random generators
Exact implicitization of polynomial curves and surfaces
Sparse multivariate polynomial interpolation via the quotient-difference algorithm
A computer-aided vector algebra system for use in high schools
Quickly Computing Isotopy Type for Exponential Sums over Circuits (Extended Abstract)
An implementation of the method of brackets for symbolic integration
ACM 2007 Kanellakis Award Honours Bruno Buchberger Innovator of Automated Tools for Mathematics
Parallel and cache-efficient Hensel lifting
An analysis of Atkinson's algorithm
A computer algebra user interface manifesto
Searching symbolically for Ape'ry-like formulae for values of the Riemann zeta function
Enumeration in the Chevalley algebras
Interactive mathematics via the Web using MathML
simpcomp: a GAP toolbox for simplicial complexes
A T E X-REDUCED-Interface
Bell polynomials
Memories on Professor Matu-tarow Noda
MathLibre: Personalizable Computer Environment for Mathematical Research
Algorithms of numeric deduction of analytical expressions
On the ubiquity of Newton polyhedra
Running REDUCE and lisp/360 interactively under a time sharing option
The module isomorphism problem for finite rings and related results
A general investigation of integration in finite form of differential equations of the first order article 1
Combinatorics on Bounded Free Motzkin Paths and its Applications
On the Number of Planar Orientations with Prescribed Degrees
Multidimensional Lower Density Versions of Plünnecke's Inequality
Improved Upper Bounds for Self-Avoiding Walks in Zd
More Statistics on Permutation Pairs
Independence Number of 2-Factor-Plus-Triangles Graphs
Moments of Characteristic Polynomials Enumerate Two-Rowed Lexicographic Arrays
Snarks with Resistance $n$ and Flow Resistance $2n$
Special Case of Rota's Basis Conjecture on Graphic Matroids
Decompositions of the Boolean Lattice into Rank-symmetric Chains
A New Upper Bound on the Game Chromatic Index of Graphs
Some Enumerations on Non-Decreasing Dyck Paths
Some new lower bounds for ternary covering codes
Subgraph Densities in $K_r$-Free Graphs
Two-Person Symmetric Whist
Permutations Avoiding Bipartite Partially Ordered Patterns Have a Regular Insertion Encoding
On Optimal Linear Codes over F 8
Classification of External Zonotopal Algebras
Spectral Extremal Graphs without Intersecting Triangles as a Minor
Weakly Distance-Regular Digraphs of Valency Three, I
Word-Representable Graphs: Orientations, Posets, and Bounds
Tree Automata and Pigeonhole Classes of Matroids: II
A Large Set of Torus Obstructions and How They Were Discovered
The Arc-Width of a Graph
Fractional Biclique Covers and Partitions of Graphs
A Partition of Connected Graphs
Solving Static Permutation Mastermind using $O(n \log n)$ Queries
Bounding the Distinguishing Number of Infinite Graphs and Permutation Groups
On Some Densities in the Set of Permutations
Super Multiset RSK and a Mixed Multiset Partition Algebra
Shell Tableaux: A Set Partition Analog of Vacillating Tableaux
Small Sets in Union-Closed Families
On the Number of Perfect Matchings and Hamilton Cycles in e-Regular Non-bipartite Graphs
On Groups all of whose Undirected Cayley Graphs of Bounded Valency are Integral
Heterochromatic Matchings in Edge-Colored Graphs
Hypermaps Over Non-Abelian Simple Groups and Strongly Symmetric Generating Sets
Counting Gluings of Octahedra
Minimal Crystallizations of 3-Manifolds
A Lower Bound for Schur Numbers and Multicolor Ramsey Numbers
On a Class of Highly Symmetric k-Factorizations
Finite Rogers-Ramanujan Type Identities
On Ramsey-Minimal Infinite Graphs
Arcs with Large Conical Subsets
Random Subnetworks of Random Sorting Networks
Quantum Continuants, Quantum Rotundus and Triangulations of Annuli
Extremal Hypergraphs for the Biased Erdős-Selfridge Theorem
Stability for Vertex Cycle Covers
The Almost Intersection Property for Pairs of Matroids on Common Groundset
A Lower Bound on the Diameter of the Flip Graph
Bounds for Matchings in Nonabelian Groups
Trees and Reflection Groups
Erdös-Ko-Rado-Type Theorems for Colored Sets
Ramsey Properties of Countably Infinite Partial Orderings
An Upper Bound for the Circumference of a 3-Connected Binary Matroid
Reachability Relations and the Structure of Transitive Digraphs
On Wilf Equivalence for Alternating Permutations
Graphs without a 3-Connected Subgraph are 4-Colourable
Wilf Classes of Pairs of Permutations of Length 4
Degree Sequences of F-Free Graphs
Orthogonality and Minimality in the Homology of Locally Finite Graphs
Two Results on Ramsey-Turán Theory
Maximum Number of Colourings: 5-Chromatic Case
Two Coefficients of the Dyson Product