Search Results - Heinle, Albert

Refine Results
  1. 1
    On noncommutative finite factorization domains

    On noncommutative finite factorization domains by BELL, JASON P., HEINLE, ALBERT, LEVANDOVSKYY, VIKTOR

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT

    Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT by Bright, Curtis, Kotsireas, Ilias, Heinle, Albert, Ganesh, Vijay

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A factorization algorithm for G-algebras and its applications

    A factorization algorithm for G-algebras and its applications by Levandovskyy, Viktor, Heinle, Albert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Factoring linear partial differential operators in n variables

    Factoring linear partial differential operators in n variables by Giesbrecht, Mark, Heinle, Albert, Levandovskyy, Viktor

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

    Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures by Zulkoski, Edward, Bright, Curtis, Heinle, Albert, Kotsireas, Ilias, Czarnecki, Krzysztof, Ganesh, Vijay

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    CountChain: A Decentralized Oracle Network for Counting Systems

    CountChain: A Decentralized Oracle Network for Counting Systems by Nassirzadeh, Behkish, Leonardos, Stefanos, Heinle, Albert, Hasan, Anwar, Ganesh, Vijay

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    CountChain: A Decentralized Oracle Network for Counting Systems

    CountChain: A Decentralized Oracle Network for Counting Systems by Nassirzadeh, Behkish, Heinle, Albert, Leonardos, Stefanos, Hasan, Anwar, Ganesh, Vijay

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    The SDEval benchmarking toolkit

    The SDEval benchmarking toolkit by Heinle, Albert, Levandovskyy, Viktor

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister

    Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister by Heinle, Albert

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    A Factorization Algorithm for G-Algebras and Applications

    A Factorization Algorithm for G-Algebras and Applications by Heinle, Albert, Levandovskyy, Viktor

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    AdChain: Decentralized Header Bidding

    AdChain: Decentralized Header Bidding by Nassirzadeh, Behkish, Heinle, Albert, Leonardos, Stefanos, Hasan, Anwar, Ganesh, Vijay

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Some steps to improve software information

    Some steps to improve software information by Heinle, Albert, Koepf, Wolfram, Sperber, Wolfram

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT

    Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT by Bright, Curtis, Kotsireas, Ilias, Heinle, Albert, Ganesh, Vijay

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Enumeration of Complex Golay Pairs via Programmatic SAT

    Enumeration of Complex Golay Pairs via Programmatic SAT by Bright, Curtis, Kotsireas, Ilias, Heinle, Albert, Ganesh, Vijay

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra

    Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra by Heinle, Albert, Levandovskyy, Viktor

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    On factoring differential and difference operators in n variables

    On factoring differential and difference operators in n variables by Giesbrecht, Mark, Heinle, Albert, Levandovskyy, Viktor

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    On Noncommutative Finite Factorization Domains

    On Noncommutative Finite Factorization Domains by Bell, Jason P, Heinle, Albert, Levandovskyy, Viktor

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    A New Primitive for a Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials

    A New Primitive for a Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials by Burger, Reinhold, Heinle, Albert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Factorization of polynomials in Z-graded skew polynomial rings

    Factorization of polynomials in Z-graded skew polynomial rings by Heinle, Albert, Levandovskyy, Viktor

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Factoring Differential Operators in n Variables

    Factoring Differential Operators in n Variables by Giesbrecht, Mark, Heinle, Albert, Levandovskyy, Viktor

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: