Publications

Mark Boady. 2016. Applications of Symbolic Computation to the Calculus of Moving Surfaces. Thesis. Advisors Jeremy Johnson and Pavel Grinfeld. Drexel University. Philadelphia, PA. https://innoserv.library.drexel.edu/record=b2705648

Mark Boady, Pavel Grinfeld, and Jeremy Johnson. 2013. A term rewriting system for the calculus of moving surfaces. In Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation (ISSAC '13). ACM, New York, NY, USA, 69-76. DOI=10.1145/2465506.2466576 http://doi.acm.org/10.1145/2465506.2466576
PDF Available from ACM
Slides from Presentation at ISSAC 2013
M. Boady, P. Grinfeld, and J. Johnson. A symbolic computation system for the calculus of moving surfaces. ACM Commun. Comput. Algebra. 45(1/2):109-110. July 2011. http://dl.acm.org/citation.cfm?id=2016580

M. Boady, P. Grinfeld, and J. Johnson. Boundary variation of Poisson's equation: a model problem for symbolic calculus of moving surfaces. International Journal of Mathematics and Computer Science. Vol. 6. Issue 2. 2011.

Google Scholar

Posters / Presentations

July+August 2021 Quantum Programming Workshop for WiCS Workshop Material
May 2021 Introduction to Quantum Algorithms for WiCS Talk Material
May 2015 Introduction to Term Rewrite Systems and their Applications PDF Lego Turing Machine
April 2014 East Coast Computer Algebra Day (ECCAD 2014) Approximation of Fourier Series to Determine Laplace-Dirichlet Eigenvalues
April 2013 East Coast Computer Algebra Day (ECCAD 2013) Symbolic Computation of Laplace-Dirichlet Eigenvalues
May 2012 Drexel Alumni Weekend Symbolic Computation of Laplace-Dirichlet Eigenvalues - Short Presentation
March 2012 Upsilon Pi Epsilon - 4th Annual Alumni Dinner Symbolic Computation of Laplace-Dirichlet Eigenvalues
June 2011 ISSAC 2011 A Symbolic Computation System for the Calculus of Moving Surfaces
April 2011 ECCAD 2011 Individualized Assignments and Assessment through Automated Grading
April 2010 Drexel University Research Day A Symbolic Computation System for the Calculus of Moving Surfaces