Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques

DOI10.1007/S10472-018-9607-9MaRDI QIDQ2294604zbMATH OpenOpenAlexWikidataFDO

Authors Temur Kutsia, Ilias S. Kotsireas, Dimitris Simos

Publication date 11 February 2020

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-018-9607-9

zbMATH Keywords

algorithmsorthogonal designsunification theoryGröbner bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Orthogonal arrays, Latin squares, Room squares (05B15) Combinatorial aspects of matrices (incidence, Hadamard, etc.) (05B20)

Recommendations

• Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification
• Orthogonal designs via computational algebra
• Orthogonal designs of order 32 and 64 via computational algebra
• On the existence and constructions of orthogonal designs
• A recursive method for orthogonal designs
• Publication:3199425
• Orthogonal designs. Hadamard matrices, quadratic forms and algebras
• Constructions of \(1 \frac{1}{2}\)-designs from orthogonal geometry over finite fields
• Orthogonal designs and generalized Fourier-Walsh transforms
• Construction of orthogonal and nearly orthogonal designs for computer experiments

Cites work

• scientific article; zbMATH DE number 3577144 (Why is no real title available?)
• scientific article; zbMATH DE number 3637895 (Why is no real title available?)
• scientific article; zbMATH DE number 635675 (Why is no real title available?)
• scientific article; zbMATH DE number 1980932 (Why is no real title available?)
• scientific article; zbMATH DE number 7008242 (Why is no real title available?)
• scientific article; zbMATH DE number 3799564 (Why is no real title available?)
• scientific article; zbMATH DE number 874530 (Why is no real title available?)
• A Unification Algorithm for Associative-Commutative Functions
• Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification
• Hadamard Matrices of the Williamson Type
• Hadamard designs
• On amicable orthogonal designs of order 8
• Orthogonal designs of order 32 and 64 via computational algebra
• Orthogonal designs via computational algebra
• Orthogonal designs. Hadamard matrices, quadratic forms and algebras
• Orthogonal desingns
• Space-time block codes from orthogonal designs
• THE DESIGN OF OPTIMUM MULTIFACTORIAL EXPERIMENTS
• Unification theory

Cited in

(3)

• Orthogonal designs of order 32 and 64 via computational algebra
• Orthogonal designs via computational algebra
• Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification

This page was built for publication: Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2294604)