The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Albert Heinle" ( http://dblp.L3S.de/Authors/Albert_Heinle )

  Author page on DBLP  Author page in RDF  Community of Albert Heinle in ASPL-2

Publication years (Num. hits)
2010-2016 (15) 2017-2019 (6)
Publication types (Num. hits)
article(15) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Viktor Levandovskyy, Albert Heinle A factorization algorithm for G-algebras and its applications. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy ISSAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Albert Heinle, Wolfram Koepf, Wolfram Sperber Some steps to improve software information. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Albert Heinle, Viktor Levandovskyy A Factorization Algorithm for G-Algebras and Applications. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy Factoring linear partial differential operators in n variables. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Albert Heinle, Viktor Levandovskyy A Factorization Algorithm for G-Algebras and Applications. Search on Bibsonomy ISSAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy On factoring differential and difference operators in n variables. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Albert Heinle, Viktor Levandovskyy The SDEval benchmarking toolkit. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reinhold Burger, Albert Heinle A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy Factoring Differential Operators in n Variables. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy Factoring linear differential operators in n variables. Search on Bibsonomy ISSAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Albert Heinle Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Albert Heinle, Viktor Levandovskyy, Andreas Nareike SymbolicData: SDEval - Benchmarking for Everyone. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Albert Heinle, Viktor Levandovskyy Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mark Giesbrecht, Albert Heinle A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. Search on Bibsonomy CASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Albert Heinle, Viktor Levandovskyy Factorization of polynomials in Z-graded skew polynomial rings. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license