Michael B. Monagan

Qiao-Long Huang

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions.

[BibT_eX]

[DOI]

Mahsa Ansari

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2023

How to program with formulas in Maple: Formulas in Maple.

[BibT_eX]

[DOI]

Maple Trans., 2023

A New Black Box Factorization Algorithm - the Non-monic Case.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Solving Parametric Linear Systems Using Sparse Rational Function Interpolation.

[BibT_eX]

[DOI]

Ayoola Jinadu

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions.

[BibT_eX]

[DOI]

Mahsa Ansari

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

Factoring Multivariate Polynomials Represented by Black Boxes: A Maple + C Implementation.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2022

Speeding up polynomial GCD, a crucial operation in Maple.

[BibT_eX]

[DOI]

Maple Trans., 2022

A new interpolation algorithm for computing dixon resultants.

[BibT_eX]

[DOI]

Ayoola Jinadu

ACM Commun. Comput. Algebra, 2022

Factoring non-monic polynomials represented by black boxes.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2022

Linear Hensel Lifting for Zp[x, y] for n Factors with Cubic Cost.

[BibT_eX]

[DOI]

Garrett Paluck

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

An Interpolation Algorithm for Computing Dixon Resultants.

[BibT_eX]

[DOI]

Ayoola Jinadu

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

2021

Algorithms for computing greatest common divisors of parametric multivariate polynomials.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

A fast parallel sparse polynomial GCD algorithm.

[BibT_eX]

[DOI]

Jiaxiong Hu

J. Symb. Comput., 2021

High-performance SIMD modular arithmetic for polynomial evaluation.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2021

A call to build a publicly accessible library of lecture recordings in computer algebra.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2021

2020

The complexity of sparse Hensel lifting and sparse polynomial factorization.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

The 2019 Richard D. Jenks memorial prize.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2020

Computing one billion roots using the tangent Graeffe method.

[BibT_eX]

[DOI]

Joris van der Hoeven

ACM Commun. Comput. Algebra, 2020

Implementing the Tangent Graeffe Root Finding Method.

[BibT_eX]

[DOI]

Joris van der Hoeven

Proceedings of the Mathematical Software - ICMS 2020, 2020

The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019

New bivariate Hensel lifting algorithm for n factors.

[BibT_eX]

[DOI]

Garrett Paluck

ACM Commun. Comput. Algebra, 2019

Polynomial Factorization in Maple 2019.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Using Leslie Matrices as the Application of Eigenvalues and Eigenvectors in a First Course in Linear Algebra.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost.

[BibT_eX]

[DOI]

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2018, 2018

Factoring Multivariate Polynomials with Many Factors and Huge Coefficients.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

2017

Fast parallel multi-point evaluation of sparse polynomials.

[BibT_eX]

[DOI]

Alan Wong

ACM Commun. Comput. Algebra, 2017

Resolving Zero Divisors Using Hensel Lifting.

[BibT_eX]

[DOI]

John Kluesner

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

An Algorithm For Spliting Polynomial Systems Based On F4.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

2016

Some results on counting roots of polynomials and the Sylvester resultant.

[BibT_eX]

[DOI]

CoRR, 2016

A Modular Algorithm for Computing Polynomial GCDs over Number Fields presented with Multiple Extensions.

[BibT_eX]

[DOI]

Mark van Hoeij

CoRR, 2016

Fermat benchmarks for rational expressionals in maple.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

Computing characteristic polynomials of matrices of structured polynomials.

[BibT_eX]

[DOI]

Marshall Law

ACM Commun. Comput. Algebra, 2016

Using Sparse Interpolation in Hensel Lifting.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

Using sparse interpolation to solve multivariate diophantine equations.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2015

A compact parallel implementation of F4.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

A parallel implementation for polynomial multiplication modulo a prime.

[BibT_eX]

[DOI]

Marshall Law

Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

Optimizing and parallelizing the modular GCD algorithm.

[BibT_eX]

[DOI]

Matthew Gibson

Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

2014

The Design of Maple's Sum-of-Products and POLY Data Structures for Representing Mathematical Objects.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2014

2013

A parallel algorithm to compute the greatest common divisor of sparse multivariate polynomials.

[BibT_eX]

[DOI]

Jiaxiong Hu

ACM Commun. Comput. Algebra, 2013

2012

A new edge selection heuristic for computing the Tutte polynomial of an undirected graph

[BibT_eX]

[DOI]

CoRR, 2012

POLY: a new polynomial data structure for Maple 17.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2012

Sparse Polynomial Powering Using Heaps.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

2011

Calculating cyclotomic polynomials.

[BibT_eX]

[DOI]

Math. Comput., 2011

Sparse polynomial division using a heap.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

2010

Algorithms for solving linear systems over cyclotomic fields.

[BibT_eX]

[DOI]

Liang Chen

J. Symb. Comput., 2010

Sparse polynomial multiplication and division in Maple 14.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

On sparse interpolation over finite fields.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

A fast recursive algorithm for computing cyclotomic polynomials.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

Parallel sparse polynomial division using heaps.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Parallel sparse polynomial interpolation over finite fields.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

A high-performance algorithm for calculating cyclotomic polynomials.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009

Parallel sparse polynomial multiplication using heaps.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

On factorization of multivariate polynomials over algebraic number and function fields.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Lazy and Forgetful Polynomial Arithmetic and Applications.

[BibT_eX]

[DOI]

Paul Vrbik

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

2008

Calculating really big cyclotomic polynomials (abstract only).

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

2007

A maple library for high performance sparse polynomial arithmetic.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2007

A sparse modular GCD algorithm for polynomials over algebraic function fields.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2006

Rational simplification modulo a polynomial ideal.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Fast rational function reconstruction.

[BibT_eX]

[DOI]

Sara Khodadad

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Hierarchical Representations with Signatures for Large Expression Management.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

Probabilistic algorithms for computing resultants.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2005

Algorithms for the non-monic case of the sparse modular GCD algorithm.

[BibT_eX]

[DOI]

Jennifer de Kleine

Allan D. Wittkopf

Proceedings of the Symbolic and Algebraic Computation, 2005

2004

Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2004

Algorithms for polynomial GCD computation over algebraic function fields.

[BibT_eX]

[DOI]

Mark van Hoeij

Proceedings of the Symbolic and Algebraic Computation, 2004

2002

A modular GCD algorithm over number fields presented with multiple extensions.

[BibT_eX]

[DOI]

Mark van Hoeij

Proceedings of the Symbolic and Algebraic Computation, 2002

2001

Algorithms for trigonometric polynomials.

[BibT_eX]

[DOI]

Jamie Mulholland

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

2000

On the design and implementation of Brown's algorithm over the integers and number fields.

[BibT_eX]

[DOI]

Allan D. Wittkopf

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

ADrien: An Implementation of Automatic Differentiation in Maple.

[BibT_eX]

[DOI]

Dominique Villard

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

On the Genericity of the Modular Polynomial GCD Algorithm.

[BibT_eX]

[DOI]

Erich L. Kaltofen

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

Computing Univariate GCDs over Number Fields.

[BibT_eX]

[DOI]

Roger Margot

Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 1998

1997

Worksheets and Notebooks: Can We Teach Mathematical Algorithms with Them?

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

Problems, puzzles, challenges.

[BibT_eX]

[DOI]

Gregory J. Fee

SIGSAM Bull., 1997

A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision.

[BibT_eX]

[DOI]

Gladys Monagan

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

Efficient Multivariate Factorization over Finite Fields.

[BibT_eX]

[DOI]

Laurent Bernardin

Proceedings of the Applied Algebra, 1997

1994

Introduction to Gauss.

[BibT_eX]

[DOI]

Dominik Gruntz

SIGSAM Bull., 1994

Signature Functions for Algebraic Numbers.

[BibT_eX]

[DOI]

Gaston H. Gonnet

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1993

The Maple Computer Algebra System.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 1993

von zur Gathen's factorization challenge.

[BibT_eX]

[DOI]

SIGSAM Bull., 1993

GRADIENT: Algorithmic Differentiation in Maple.

[BibT_eX]

[DOI]

Walter M. Neuenschwander

Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993

Gauss: A Parameterized Domain of Computation System with Support for Signature Functions.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

A Heuristic Irreducibility Test for Univariate Polynomials.

[BibT_eX]

[DOI]

J. Symb. Comput., 1992

In-place Arithmetic for Polinominals over Zn.

[BibT_eX]

[DOI]