Albert Heinle

According to our database, Albert Heinle authored at least 18 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

J. Symb. Comput., 2021

2018

A factorization algorithm for G-algebras and its applications.

Viktor Levandovskyy, Albert Heinle

J. Symb. Comput., 2018

Enumeration of Complex Golay Pairs via Programmatic SAT.

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh

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

2017

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.

Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh

J. Autom. Reason., 2017

Some steps to improve software information.

Albert Heinle, Wolfram Koepf, Wolfram Sperber

ACM Commun. Comput. Algebra, 2017

2016

Factoring linear partial differential operators in n variables.

Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy

J. Symb. Comput., 2016

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.

Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

A Factorization Algorithm for G-Algebras and Applications.

Albert Heinle, Viktor Levandovskyy

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

2015

The SDEval benchmarking toolkit.

Albert Heinle, Viktor Levandovskyy

ACM Commun. Comput. Algebra, 2015

On factoring differential and difference operators in <i>n</i> variables.

Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy

ACM Commun. Comput. Algebra, 2015

2014

Factoring Differential Operators in n Variables.

Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy

CoRR, 2014

A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials.

Reinhold Burger, Albert Heinle

CoRR, 2014

Factoring linear differential operators in <i>n</i> variables.

Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy

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

2013

Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra

Albert Heinle, Viktor Levandovskyy

CoRR, 2013

SymbolicData: SDEval - Benchmarking for Everyone.

Albert Heinle, Viktor Levandovskyy, Andreas Nareike

CoRR, 2013

Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister.

Albert Heinle

ACM Commun. Comput. Algebra, 2013

2012

A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials.

Mark Giesbrecht, Albert Heinle

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

2010

Factorization of polynomials in Z-graded skew polynomial rings.

Albert Heinle, Viktor Levandovskyy

ACM Commun. Comput. Algebra, 2010