Albert Heinle

Available identifiers

Publication	Date of Publication	Type
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT	2020-09-19	Paper
Enumeration of complex Golay pairs via programmatic SAT	2020-09-09	Paper
Some steps to improve software information	2019-03-29	Paper
Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra	2018-11-16	Paper
A factorization algorithm for \(G\)-algebras and its applications	2017-10-10	Paper
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures	2017-06-29	Paper
The \textsc{SDEval} benchmarking toolkit	2017-06-22	Paper
A factorization algorithm for \(G\)-algebras and applications	2017-05-10	Paper
On noncommutative finite factorization domains	2017-01-10	Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures	2016-11-09	Paper
Factoring linear partial differential operators in \(n\) variables	2016-02-11	Paper
Factoring linear differential operators in \(n\) variables	2015-11-11	Paper
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister	2015-02-26	Paper
Factorization of polynomials in Z-graded skew polynomial rings	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	2012-09-21	Paper

This page was built for person: Albert Heinle