Albert Heinle

MaRDI QIDQ2200303zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT Journal of Symbolic Computation	2020-09-19	Paper
Enumeration of complex Golay pairs via programmatic SAT Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation	2020-09-09	Paper
Some steps to improve software information ACM Communications in Computer Algebra	2019-03-29	Paper
Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory	2018-11-16	Paper
A factorization algorithm for \(G\)-algebras and its applications Journal of Symbolic Computation	2017-10-10	Paper
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures Journal of Automated Reasoning	2017-06-29	Paper
The \textsc{SDEval} benchmarking toolkit ACM Communications in Computer Algebra	2017-06-22	Paper
A factorization algorithm for G-algebras and applications Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation	2017-05-10	Paper
On noncommutative finite factorization domains Transactions of the American Mathematical Society	2017-01-10	Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures Computer Algebra in Scientific Computing	2016-11-09	Paper
Factoring linear partial differential operators in \(n\) variables Journal of Symbolic Computation	2016-02-11	Paper
Factoring linear differential operators in \(n\) variables Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation	2015-11-11	Paper
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister ACM Communications in Computer Algebra	2015-02-26	Paper
Factorization of polynomials in Z-graded skew polynomial rings ACM Communications in Computer Algebra	2015-02-20	Paper
A New Primitive for a Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials	2014-07-04	Paper
A polynomial-time algorithm for the Jacobson form of a matrix of Ore polynomials Computer Algebra in Scientific Computing	2012-09-21	Paper

Research outcomes over time

This page was built for person: Albert Heinle