Michael B. Monagan

102 papers A* 1B 36Misc 2Journal 44Unranked 16
YearRankTypeTitle / Venue / Authors
2025 B conf
A Failure Probability Analysis of a Modular Algorithm to Compute the Monic GCD of Multivariate Polynomials over Algebraic Number Fields ${\mathbb {Q}(\alpha _1,\ldots ,\alpha _n)}$.
CASC
Mahsa Ansari, Michael B. Monagan
2025 B conf
A New Black Box GCD Algorithm Using Hensel Lifting.
CASC
Michael B. Monagan, Garrett Paluck
2025 J jnl
Implementing Kaltofen and Yagati's fast transposed Vandermonde solver.
Maple Trans.
Michael B. Monagan, Hyukho Kwon
2024 J jnl
A Maple Program to Factor Multivariate Polynomials Given by Black Boxes.
ACM Commun. Comput. Algebra
Tian Chen, Michael B. Monagan
2024 B conf
A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions.
CASC
Mahsa Ansari, Michael B. Monagan
2024 B conf
A New Sparse Polynomial GCD by Separating Terms.
ISSAC
Michael B. Monagan, Qiao-Long Huang
2023 B conf
A New Black Box Factorization Algorithm - the Non-monic Case.
ISSAC
Tian Chen, Michael B. Monagan
2023 B conf
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions.
CASC
Mahsa Ansari, Michael B. Monagan
2023 J jnl
How to program with formulas in Maple: Formulas in Maple.
Maple Trans.
Michael B. Monagan
2023 B conf
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation.
CASC
Ayoola Jinadu, Michael B. Monagan
2022 J jnl
A new interpolation algorithm for computing dixon resultants.
ACM Commun. Comput. Algebra
Ayoola Jinadu, Michael B. Monagan
2022 B conf
An Interpolation Algorithm for Computing Dixon Resultants.
CASC
Ayoola Jinadu, Michael B. Monagan
2022 J jnl
Factoring Multivariate Polynomials Represented by Black Boxes: A Maple + C Implementation.
Math. Comput. Sci.
Tian Chen, Michael B. Monagan
2022 J jnl
Factoring non-monic polynomials represented by black boxes.
ACM Commun. Comput. Algebra
Tian Chen, Michael B. Monagan
2022 B conf
Linear Hensel Lifting for Zp[x, y] for n Factors with Cubic Cost.
ISSAC
Michael B. Monagan, Garrett Paluck
2022 J jnl
Speeding up polynomial GCD, a crucial operation in Maple.
Maple Trans.
Michael B. Monagan
2021 J jnl
A call to build a publicly accessible library of lecture recordings in computer algebra.
ACM Commun. Comput. Algebra
Michael B. Monagan
2021 J jnl
A fast parallel sparse polynomial GCD algorithm.
J. Symb. Comput.
Jiaxiong Hu, Michael B. Monagan
2021 J jnl
Algorithms for computing greatest common divisors of parametric multivariate polynomials.
J. Symb. Comput.
Deepak Kapur, Dong Lu, Michael B. Monagan, Yao Sun, Dingkang Wang
2021 J jnl
High-performance SIMD modular arithmetic for polynomial evaluation.
Concurr. Comput. Pract. Exp.
Pierre Fortin, Ambroise Fleury, François Lemaire, Michael B. Monagan
2020 J jnl
Computing one billion roots using the tangent Graeffe method.
ACM Commun. Comput. Algebra
Joris van der Hoeven, Michael B. Monagan
2020 J jnl
High performance SIMD modular arithmetic for polynomial evaluation.
CoRR
Pierre Fortin, Ambroise Fleury, François Lemaire, Michael B. Monagan
2020 — conf
Implementing the Tangent Graeffe Root Finding Method.
ICMS
Joris van der Hoeven, Michael B. Monagan
2020 J jnl
The 2019 Richard D. Jenks memorial prize.
ACM Commun. Comput. Algebra
Michael B. Monagan
2020 B conf
The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization.
CASC
Tian Chen, Michael B. Monagan
2020 J jnl
The complexity of sparse Hensel lifting and sparse polynomial factorization.
J. Symb. Comput.
Michael B. Monagan, Baris Tuncer
2019 B conf
Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost.
ISSAC
Michael B. Monagan
2019 J jnl
New bivariate Hensel lifting algorithm for
ACM Commun. Comput. Algebra
Garrett Paluck, Michael B. Monagan
2019 — conf
Polynomial Factorization in Maple 2019.
MC
Michael B. Monagan, Baris Tuncer
2019 — conf
Using Leslie Matrices as the Application of Eigenvalues and Eigenvectors in a First Course in Linear Algebra.
MC
Michael B. Monagan
2018 B conf
An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD.
ISSAC
Deepak Kapur, Dong Lu, Michael B. Monagan, Yao Sun, Dingkang Wang
2018 B conf
Factoring Multivariate Polynomials with Many Factors and Huge Coefficients.
CASC
Michael B. Monagan, Baris Tuncer
2018 J jnl
Resolving zero-divisors using Hensel lifting.
CoRR
John Kluesner, Michael B. Monagan
2018 — conf
Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation.
ICMS
Michael B. Monagan, Baris Tuncer
2017 — conf
An Algorithm For Spliting Polynomial Systems Based On F4.
PASCO@ISSAC
Michael B. Monagan, Roman Pearce
2017 — conf
Fast Parallel Multi-point Evaluation of Sparse Polynomials.
PASCO@ISSAC
Michael B. Monagan, Alan Wong
2017 J jnl
Fast parallel multi-point evaluation of sparse polynomials.
ACM Commun. Comput. Algebra
Michael B. Monagan, Alan Wong
2017 — ed.
Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017
PASCO@ISSAC
Jean-Charles Faugère, Michael B. Monagan, Hans-Wolfgang Loidl
2017 Misc conf
Resolving Zero Divisors Using Hensel Lifting.
SYNASC
John Kluesner, Michael B. Monagan
2016 B conf
A Fast Parallel Sparse Polynomial GCD Algorithm.
ISSAC
Jiaxiong Hu, Michael B. Monagan
2016 J jnl
A Modular Algorithm for Computing Polynomial GCDs over Number Fields presented with Multiple Extensions.
CoRR
Mark van Hoeij, Michael B. Monagan
2016 B conf
Computing Characteristic Polynomials of Matrices of Structured Polynomials.
CASC
Marshall Law, Michael B. Monagan
2016 J jnl
Computing characteristic polynomials of matrices of structured polynomials.
ACM Commun. Comput. Algebra
Marshall Law, Michael B. Monagan
2016 J jnl
Fermat benchmarks for rational expressionals in maple.
ACM Commun. Comput. Algebra
Michael B. Monagan, Roman Pearce
2016 J jnl
Some results on counting roots of polynomials and the Sylvester resultant.
CoRR
Michael B. Monagan, Baris Tuncer
2016 B conf
Using Sparse Interpolation in Hensel Lifting.
CASC
Michael B. Monagan, Baris Tuncer
2015 — conf
A compact parallel implementation of F4.
PASCO
Michael B. Monagan, Roman Pearce
2015 — conf
A parallel implementation for polynomial multiplication modulo a prime.
PASCO
Marshall Law, Michael B. Monagan
2015 — conf
Optimizing and parallelizing the modular GCD algorithm.
PASCO
Matthew Gibson, Michael B. Monagan
2015 J jnl
Using sparse interpolation to solve multivariate diophantine equations.
ACM Commun. Comput. Algebra
Michael B. Monagan, Baris Tuncer
2014 J jnl
The Design of Maple's Sum-of-Products and POLY Data Structures for Representing Mathematical Objects.
ACM Commun. Comput. Algebra
Michael B. Monagan, Roman Pearce
2013 J jnl
A parallel algorithm to compute the greatest common divisor of sparse multivariate polynomials.
ACM Commun. Comput. Algebra
Jiaxiong Hu, Michael B. Monagan
2012 J jnl
A new edge selection heuristic for computing the Tutte polynomial of an undirected graph
CoRR
Michael B. Monagan
2012 — conf
POLY: A New Polynomial Data Structure for Maple 17.
ASCM
Michael B. Monagan, Roman Pearce
2012 J jnl
POLY: a new polynomial data structure for Maple 17.
ACM Commun. Comput. Algebra
Michael B. Monagan, Roman Pearce
2012 B conf
Sparse Polynomial Powering Using Heaps.
CASC
Michael B. Monagan, Roman Pearce
2011 J jnl
Calculating cyclotomic polynomials.
Math. Comput.
Andrew Arnold, Michael B. Monagan
2011 J jnl
Sparse polynomial division using a heap.
J. Symb. Comput.
Michael B. Monagan, Roman Pearce
2010 J jnl
A fast recursive algorithm for computing cyclotomic polynomials.
ACM Commun. Comput. Algebra
Andrew Arnold, Michael B. Monagan
2010 — conf
A high-performance algorithm for calculating cyclotomic polynomials.
PASCO
Andrew Arnold, Michael B. Monagan
2010 J jnl
Algorithms for solving linear systems over cyclotomic fields.
J. Symb. Comput.
Liang Chen, Michael B. Monagan
2010 J jnl
On sparse interpolation over finite fields.
ACM Commun. Comput. Algebra
Seyed Mohammad Mahdi Javadi, Michael B. Monagan
2010 — conf
Parallel sparse polynomial division using heaps.
PASCO
Michael B. Monagan, Roman Pearce
2010 — conf
Parallel sparse polynomial interpolation over finite fields.
PASCO
Seyed Mohammad Mahdi Javadi, Michael B. Monagan
2010 J jnl
Sparse polynomial multiplication and division in Maple 14.
ACM Commun. Comput. Algebra
Michael B. Monagan, Roman Pearce
2009 B conf
Lazy and Forgetful Polynomial Arithmetic and Applications.
CASC
Michael B. Monagan, Paul Vrbik
2009 B conf
On factorization of multivariate polynomials over algebraic number and function fields.
ISSAC
Seyed Mohammad Mahdi Javadi, Michael B. Monagan
2009 B conf
Parallel sparse polynomial multiplication using heaps.
ISSAC
Michael B. Monagan, Roman Pearce
2008 J jnl
Calculating really big cyclotomic polynomials (abstract only).
ACM Commun. Comput. Algebra
Andrew Arnold, Michael B. Monagan
2007 J jnl
A maple library for high performance sparse polynomial arithmetic.
ACM Commun. Comput. Algebra
Roman Pearce, Michael B. Monagan
2007 B conf
A sparse modular GCD algorithm for polynomials over algebraic function fields.
ISSAC
Seyed Mohammad Mahdi Javadi, Michael B. Monagan
2007 B conf
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors.
CASC
Michael B. Monagan, Roman Pearce
2006 B conf
Fast rational function reconstruction.
ISSAC
Sara Khodadad, Michael B. Monagan
2006 Misc conf
Hierarchical Representations with Signatures for Large Expression Management.
AISC
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan
2006 B conf
Rational simplification modulo a polynomial ideal.
ISSAC
Michael B. Monagan, Roman Pearce
2005 B conf
Algorithms for the non-monic case of the sparse modular GCD algorithm.
ISSAC
Jennifer de Kleine, Michael B. Monagan, Allan D. Wittkopf
2005 B conf
Probabilistic algorithms for computing resultants.
ISSAC
Michael B. Monagan
2004 B conf
Algorithms for polynomial GCD computation over algebraic function fields.
ISSAC
Mark van Hoeij, Michael B. Monagan
2004 B conf
Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction.
ISSAC
Michael B. Monagan
2002 B conf
A modular GCD algorithm over number fields presented with multiple extensions.
ISSAC
Mark van Hoeij, Michael B. Monagan
2001 B conf
Algorithms for trigonometric polynomials.
ISSAC
Jamie Mulholland, Michael B. Monagan
2000 B conf
On the design and implementation of Brown's algorithm over the integers and number fields.
ISSAC
Michael B. Monagan, Allan D. Wittkopf
1999 B conf
ADrien: An Implementation of Automatic Differentiation in Maple.
ISSAC
Dominique Villard, Michael B. Monagan
1999 B conf
On the Genericity of the Modular Polynomial GCD Algorithm.
ISSAC
Erich L. Kaltofen, Michael B. Monagan
1998 A* conf
Computing Univariate GCDs over Number Fields.
SODA
Michael B. Monagan, Roger Margot
1997 B conf
A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision.
ISSAC
Michael B. Monagan, Gladys Monagan
1997 — conf
Efficient Multivariate Factorization over Finite Fields.
AAECC
Laurent Bernardin, Michael B. Monagan
1997 J jnl
Problems, puzzles, challenges.
SIGSAM Bull.
Gregory J. Fee, Michael B. Monagan
1997 J jnl
Problems, puzzles, challenges.
SIGSAM Bull.
Gregory J. Fee, Michael B. Monagan
1997 J jnl
Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management.
J. Symb. Comput.
Robert M. Corless, David J. Jeffrey, Michael B. Monagan, Pratibha
1997 J jnl
Worksheets and Notebooks: Can We Teach Mathematical Algorithms with Them?
J. Symb. Comput.
Michael B. Monagan
1994 J jnl
Introduction to Gauss.
SIGSAM Bull.
Dominik Gruntz, Michael B. Monagan
1994 B conf
Signature Functions for Algebraic Numbers.
ISSAC
Michael B. Monagan, Gaston H. Gonnet
1993 B conf
GRADIENT: Algorithmic Differentiation in Maple.
ISSAC
Michael B. Monagan, Walter M. Neuenschwander
1993 — conf
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions.
DISCO
Michael B. Monagan
1993 J jnl
The Maple Computer Algebra System.
Comput. Sci. J. Moldova
Michael B. Monagan
1993 J jnl
von zur Gathen's factorization challenge.
SIGSAM Bull.
Michael B. Monagan
1992 J jnl
A Heuristic Irreducibility Test for Univariate Polynomials.
J. Symb. Comput.
Michael B. Monagan
1992 — conf
In-place Arithmetic for Polinominals over Z
DISCO
Michael B. Monagan
1991 — book
Maple V - language reference manual.
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan
1991 — book
Maple V - library reference manual.
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan
1986 J jnl
A Tutorial Introduction to Maple.
J. Symb. Comput.
Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan