yusuke1997/dblp-id-title huggingface dataset:
Attempts in local simplification of non nested radicals
On the design of an expert help system for computer algebra systems
Space-efficient evaluation of hypergeometric series
LEMA: towards a language for reliable arithmetic
The application of algebraic optimisation techniques to algebraic mode programs for reduce
Factorization of linear partial differential operators and Darboux integrability of nonlinear PDEs
An application of symbolic computation to crystal physics
EUROCAL '85 Abstracts
Nonexistence of degree bounds of various bases for ideals of polynomials over the integers
GAP: groups, algorithms, programming
Polynomial solution of recurrence relation and differential equation
Probabilistic algorithms for polynomial absolute factorization
T E X output from MACSYMA-like systems
Report on a national computer algebra workshop in Leipzig
Implementing Algebraic Combinatorics Some feedback from the development of MuPAD-Combinat (abstract only)
Report on the SNAP minisymposium at SIAM '98
Rewrite rules for nested integrals
Computing separating linear forms for bivariate systems
On the Hilbert quasi-polynomials for non-standard graded rings
On computing with factored rational expressions
An application of exact linear algebra to capacity planning models
The polyhedra library in maple
GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials
Conformal mapping using Bergman's method and the MAPLE system
Some symbolic computing links to the NAG numeric library
Computer algebra: the end of mathematics?
East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters
SNAP package for Mathematica
The nearest polynomial with a given zero, and similar problems
Symbolic definite (and indefinite) integration: methods and open issues
Certifying operator identities via noncommutative Gröbner bases
The RegularChains library in MAPLE
Index of nilpotency of binomial ideals
Closed-form formulas for projecting constructible sets in the theory of algebraically closed fields
Mark Giesbrecht ACM distinguished scientist
Computing generalized hamming weights of binary linear codes via free resolutions
The RSA algorithm (abstract only)
Linear Difference Operators with Sequence Coefficients Having Infinite-Dimentional Solution Spaces
Same courses, new questions
numericalsgps, a GAP package for numerical semigroups
Thomas decomposition and its applications
Linear codes over Z 4 [x]/<x 2 -2x>: dual preserving maps and images as codes over Z 4
Set constraint solver - Gröbner bases for non-numerical domains
Sparse differential resultant for laurent differential polynomials
Irreducible polynomials and barker sequences
GeometryEditor: a web-based interactive geometry manipulative authoring system (abstract only)
GOEDEL: A computer language for symbolic algebraic calculations - an introduction by examples
Interpolation in symbolic summation
Implementation of a solution to the conjugacy problem in Thompson's group F
Representation of hypergeometric products in difference rings
Global data flow analysis in Aldes
Using partial fraction formulas to sum some slowly convergent series analytically for molecular integral calculations
Application of Dixon resultant to maximization of the likelihood function of Gaussian mixture distribution
Dynamic modules: software integration in MuPAD
An attack on improved algebraic surface public-key cryptosystem (abstract only)
A new use of operators in the algebraic mode of REDUCE
Computing limits of sequences
CtCoq: an environment for mathematical reasoning
Satisfiability checking and symbolic computation
Invariants of binary forms
Computing the Intersection of finitely generated fields
The fourth conference "computer algebra" in Moscow
A note on the complexity of algebraic differentiation
Why you should remove zeros from data before guessing
P-adic reconstruction of rational numbers
Jenks prize announcement
Defect polytopes and counter-examples with polymake
The evaluation, manipulation and identification of nondimensional numbers
Improved divisor arithmetic on generic hyperelliptic curves
The SIGSAM challenges: symbolic asymptotics in practice
Automorphisms of tropical curves and Berkovich analytic curves and their skeletons
Almost linear time operations with triangular sets
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition
Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure
Abstract only: Parametric polynomial system discussion: canonical comprehensive Gröbner systems
Computer algebraic efficiency of matrix polynomials for a system of integral equations
A theorem for separating close roots of a polynomial and its derivatives
The algorithm description language ALDES (report)
Tuning an algebraic manipulation system through measurements
A comparative study of algorithms for sparse polynomial multiplication
Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday
Ultimate complexity for numerical algorithms
A toolkit for manipulating indefinite summations with application to neural networks
How to use a CAS for Hardware Design Automation
Seminar on Introduction to Symbolic and Algebraic Manipulation
ALTRAN programs for SIGSAM problem #6
Direct Indefinite Summation
Greedy algorithms for optimizing multivariate Horner schemes
MathML: a proposal for representing mathematics in HTML
Differential equations and Hurwitz series
SIAM 1978 national meeting: invited lectures
LU factoring of non-invertible matrices
On the complexity of computing certain resultants
Tlisp: a concurrent Lisp for the transputers
Logic and algebraic computation
A scale and shift paradigm for sparse interpolation in one and more dimensions
Effective Homology of Universal Covers
Weyl closure of a D-ideal
The Sixth Conference "Computer Algebra" in Moscow
Fake Shares Detection on a Visual Secret Sharing Scheme by Rational Interpolation
Parallelism and algorithms for algebraic manipulation: current work
Some applications of idempotent semirings in public key cryptography
An automatic parallelization framework for OpenAxiom
Symbolic manipulation in an extended λ-calculus
An approximate algorithm to parametrize algebraic curves
Jenks prize 2015 award citation
Rational general solutions of first-order algebraic ODEs
Fast parallel GCD algorithm of many integers
Genetic algorithms for the extended GCD problem (work in progress)
Factoring univariate polynomials over the rationals (abstract only)
Abstract only: An algorithmic approach to Ramanujan's congruences and related problems
Representation theory in CAYLEY: tools and algorithms
OpenMath support under CSL-hosted REDUCE
SINGULAR-1.0: a computer algebra system for singularity theory, algebraic geometry and commutative algebra
Polynomial root-finding via structured matrices
Comparing acceleration techniques for the dixon and macaulay resultants (abstract only)
Note on "solution of a general system of equations"
A novel symbolic ordinary differential equation solver
Improvement of EZ-GCD algorithm based on extended hensel construction
MPCR: an efficient and flexible chains of recurrences server
Limits of quotients of polynomial functions in three variables
Constructing symmetric structure-preserving strong linearizations
Constructive algebraic topology
Random oscillations arising in the MACSYMA implementation of Khachian-type algorithms in linear programming
Computation tool for the q -deformed quasi-shuffle algebras and representations of structure of MZVs
A computational view on normal forms of matrices of Ore polynomials
Factoring univariate polynomials over the rationals
LISP/370: a short technical description of the implementation
Non-commutative subsystems of singular
Error-correcting pairs: a new approach to code-based cryptography
Seventh RIMS Conference on "Formula Manipulation and its Application to Mathematical Study"
Application of CAS to constructing schemes of superhigh order of accuracy for heat conduction equation
OpenMath, MathML, and XSL
Realcertify: a maple package for certifying non-negativity
FFCSA - Finite Field Constructions, Search, and Algorithms
Minimal heights and regulators for elliptic surfaces (abstract only)
Cellular reductions of the Pommaret-Seiler resolution for Quasi-stable ideals
Series misdemeanors
Approximate GCD by relaxed NewtonSLRA algorithm
Arithmetics in Generalised Cantor Base Systems
Computing Gröbner bases of ideals of few points in high dimensions
New software for computing asymptotics of multivariate generating functions
Codes over local rings of order 16 and their gray maps
RISC Ph.D. studies program
An algorithm for computing Picard ranks of certain K3 surfaces
The interplay between commutative algebra and computer algebra
Endomorphisms of quantum generalized Weyl algebras
Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (II) (abstract only)
Finding maximal subfields
Abstract only: Solving linear recurrence relations
From an LLL-reduced basis to another
Optimal starting approximation and iterative algorithm for inverse error function
Polynomial solutions for first order ODEs with constant coefficients
On the computation of syzygies
Symbolic integration of a class of algebraic functions
Computation with hyperexponential functions
Computing Resultant of Quaternionic Polynomials
Ultrametric smale's α-theory
LISP-based "big-float" system is not slow
Symbolic and algebraic computation research in Italy
monomialideal.lib
A complete list of references for the paper: "a remark on the proposed syllabus for an AMS short course on computer algebra"
The degree compatible Gröbner fan for linear codes
Exploiting symmetry in the power flow equations using monodromy
Simplicial blowups and discrete normal surfaces in simpcomp
A Kenzo interface for algebraic topology computations in SageMath
Operations for D-Algebraic Functions
Developing the Soliton Explorer: A problem solving environment for soliton surface investigation
Origami and mathematics (abstract only)
Black box linear algebra: extending wiedemann's analysis of a sparse matrix preconditioner for computations over small fields
Symbolic analysis of dynamic systems
Algebraic manipulation in Cambridge
Problem #9: an ellipse problem
Anatomy of an integral
A note on Einstein metrics - a simple application of a symbolic algebra system
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
Computing minimal generators of integer matrix sequences (abstract only)
A note on algebraic independence of logarithmic and exponential constants
An application of reduce to industrial mechanics
Computer calculus: long perceived as merely 'number crunchers, ' computers are now moving into the realm of elegant mathematics
Using the Interval-Symbol Method with Zero Rewriting to Factor Polynomials over Algebraic Number Fields
Construction of rankings on partial derivatives
Macsyma solutions to the ISSAC '97 challenge problems
Chairman's column
A FPGA implementation of Chen's algorithm
Noether resolutions in dimension 2
Network coding via skew polynomials
Piecewise functions and convolution integrals (part I, part II)
Extensions of groups defined by power-commutator presentations
On implementing signature-based Gröbner basis algorithms using linear algebraic routines from M4RI
Homotopies and polynomial system solving I: basic principles
Polynomial transformations of Tschirnhaus, Bring and Jerrard
Mathematics and symbol manipulation
Differentiation of unknown functions in MACSYMA
Convergence domain of series expansions of multivariate algebraic functions
A review of symbolic solvers
Real root isolation for algebraic polynomials
Double by single length division
Recognition of Hurwitz polynomials
Approximate factorization of linear partial differential operators: full system of invariants for order three
ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple
Mobile mathematics communication
ISSAC '97 Poster Abstracts
A taxonomy for algebraic computation
Accelerating indefinite hypergeometric summation algorithms
An enhanced SYMBAL system
A lazy approach to adaptive exact real arithmetic using floating-point operations
Intrinsic topological representation of real algebraic surfaces
Complex analysis in symbolic computing of some definite integrals
Modular Matrix Multiplication on GPU for Polynomial System Solving
Motion polynomials and planar linkages
A new Kenzo module for computing the Eilenberg-Moore spectral sequence
Wen-Tsun Wu: His Life and Legacy
RUBI and integration as term re-writing: integrals containing tangent
Improved Abramov-Petkovšek's Reduction and Creative Telescoping for Hypergeometric Terms
Fast change of ordering with exponent ω
A knowledge-based system for computer algebra
Asymptotic series of generalized Lambert W function
Taylor series solutions of explicit ODE's in a strongly typed algebra system
Hashing to G2 on BLS pairing-friendly curves
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications
Conditions for Eigenvalue Configurations of Two Real Symmetric Matrices
Multi-summation in difference fields (abstract only)
A note on leftmost innermost term reduction
Factoring larger multivariate polynomials
The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis)
Integration in finite terms: the liouville theory
On Buchberger's method of solving systems of algebraic equations
GNU TEXmacs: a scientific editing platform
A maple package for integro-differential operators and boundary problems
Student undergraduate research projects in linear algebra using a computer algebra system
LiDIA - a library for computational number theory
Apollonius circle conflict
An elementary solution of a minimax problem arising in algorithms for automatic mesh selection
Towards a direct method for finding hypergeometric solutions of linear first order recurrence systems
Write a book!
Linearization of a specific family of Bézout matrices
A Johnson-type bound for group codes and lattices
On computing the Weierstrass points of a plane algebraic curve
15 PhD positions in GRAPES: learning, processing & optimising shapes
On the integration of algebraic functions: computing the logarithmic part
Problems, puzzles, challenges
De Boor-Fix dual functionals for transformation from polynomial basis to convolution basis
SAC-1 solution of problem #7
A variant of Wiener's attack on RSA with small secret exponent
An efficient squarefree decomposition algorithm
Review of "Numerically Solving Polynomial Systems with Bertini" by Daniel J. Bates, Jonathan D. Hauenstein, Andrew J. Sommese, and Charles W. Wampler
Solving systems of algebraic equations
An efficient quantifier elimination algorithm for algebraically closed fields of any characteristic
Dimensions of difference-algebraic groups
HIMMO: a collusion-resistant identity-based scheme for symmetric key generation
A rational function arithmetic and simplification system in common Lisp
A solution to problem #4: the lie transform
Algebraic full homomorphic encryption and resisting Gröbner basis cryptanalysis
On Castelnuovo-Mumford regularity of codimension two monomial varieties
Abstract only: Bitslicing with matrix algorithms oblivious to the data compression
The Sage package comb_walks for walks in the quarter plane
The q-WZ method for infinite sums (abstract only)
Some simple ways to construct and to use formulas mechanically
Symbolic Newton method for two-parameter eigenvalue problem
The n th derivative
A straight line program computing the integer greatest common divisor (abstract only)
A cache-oblivious engineering of the G2V algorithm for computing Gröbner bases
Abstracts of papers in the Journal of Symbolic Computation
Using technology in mathematical courses: some possibilities
Cauchy principal value integral using hybrid integral
A package for solving parametric polynomial systems
A polynomial time algorithm for computing all minimal decompositions of a polynomial
Automatic simplification for the absolute-value function and its relatives
Online Gröbner Basis [OGB]
Final problem set excerpts
Solution of a general system of equations
Abstracts of the 4th East Coast Computer Algebra Day, Northeastern University, Boston, MA, May 3, 1997
Recursive sparse interpolation
MAD: a flexible system for authoring mathematical documents
Report on previous activities at AAECC
Abstracts from the Sixth Army Conference on Applied Mathematics and Computing University of Colorado, Boulder, Colorado 31 May - 3 June 1988
A note on a paper by M. Mignotte
The golden rule of complementary feedback
Transformations of two cryptographic problems in terms of matrices
James Griesmer 1929-2011
Techniques for natural-style proofs in elementary analysis
Simplifying skew fractions modulo differential and difference relations
REDUCE solution to problem #8
Open source computer algebra systems: GAP
An application of Groebner bases to the classification of nonlinear circuits
OSCAS: maxima
Integration in terms of exponential integrals and incomplete gamma functions
Binomial difference ideal and toric difference variety
Effectively melding computer algebra systems into the calculus curriculum
Minimal models for superelliptic curves over their minimal field of definition
Three examples of S -integral points of elliptic curves over Q
A statistical look at maps of the discrete logarithm (abstract only)
The design of digital filters using REDUCE
Principal Branches of Inverse Trigonometric and Inverse Hyperbolic Functions
Message from the SIGSAM Chair
A lisp-language Mathematica-to-lisp translator
Evaluation codes and weierstrass semigroups
Richard Dimick Jenks memorial prize 2011
An expression analysis package for REDUCE
Resolvent and rational canonical forms of matrices
Bibliography archives
Problem #11 solved in REDUCE: a case study in program translation
A new generation of symbolic and algebraic computation systems
Constructing the vertex-transitive graphs on 24 vertices
Simplicial sets in the EAT system
Methods for simplifying differential equations
The conference "computer algebra" in Moscow
PGB: a package for computing parametric Gröbner and related objects
Abstract only: SPIRAL-generated modular FFTs
The unwinding number
Solution to SIGSAM problem no. 5 using schoonschip
Automatic derivation and implementation of signal processing algorithms
Philippe Flajolet: the father of analytic combinatorics
Extending construction X for quantum error-correcting codes
The introduction of a computer-based tool for solving mathematical problems analytically to an undergraduate course
Admissible term orderings used in computer algebra systems
Introduction to NETFORM
REDUCE 2 for CP/M
Symbolic and algebraic computer programming systems
On optimization problems
Using Buchbergers algorithm in invariant theory
Clustering in the Lazard method for Cylindrical Algebraic Decomposition
Solving linear recurrence equations
Towards parallel general-size library generation for polynomial multiplication
FPS in action: an easy way to find explicit formulas for interlaced hypergeometric sequences
Checkpoints in searching for rational solutions of linear ordinary difference and differential systems
On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications
The skeletons you find when you order your ideal's closet
Converting SAC-2 code to lisp
Is a LISP machine different from a fortran machine?
A saturation algorithm for homogeneous binomial ideals
An algebraic framework for extending orthogonal designs
Effective homology of a classifying space
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
Multivariable codes in principal ideal polynomial quotient rings
Manuel Bronstein's codes
Parametrized logarithmic equations and their Galois theory
Antiquantization of deformed Heun class equations as a tool for symbolic generation of Painlevé equations
Algorithms to compute the eigenvalues of a p-adic matrix
A simple display package for polynomials and rational functions in common Lisp
Annihilating monomials with the integro-differential Weyl algebra
AMS special session on SAGE and mathematical research using open source software
The population biology of infectious diseases (abstract only)
Computing a rational in between
Computing the 2-distribution of points on Hermitian surfaces (abstract only)
Abstract only: DEMOCRACY: a heuristic for polynomial systems of equations over finite fields
Conjectural permutation decoding of some AG codes
Not seeing the roots for the branches: multivalued functions in computer algebra
Computing the ideals of sumset semigroups
Smooth points on semi-algebraic sets
A reduce package for series analysis by Hadamard's Theorem and QD schemes
The modpn library: bringing fast polynomial arithmetic into MAPLE
International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization
Approximate algebraic computation: practice and problems
NAOMI one: North American OpenMath Initiative goes online
An extension to MACSYMA's concept of functional differentiation
Zigzag Form over Families of Parametric Matrices
Simplifying products of fractional powers of powers
Experience with truncated power series
A radical proposal for computer algebra in education
Standard monomials for temperley-lieb algebras
A call to build a publicly accessible library of lecture recordings in computer algebra
Abstracts: J-SIGSAM Japanese Special Interest Group on Symbolic and Algebraic Computation and Report of the Last Seasonal Meeting
Factorization of polynomials
Solving boundary-value problems with perturbations
Algebraic methods for computing a generalized inverse
Symbolic computation techniques for solving large expression problems from mathematics and engineering
Abstracts of Japanese Computer Algebra Meeting in Kyoto
Computing differential Galois groups of parameterized second-order linear differential equations
An improved algorithmic construction of Gröbner-bases for polynomial ideals
The conversion of Hensel codes to their rational equivalents: or how to solve the Gregory's open problem
Comparison of polynomial-oriented computer algebra systems
Well ... it isn't quite that simple
Some aspects of symbolic integration via predicate logic programming
A survey of available systems
Some new almost difference sets via finite fields
Differential schemes: geometric approach and functorial approach
ORTOCARTAN: a program for algebraic calculations in general relativity
A comparison of symbolic solution of radioactive decay chains using Mathematica
Robust algorithms for sparse interpolation of multivariate polynomials
Unwinding paths on the Riemann sphere for continuous integrals of rational functions
The second conference "Computer Algebra" in Moscow
A complete simplification package for the absolute value function in REDUCE
New bounds for the Descartes method
Fibonacci-mandelbrot polynomials and matrices
Models of population dynamics (abstract only)
20 Years SymbolicData
Computation of dimensions of non-commutative algebras
Titles and abstracts: mathematical symbolic manipulation on the computer
MACSYMA - the fifth year
On a query algorithm for a divisibility problem
On the formulation and solution of shell problems by means of computerized algebraic manipulation
Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report
Symbolic computation of Fenchel conjugates
Algorithm of simplification of nonlinear equations systems
Formal power series
On the functional decomposition of multivariate laurent polynomials (abstract only)
Circles on surfaces
Automatic variable order selection for polynomial system solving (abstract only)
On some real problems in computer vision which yield to algebraic system of equations
SAMPLE: new programming technology and AI language
Computational algebra with APL
Computing tropical varieties using Newton's polygon method
Table of special function integrals
How to find algebraic integers whose conjugates lie near the unit circle?
Computing generic bivariate Gröbner bases with Mathemagix
Integration in finite terms of non-liouvillian functions