Albert Heinle

Research

Journal Articles:

• Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy. "Factoring linear partial differential operators in n variables". Journal of Symbolic Computation (2015) DOI.*
• Albert Heinle and Viktor Levandovskyy. "The SDEval Benchmarking Toolkit". ACM Communications in Computer Algebra 49.1/4 (2015): 1-9.

Posters:

• Albert Heinle and Reinhold Burger. "Multivariate Ore Polynomials as a Primitive for Cryptographic Protocols". Presented at the 2015 Cheriton Research Symposium and at the East Coast Computer Algebra Day 2015 (ECCAD'15). PDF
• Hans-Gert Gräbe, Albert Heinle, Viktor Levandovskyy. "SDEval – A Benchmarking Toolkit for Computer Algebra". Presented at Applications of Computer Algebra 2015 (ACA'15). PDF
• Albert Heinle and Viktor Levandovskyy. "– ncfactor.lib – Factoring in Noncommutative Polynomial Rings". Presented at the 2013 Cheriton Research Symposium. PDF
• Albert Heinle and Viktor Levandovskyy. "Factorization of polynomials in Z-graded skew polynomial rings". ACM Communications in Computer Algebra 44.3/4 (2011): 113-114. DOI

Conferences and Workshops:

• Albert Heinle and Viktor Levandovskyy. "New factorization algorithm in the first q-Weyl algebra." DEAM2 Proceedings (2012): 15.
• Albert Heinle. "Zu Faktorisierungen in graduierten nichtkommutativen Algebren." Computeralgebra Fachtagung 2012. Abstract
• Mark Giesbrecht and Albert Heinle. "A polynomial-time algorithm for the Jacobson form of a matrix of Ore polynomials." Computer Algebra in Scientific Computing. Springer Berlin Heidelberg, 2012. DOI
• Albert Heinle and Viktor Levandovskyy. "ncfactor.lib: Factoring in Noncommutative Rings". Software Presentation at the East Coast Computer Algebra Day 2013 (ECCAD'13). Abstract
• Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy. "Factoring Linear Differential Operators in n Variables". In Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC'14), Katsusuke Nabeshima(Ed.), ACM, New York, NY, USA, 194-201, 2014. arXiv:1404.0002. DOI. *
• Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy. "On Factoring Differential Operators in n Variables". Talk presented at the Applications of Computer Algebra 2014 (ACA'14) conference (Session AADIOS). Abstracts ISBN: 978-0-692-24793-8. Abstract. Slides
• Albert Heinle and Viktor Levandovskyy. "SymbolicData – SDEval". Software presentation at the Applications of Computer Algebra 2014 (ACA'14) conference. Slides
• Albert Heinle and Viktor Levandovskyy. "Factoring Elements in G-Algebras with ncfactor.lib". Talk presented at at The 5th International Congress on Mathematical Software (ICMS2016) (Session Software for the Symbolic Study of Functional Equations). Slides
• Albert Heinle and Viktor Levandovskyy. "A Factorization Algorithm for G-Algebras and Applications". To appear in the Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Markus Rosenkranz(Ed.), ACM, 2016. arXiv:1602.00296. DOI
• Albert Heinle. "Benchmarks and Quality Evaluation of CAS". Talk presented at The 22nd Conference on Applications of Computer Algebra (ACA2016) (Session Information Services for Mathematical Software, Models, and Research Data). Slides.
• Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias Kotsireas, Saeed Nejati and Krzysztof Czarnecki. "MathCheck2: Combining SAT and CAS". Talk presented at The 22nd Conference on Applications of Computer Algebra (ACA2016) (Session Human-Computer Algebra Interaction). Slides.
• Albert Heinle and Viktor Levandovskyy. "A Factorization Algorithm for G-Algebras and Applications". Talk presented at The 22nd Conference on Applications of Computer Algebra (ACA2016) (Session Algebraic and Algorithmic Aspects of Differential and Integral Operator Session (AADIOS)). Slides.
• Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias Kotsireas, Saeed Nejati and Krzysztof Czarnecki. "MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures". To appear in Computer Algebra in Scientific Computing. Springer Berlin Heidelberg, 2016.

Preprints and Technical Reports:

• S. Cojocaru, A. Colesnicov, A. Heinle, V. Levandovskyy, L. Malahov, G. Studzinski and V. Ufnarovski. "Creation of a Knowledge Framework for Non-Commutative Computer Algebra". In: Proc. 7th International Conference on Microelectronics and Computer Science, Chisinau, Moldova. (2011), 166-169, ISBN: 978-9975-45-174-1.
• Albert Heinle and Viktor Levandovskyy. "Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra". preprint arXiv:1302.5674 (2013). *
• Albert Heinle, Viktor Levandovskyy and Andreas Nareike. "SymbolicData:SDEval – Benchmarking for Everyone". preprint arXiv:1310.5551. (2013)
• Reinhold Burger and Albert Heinle. "A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials". preprint arXiv:1407.1270. (2014) *
• Jason P. Bell, Albert Heinle and Viktor Levandovskyy. "On Noncommutative Finite Factorization Domains". preprint arXiv:1410.6178. (2014). To appear in the Transactions of the American Mathematical Society.

Miscellaneous:

• Book Review: Albert Heinle. "Review of 'A First Course in Computational Algebraic Geometry' by W. Decker and G. Pfister". In: ACM Communications in Computer Algebra, Issue 184, Volume 47, Nr. 2, June 2013. Link

* Timings and files to reproduce the timings available here: Software Projects.