Albert Heinle

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 14

Top Topics

Computer Algebra

Algebraic Geometry

Boolean Satisfiability

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Publications

Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. 102 (2021)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR (2019)
Viktor Levandovskyy, Albert Heinle
A factorization algorithm for G-algebras and its applications. J. Symb. Comput. 85 (2018)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC (2018)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR (2018)
Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. 58 (3) (2017)
Albert Heinle, Wolfram Koepf, Wolfram Sperber
Some steps to improve software information. ACM Commun. Comput. Algebra 51 (1) (2017)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC (2016)
Albert Heinle, Viktor Levandovskyy
A Factorization Algorithm for G-Algebras and Applications. ISSAC (2016)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC (2016)
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
Factoring linear partial differential operators in n variables. J. Symb. Comput. 75 (2016)
Albert Heinle, Viktor Levandovskyy
A Factorization Algorithm for G-Algebras and Applications. CoRR (2016)
Albert Heinle, Viktor Levandovskyy
The SDEval benchmarking toolkit. ACM Commun. Comput. Algebra 49 (1) (2015)
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
variables. ACM Commun. Comput. Algebra 49 (1) (2015)
Reinhold Burger, Albert Heinle
A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials. CoRR (2014)
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
variables. ISSAC (2014)
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
Factoring Differential Operators in n Variables. CoRR (2014)
Albert Heinle
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister. ACM Commun. Comput. Algebra 47 (1/2) (2013)
Albert Heinle, Viktor Levandovskyy, Andreas Nareike
SymbolicData: SDEval - Benchmarking for Everyone. CoRR (2013)
Albert Heinle, Viktor Levandovskyy
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra CoRR (2013)
Mark Giesbrecht, Albert Heinle
A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. CASC (2012)
Albert Heinle, Viktor Levandovskyy
Factorization of polynomials in Z-graded skew polynomial rings. ACM Commun. Comput. Algebra 44 (3/4) (2010)