Maple Conference Presentations 2019 - Maplesoft
The 2020 Maple Conference has gone VIRTUAL!

## 2019 Maple Conference Presentations and Proceedings

The Maple 2019 Conference Proceedings are published in the Communications in Computer and Information Science series from Springer.

### Education/Application Stream

Transforming Maple into an Intelligent Model-Tracing Math Tutor
Dimitrios Sklavakis
This presentation describes an intelligent, model-tracing system for tutoring expansion and factoring of algebraic expressions.
Using Leslie Matrices as Application of Eigenvalues and Eigenvectors in a First Course in Linear Algebra
Michael Monagan
This presentation discusses the Leslie age distribution model and provides accompanying exercises suitable for students.
The Creation of Animated Graphs to Develop Computational Thinking and Support STEM Education
Alice Barana, Alberto Conte, Cecilia Fissore, Francesco Floris, Marina Marchiato and Matteo Sacchet
This presentation shows some examples in which different processes of computational thinking have emerged, which reflect resolutive strategies and different generalization processes.
Distributive Laws Between the Operads Lie and Com
In this presentation the authors apply computer algebra, especially linear algebra over polynomial rings and Gröbner bases, to classify inhomogeneous distributive laws between the operads for Lie algebras and commutative associative algebras.
Use of Maple and Moebius in an Undergraduate Course on Cryptography
Bruce Char and Jeremy Johnson
This presentation looks at the design intent and impact of the Maple-based materials on course conduct. It discusses the pedagogical considerations, along with a summary of how the benefits and difficulties in using the tools for these considerations.
Undergraduate Upper Division Quantum Mechanics: An Experiment in Maple Emersion
Scot A.C. Gould
Dirac-notation based upper division undergraduate quantum mechanics was taught in the Spring semester of 2019 using Maple to present the mathematics of the course and to solve all mathematical and computational problems. This presentation looks at how students used Maple in their studies.
Classifying Discrete Structures by their Stabilizers
Gilbert Labelle
A look at formal power series such as Combinatorials, by making use of the GroupTheory package and give suggestions for possible extensions of that package and some other specific procedures. An analysis of multivariable combinatorial power series is also presented.
A Maple Exploration of Surface Curvatures
Dr. Robert Lopez
A Maple Exploration of Surface Curvatures presented by Dr. Robert Lopez at the Maple Conference 2019.
Maplesoft Session: Hollywood Math
Charlotte Blinston
During this presentation we will present a number of examples of mathematics in film, including those done capably, as well as questionable and downright "creative" treatments. See relevant, exciting examples that you can use to engage your students.
Using Maple to Make Manageable Matrices
Ana Carolina Camargos Couto and David J. Jeffrey
This presentation describes an application of Maple in the teaching of linear algebra.
Effective Problem Solving Using SAT Solvers
Curtis Bright, Jürgen Gerhard, Ilias Kotsireas and Vijay Ganesh
This presentation demonstrates how to solve a variety of problems and puzzles using the built-in SAT solver of the computer algebra system Maple.
Enhance Faculty Experience and Skills using Maple in the 21st Century Classroom
Lance Gooden
This presentation discusses challenges faced while attempting to implement the use of Maple within the classroom in the Calculus sequences, Linear Algebra and Differential Equations at Johnston Community College as well as across North Carolina Community Colleges.
Maplesoft Session: Introducing the Maple Companion App
Karishma Punwani
An introduction to the Maple Companing App
How Maple Has Improved Student Understanding in Differential Equations
In this talk we will discuss how interactive resources implemented in Maple can be used to improve student understanding of several basic principles in an introductory ODE course.
Maplesoft Session: Tools for Practice & Assessment
Paul DeMarco, Paulina Chin
Tools for Practice & Assessment presented by Paul DeMarco and Paulina Chin at the Maple Conference 2019.
Maplesoft Session: Deep Learning in Maple
Stephen Forrest
Deep Learning in Maple presented by Stephen Forrest at the Maple Conference 2019.

### Research Stream

Using Maple to Analyse Parallel Robots
Damien Chablat, Guillaume Moroz, Fabrice Rouillier and Philippe Wenger
This presentation demonstrations the SIROPA Maple Library which has been designed to study serial and parallel manipulators at the conception level.
Polynomial Factorization in Maple 2019
Michael Monagan and Baris Tuncer
In this talk we present the main ideas behind the new multivariate polynomial factorization algorithm and compare it with Wang's algorithm.
Decomposing the Parameter Space of Biological Networks via a Numerical Discriminant Approach
Heather Harrington, Dhagash Mehta, Helen Byrne and Jonathan Hauenstein
We develop global and local numerical algorithms for constructing the discriminant locus and classifying the parameter landscape. We showcase our numerical approaches by applying them to molecular and cell-network models.
Studying Wythoff and Zometool Constructions using Maple
This presentation discusses the use of Maple in studying Wythoff and Zometool Constructions in at least four purposes.
A Maple Package for the Symbolic Computation of Drazin Inverse Matrices with Multivariate Transcendental Functions Entries
Juana Sendra, Rafael Sendra and Jorge Caravantes
This presentation describes the Maple computer algebra package, named \textbf{DrazinInverse}, that computes Drazin inverses of matrices whose entries are elements of a finite transcendental field extension of a computable field.
Detecting Singularities Using the PowerSeries Library
Mahsa Kazemi and Marc Moreno Maza
This presentation addresses an important application of the so-called Extended Hensel Construction (EHC) for computing the aforementioned reduced smooth map.
Using Maple to Compute the Intersection Curve of Two Quadrics: Improving the Intersectplot Command
We will present the implementation in Maple of a new algorithm computing the intersection curve between two quadrics in 3D that improves the results produced by the intersectplot command.
Exact Parametric Solutions for the Intersections of Quadric Surfaces using MAPLE
Samir Hamdi, David Levin and Brian Morse
This session presents a new analytical method for parameterizing the intersection curve of two quadrics, which are represented by implicit quadratic equations in 3D.
Maplesoft Session: Multivariate Limit Computations
Jürgen Gerhard
This session presents a new analytical method for parameterizing the intersection curve of two quadrics, which are represented by implicit quadratic equations in 3D.
PseudoLinearSystems: A Maple Package for Studying Systems of Pseudo-Linear Equation
Moulay Barkatou, Thomas Cluzeau and Ali El Hajj
This software presentation demonstrates the use of several procedures of the Maple PseudoLinearSystemspackage package that are all based on the simple form procedure.
The Lie Algebra of Vector Fields Package with Applications to Mappings of Differential Equations
Zahra Mohammadi, Gregory J. Reid and S.-L. Tracy Huang
This presentation is a brief summary, through examples, of the application of LAVF to MapDE.
Approximate GCD in Bernstein Basis
Robert M. Corless and Leili Rafiee Sevyeri
We adapt Victor Y. Pan's root-based algorithm for finding approximate \texttt{GCD} to the case where the polynomials are expressed in a Bernstein basis.
Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple
Matthew England and Dorian Florescu
In this presentation we survey our recent work to use ML to select the variable ordering for Cylindrical Algebraic Decomposition (CAD) in Maple: experimentation with a variety of models, and a new flexible framework for generating ML features from polynomial systems.
A Poly-algorithmic Quantifier Elimination Package in Maple
Zak Tonks
This presentation explores the challenges and scope such an implementation gives in terms of the desires of the Satisfiability Modulo Theory (SMT) community, and other frequent uses of QE, noting Maple's status as a Mathematical toolbox.
LegendreSobolev Package and its Applications in Handwriting Recognition
Parisa Alvandi and Stephen M. Watt
This presentation proposes a new formulation for the conversion matrix for constructing Legendre-Sobolev representation of the coordinate functions from their moment integrals.
The Z_Polyhedra library in Maple
Rui-Juan Jing and Marc Moreno Maza
This presentation looks at the Z_Polyhedra library in Maple.
On the Effective Computation of Stabilizing Controllers of 2D Systems
Yacine Bouzidi, Thomas Cluzeau, Alban Quadrat and Fabrice Rouillier
This presentation describes how stabilizing controllers for 2D systems can effectively be computed based on computer algebra methods dedicated to polynomial systems, module theory and homological algebra.

The Maple 2019 Conference Proceedings are published in the Communications in Computer and Information Science series from Springer.