yusuke1997/dblp-id-title huggingface dataset:
Reference count overflow
Commutative ideal extensions of abelian groups
Recent and upcoming events
On computing residue integrals for a class of nonlinear transcendental systems
Modifying Faugère's F5 algorithm to ensure termination
A p-adic division with remainder algorithm
2 F 1 -type Solutions of Second Order Differential Equations
Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials
Numerics of the generalized Lambert W function
Parsing TEX into mathematics
Approximate greatest common divisor of several polynomials from Hankel matrices
Note on Kovacic's algorithm
Solving non-linear arithmetic
Validated numerical methods for systems and control engineering
A comparison of three computer algebra systems for the solution of a problem in hydrodynamic lubrication
Symbolic mathematical computation: a survey
Book Review: Polynomial and Matrix Computations Volume 1: Fundamental Algorithms by D. Bini and V. Pan
Examples for the algorithmic calculation of formal Puisieux, Laurent and power series
Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus
Computing greatest common divisors of polynomial matrices
An experiment in high-precision arithmetic on shared memory multiprocessors
Hankel matrices and computer algebra
State-space sets, state-space graphs and n-prefix expressions
A Matlab package computing polynomial roots and multiplicities
Symbolic and algebraic computation in robust stability analysis
Computing the integer points of a polyhedron
Abstracts of the 2014 east coast computer algebra day: Communicated by Xiaobai Sun, Nikos P. Pitsianis, and Alexandros-Stavros Iliopoulos
Improved polynomial remainder sequences for ore polynomials
Computing characteristic polynomials of matrices of structured polynomials
Investigating complex data and dynamics via computer algebra
Differential algebraic aspect of orthogonal polynomials and modular forms
CoCoA-5.2.2 and CoCoALib
What do we want from a high-level language?
Special generators and relations for some orthogonal and symplectic groups over GF(2)
An efficient algorithm to factorize sparse bivariate polynomials over the rationals
Review of D-Branes by Clifford V. Johnson. Cambridge University Press 2002
Symbolic computation software composability protocol and its implementations
A formula for separating small roots of a polynomial
REDLOG: computer algebra meets computer logic
Computing floating-point Gröbner bases accurately
Row reduction process for matrices of scalar operators: storing the intermediate results of row transformation
Computing gröbner fans of toric ideals
A forum for the synergy of ACM special interest groups
The new group theory package in Maple 17
Mathematical knowledge management in algebraic topology
Compact storage for computations involving partitions
The TOP-C parallel model and symbolic algebra
On the algebraic properties of integrals of linear differential equations with constant coefficients
A verification framework for minimaple programs
Approximate GCD in Bernstein basis
Effcient programming techniques for the SACLIB computer algebra library
Holonomic functions in mathematica
Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE)
Richard D. Jenks prize 2013: call for nominations
Numerical conditioning of a system of algebraic equations with a finite number of solutions using Gröbner bases
Abstracts of the 2013 east coast computer algebra day
The impact of complexity theory on algorithms for sparse polynomials
On solving large systems of polynomial equations appearing In discrete differential geometry
Classifying discrete objects with orbiter
Binomial ideal associated to a lattice and its label code
Sonata: a GAP tool for nearring computations
Computing one billion roots using the tangent Graeffe method
A representation of branch-cut information
An introduction to programming curriculum including elements of mathematics, art, and creative writing (abstract only)
A product information management system as a workbench for quantifier elimination computations with QEPCAD
Abstracts of papers that appeared in the Journal of Symbolic Computation
Eleven proofs of sin 2 x+cos 2 x = 1
Quadratic interval refinement for real roots
Spinning double pendulum: equilibria and bifurcations
The maple symbolic computation system
Efficient order basis computation (abstract only)
A TI-92 solution to the ISSAC '97 challenge problem 1
A new non-associative cryptosystem based on NTOW public key cryptosystem and octonions algebra
Structured computation in optimization and algorithmic differentiation
Generating numerical ODE formulas via a symbolic calculus of divided differences
Some theoretical problems when solving systems of polynomial equations using Gröbner bases
Exact solutions to linear systems of equations using output sensitive lifting
New development and application of integration of differential fractions
Vladimir Gerdt dies at 73
Optimal reparameterization of polynomial algebraic curves
POLY: a new polynomial data structure for Maple 17
Arb: a C library for ball arithmetic
A symbolic limit evaluation program in REDUCE
Analysis of the subtractive algorithm for greatest common divisors
Standalone MCR-based numerical engine
Effective differential Lüroth theorem
Efficient polynomial substitutions of a sparse argument
Implementation of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm
Quantum Fourier Transform over Symmetric Groups: Improved Result
Abstracts of the Sixth Spanish Meeting on Computer Algebra and Applications: EACA-2000
On equations defining monomial varieties
The generalized multiplicative operator of differentiation for the construction of analytic solitary solutions to nonlinear differential equations
The Geometry of Cylindrical Algebraic Decomposition
Matrix eigenproblems are at the heart of polynomial system solving
On Jacobians of curves with superelliptic components
Algebraic computations and applications to geometry (abstract only)
NSF funding opportunities for symbolic computation
Symbolic computation of divided differences
Cache complexity and multicore implementation for univariate real root isolation
Certain algorithmic problems for Lie algebras
1st International IMACS Conference on Applications of Computer Algebra
On finding residue integrals for a class of systems of non-algebraic equations
MAS, the Modula-2 algebra system, version 1.00
Unboundedness of Betti numbers of curves
Cayley: teaching group theory by computer
Computing Weil's descente variety
Implications of symbolic computation for the teaching of mathematics
Comments on SMP
Symbolic computation of integrals by recurrence
An extensible differential equation solver
Proposal of "effective floating-point number" for approximate algebraic computation
Automated vector space proofs using mathematica
Implementation of Boolean Gröbner bases in Risa/Asir
An algorithm for checking whether a simplicial toric ideal is a complete intersection
Abstract only: Polynomial system solving for decoding linear codes and algebraic cryptanalysis parametric polynomial system discussion: canonical comprehensive
Small algorithms for small systems
A report on OpenMath: a protocol for the exchange of mathematical information
Direct proof of a theorem by Kalkbrener, Sweedler, and Taylor
The F5 criterion revised
Finite field manipulations in Macsyma
A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs)
Using computer algebra system SINGULAR: PLURAL for computations in noncommutative polynomial algebras
Congruent numbers: from elementary to algebraic number theory
The computational geometry algorithms library CGAL
On the termination of algorithm for computing relative Gröbner bases
Character degrees on p-groups: a case study
Cancellation errors in multivariate resultant computation with floating-point numbers
A symbolic equation modeler for electric circuits
Database of the special functions of mathematical physics
Erratum: A. A. Reeves, "The worst order is not always the lexicographic order, " ACM SIGSAM Bulletin, Volume 25, Number 4, pp. 18-19
Comments on the performance of algebra systems in general relativity and a recent paper by Nielsen and Pedersen
Computing noncommutative Hilbert series
OpenMath: compositionality achieved at last
A new proof of Hilbert's theorem on homogeneous functions
Solving bivariate polynomial systems on a GPU
Multi-parameter laser modes in paraxial optics
MR: Macaulay Resultant package for Maple
Data structures and execution times of Algebraic mode programs for REDUCE
Determining divisibility between polynomials with inexact coefficients
Distinct degree factorizations for polynomials over a finite field
A maple program for proving hypergeometric identities
The SAT+CAS paradigm and the Williamson conjecture
Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge
What programmers should know
Block Wiedemann algorithm on multicore architectures
On integer-to-rational conversion algorithm
Partition analysis via polyhedral geometry
The SYMBIONT project: symbolic methods for biological networks
A proposal for extensions to reduce
An efficient procedure deciding positivity for a class of holonomic functions
Block distance invariant method for monoterm canonicalization of Riemann tensor polynomials
Factoring differential operators over algebraic curves in positive characteristic
Poster Session Abstracts of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC 1998 Rostock, Germany August 13 - 15, 1998
Algebraic invariants of graphs; a study based on computer exploration
On the complexity of computing the GCD of two polynomials via Hankel matrices
Counting solutions of differential equations
On the Complexity of Chow and Hurwitz Forms
Introducing computer algebra to users and to students
Computing tropical varieties over fields with valuation using classical standard basis techniques
Software for computing the Gröbner cover of a parametric ideal
CTP-based programming languages?: considerations about an experimental design
Polynomial homotopy continuation with PHCpack
Series crimes
Multivariate quotient by power-series division
Testing linear dependence of hyperexponential elements
Solving problems symbolically by using Poisson Series Processors
CloudMath: mathematical collaboration within the cloud
Farewell to "W" (Herbert Saul Wilf), a true VISIONARY for whom EVERYTHING was INTERTWINED
The rees algebra of some monomial parametrizations
MACSYMS's inverse Laplace transform
The nearest polynomial with a given zero, revisited
Contributions to constructive polynomial ideal theory XXIII: forgotten works of Leningrad mathematician N. M. Gjunter on polynomial ideal theory
Workshop on symbolic combinatorics and algorithmic differential algebra
A Maple Program to Factor Multivariate Polynomials Given by Black Boxes
Research workshop on algebraic representations in computer-aided design for complex shapes
Goals and design considerations for a mathematical laboratory
Review of Gradshetyn and Ryzhik, CD-Rom version
Cofactor iteration
Generating a new recurrence relations system for elliptic Hansen coefficients by means of computer algebra
Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases
Pattern matching algebraic identities
Utilizing the FORMAC novelties
Bounds in the computation of the integral closure
Hensel fan
Algebraic and Combinatorial Algorithms for S-Packing Coloring
A discussion and implementation of Brown's REX simplification algorithm
Isolated real zero of a real polynomial system under perturbation
A solution of problem #3 using CAMAL
SYMSAC'86 Abstracts
Conference announcements
A multivariate quadratic challenge toward post-quantum generation cryptography
Comments on the open letter from Fateman to Veltman
East coast computer algebra day 2005: poster abstracts
The GPGCD algorithm with the Bézout matrix
Some steps to improve software information
Jordan algebras arising from intermolecular recombination
Special function integration
An extension of the fpLLL library to Hermitian lattices
Deterministic root finding in finite fields
Hybrid computation of Cauchy-type singular integral equations
The hazards of symbolic definite integration (a continuing saga)
ECCAD 2006 poster abstracts
Development of automatic reasoning tools in GeoGebra
Computational complexity of numerical solutions of initial value problems for differential algebraic equations (abstract only)
Combinatorial primality test
Solvability of bivariate polynomial systems under perturbation
A remark on factorisation
Non-free iterative differential modules
Report on the 10th annual Maple Retreat June 13-17, 1992
Maximal perturbation for preserving the number of solutions of a polynomial system
Finite fans, actions of tori and D -modules
REDUCE is free software as of January 2009
Useful computations need useful numbers
Formal solutions of completely integrable Pfaffian systems with normal crossings
Examples of automatic asymptotic expansions
An algorithm for the explicit evaluation of GL( n ;R) Kloosterman sums
Hypergeometric generating functions and series for 1/
Analysis of dynamics of large-dimensional mechanical systems by the tools of computer algebra
Maple Package itsol for Formal Solutions of Iterative Functional Equations
Abstracts (REDUCE newsletter 1.1978)
Conditional GrÖbner Basis: GrÖbner Basis Detection with Parameters
Parameterized differential equations and patching
Factorization of multivariate polynomials by extended Hensel construction
Recursive algorithm for the fast calculation of the limit of derivatives at points of indeterminateness
AAECC-3 Abstracts
Abstracts of special session on differential algebra: American Mathematical Society, Eastern Section Spring Meeting: Stevens Institute of Technology, April 14-15, 2007
The worst order in not always the lexicographic order
Wen-Tsun Wu's academic career
Brill-Noether theory for metric graphs
Algorithms to compute chern-schwartz-macpherson and segre classes and the euler characteristic
Truncated normal forms for solving polynomial systems
Using minicomputers for algebraic computations
On the Macaulay inverse system and its importance for the theory of linear differential equations with constant coefficients
Approximate computation of pseudovarieties
Differential algebra of invariants and invariant variational calculus
The CL-PVM package
Problem 7 and systems of algebraic equations
The future of symbolic computation: mathematics versus languages
Standard LISP for the VAX: a provisional implementation
Large final polynomials from integer programming
Accurate computing elementary symmetric functions
AXIOM: open source computer algebra system
Brouwer's fixed point theorem (abstract only)
Monomial orderings and Gröbner bases
Algorithms in algebraic number theory
Finding a Basis of the Set of Isogenies between Two Ordinary Elliptic Curves Over a Finite Field
Parallel symbolic computing workshop
An upper bound for the order of a differential algebraic variety
QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition
A structure theorem for exponential and primitive functions a preliminary report
JOME, a software component for interactive and distributed mathematics
Fleshing out the generalized Lambert W function
Spinor analysis and symbolic computation of partition functions
Computer algebra methods for polynomial system solving at the service of image-based visual servoing
The question of finitely many steps in polynomial ideal theory
Hensel construction of F(x, u 1 , ..., x l ) l ≥ 2 at a singular point and its applications
Computing the minimal telescoper for sums of hypergeometric terms
Intrinsic factorization of ideals in Dedekind domains
Parallel processors and systems for algebraic manipulation: current work
A note on sparse polynomial interpolation in Dickson polynomial basis
New bivariate Hensel lifting algorithm for n factors
Some improvements on Utah standard lisp
General characteristics of the ANALITIK language
ISOLDE: a maple package for systems of linear functional equations
2D and 3D generalized Stewart Platforms
Drinfeld Modules in SageMath
On the Budan-Fourier controversy
Some comments on term-ordering in Gröbner basis computations
A direct algorithm for computing k -simple forms of first-order linear differential systems
Remarks about the application of decision-methods of elementary Real Algebra
Some reduction strategies for algebraic term rewriting
The state of symbolic computation
Testing word-sized numbers for primality
Zero-dimensional ideals of limited precision points
East Coast Computer Algebra Day
Sparse polynomials in FLINT
Jacques Calmet dies at 77
Divisibility tests (abstract only)
Symbolic computation and number of zeros of a real parameter polynomial in the unit disk
Advanced tests for algorithms of differentiation
The symbolic computation laboratory at UIUC
Hermite canonical form and Smith canonical form of a matrix over a principal ideal domain
Schützenberger's factorization on q?stuffle Hopf algebra
Parallelism in MuPAD
Complex Reflection Groups as Differential Galois Groups
Generating Idempotents in Ideal Codes
KNOPPIX/Math: a live system for enjoying mathematics with computer
Marginal Independence and Partial Set Partitions
A new interpolation algorithm for computing dixon resultants
A small OpenMath type system
Sparse polynomials and linear logic
An additive decomposition in multiple logarithmic extensions
Overcoming the memory wall in symbolic algebra: a faster permutation multiplication
Sampling the feasible sets of SDPs and volume approximation
Decomposing Jacobian varieties
Revisiting Gilbert Strang's "a chaotic search for i "
T-orbit spaces of multiplicative actions and applications
Abstracts (Amsterdam 78)
Computing gonal maps of algebraic curves
Algebraic optimization degree
Detecting polynomial perfect powers (abstract only)
The bohemian eigenvalue project
A polynomial factorization challenge
JAVA Phrasebooks for computer algebra and automated deduction
Abstracts of the fifth Spanish meeting on computer algebra and applications EACA-99
The discrete logarithm problem on elliptic curves defined over Q (abstract only)
On the representation of constructible sets
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition
Change in applied mathematics is revolutionary
Calculating really big cyclotomic polynomials (abstract only)
Rounding coefficients and artificially underflowing terms in non-numeric expressions
Towards a non-commutative picard-vessiot theory
The 2-modular representation of J1 in the principal block
Saving space in coset enumeration
Abstracts of conferences in honor of Doron Zeilberger's 60th birthday
IMACS Applications of Computer Algebra Conference 1999: summary
Computing the topology of an arrangement of parametric or implicit algebraic curves in the Lagrange basis
Symmetric Generation of J 2 on 32 Letters
Review of "Pavel pech: selected topics in geometry with classical vs. computer proving by Pavel Pech", World Scientific 2007 ISBN-10: 981-270-942-8, ISBN-13: 978-981-270-942-4
The Design of Maple's Sum-of-Products and POLY Data Structures for Representing Mathematical Objects
Admissible orders and linear forms
Iterative blow-up time approximation for initial value problems
Solving structured linear systems of large displacement rank
Algorithms for Quadratic Forms over Global Function Fields
ISSAC 2015: call for bids
Polynomial homotopy continuation in Macaulay2
Problem #8: random walk
Analysis of the binary Euclidean algorithm
NAClab: a Matlab toolbox for numerical algebraic computation
Report on a program for solving polynomial equations in non-commuting variables
Tests for polynomials
Revisiting QRGCD and comparison with ExQRGCD
Numerical and symbolic computation of the Lambert W function in C nxn
A Java framework for massively distributed symbolic computing
Incremental PSLQ with application to algebraic number reconstruction
Fast reduce: the trade-off between efficiency and generality
On implementing arbitrary precision arithmetic in NIL: an exercise in data abstraction
Computing the real solutions of polynomial systems with the RegularChains library in Maple
Some simple pretty-print facilities for REDUCE
In Memoriam: Werner Krandick
Summation in finite terms using sage
Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (abstract only)
A reduce-based OpenMath ↔ MathML translator
A continued fraction type method to find a rational number in a given closed interval whose denominator is minimal
PTOPO: a maple package for the topology of parametric curves
Subfields in pure transcendental extensions
A solution to Kahan's problem (SIGSAM problem no. 9)
Factored rational expressions in ALTRAN
Proposal for a geometric algebra software package
Radicals of ore polynomials
A complexity chasm for solving sparse polynomial equations over p -adic fields: extended abstract
On Gröbner bases over rings and residue class polynomial rings with torsion
Symbolic incidence geometry proposal for doing geometry with a computer (Part 2 of 2)
In memoriam: Chionh Eng Wee
Discovering multiple polylogarithm equations via symbolic computations
Revisiting the discharge time of a cylindrical leaking bucket: or, "one does not simply call dsolve into mordor."
Radicals of primary submodules
Square-free decomposition in finite characteristic: an application to Jordon Form computation
Certifying approximate solutions to polynomial systems on Macaulay2
A comparison of methods for accurate summation
Symbol manipulation and formula manipulation
CoCoA: computations in commutative algebra
OMDoc: an infrastructure for OpenMath content dictionary information
Abstracts from a Minisymposium on Integrated Environments for Scientific Computing held October 14, 1987 during the SIAM 35th Anniversary Meeting Denver, CO
p-th roots for integers modulo pn and for p-adic integers
DMAS: a web-based distributed mathematics assessment system (abstract only)
ECCAD 2007 poster abstracts
New algebraic design for better P2P Features (abstract only)
Solving integrals with the quantum computer algebra system
Adaptive Thiele interpolation
Integration in finite terms
A slice algorithm for koszul simplicial complexes on the lcm lattice of monomial ideals
On elimination theory
Computing equilibria with group actions
Basic Polynomial Algebra Subprograms
Pseudo-parallel execution of modular computation
New non recursive formulas for irreducible representations of GL(C m +1 ) and systems of equations for the symmetric powers Sym n P m
Some definite integrals containing the Tree T function
Abstract only: Certified numerical solving of systems of polynomial equations
The Turing factorization of a rectangular matrix
Genus 3 hyperelliptic curves with (2, 4, 4)-split Jacobians
The parameterization problem for algebraic surfaces
The risch algorithms of MACSYMA and SENAC
A maple library for high performance sparse polynomial arithmetic
Using resultants for inductive Gröbner bases computation
Computation of geometric Galois groups and absolute factorizations
Presentation of the SCHOONSCHIP system
Numerical monsters
A few conjectures about the multiple zeta values
A Julia Package for Polyhedral Omega and Applications
MultiRegeneration for polynomial system solving
The Kolchin seminar in differential algebra at the graduate center of the city university of New York: Summer-2014 http: //www.sci.ccny.cuny.edu/~ksda/gradcenter.html
Computing Almost-Commuting Basis of Ordinary Differential Operators
CUMODP: a CUDA library for modular polynomial computation
MSSM: A Macaulay2 Package for the Vacuum Moduli Space
Complexity and performance results for non FFT-based univariate polynomial multiplication
A demonstration of computing galois groups of polynomials in magma
Some remarks on a proposed taxonomy for algebraic computation
CAS in the context of methodology of mathematics education
From interval computations to modal mathematics: applications and computational complexity
REDUCE as a lisp benchmark