Albert Heinle
According to our database1,
Albert Heinle
authored at least 20 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
2
1
2
2
3
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the IEEE International Conference on Blockchain, 2024
2021
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.
J. Symb. Comput., 2021
2018
J. Symb. Comput., 2018
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.
J. Autom. Reason., 2017
2016
J. Symb. Comput., 2016
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
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016
2015
ACM Commun. Comput. Algebra, 2015
2014
CoRR, 2014
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014
2013
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister.
ACM Commun. Comput. Algebra, 2013
2012
Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012
2010
ACM Commun. Comput. Algebra, 2010