Skip to content
#software testing Dataset Open access

A Reproducible Hadamard Matrix of Order 668: Exact Construction, Verification, and Deterministic Reproduction Packet

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
Coding theory and cryptography Advanced Combinatorial Mathematics

Abstract

This archive provides the files, data, and software needed to reproduce and verify a Hadamard matrix of order 668. A Hadamard matrix is a square matrix whose entries are either positive one or negative one and whose rows are mutually orthogonal. For a matrix of order 668, this means that multiplying the matrix by its transpose must produce a diagonal matrix with 668 on every diagonal entry and zero everywhere else. The matrix contained in this archive has 668 rows and 668 columns. Every entry is either positive one or negative one. The included verification software confirms, using exact integer arithmetic, that every row has the required relationship with every other row. In particular, the product of the matrix and its transpose is exactly 668 times the 668-by-668 identity matrix. The archive is intended to make the result straightforward to reproduce, inspect, verify, and preserve. It includes the source data used to reconstruct the matrix, the deterministic reconstruction software, complete copies of the resulting matrix in both NumPy and comma-separated-value formats, independent witness-verification software, cryptographic checksums, provenance information, source fingerprints, tested-environment information, and the files needed to rebuild the release archive deterministically. The verification process checks that: the reconstructed matrix has exactly 668 rows and 668 columns; every matrix entry is either positive one or negative one; the matrix satisfies the Hadamard condition exactly; the two archived representations of the matrix contain the same matrix; the archived files match their recorded SHA-256 cryptographic checksums; the matrix can be reconstructed deterministically from the supplied inputs; and the release archive itself can be rebuilt deterministically. No floating-point approximation or numerical tolerance is required to establish the Hadamard property. The central mathematical verification is performed using exact integer arithmetic. The archive also contains an explicit claim boundary. This deposit establishes the reproducibility and exact verification of the specific Hadamard matrix of order 668 represented by the archived construction and data. It does not claim original discovery of the construction, independent discovery, historical priority, or a proof of the general Hadamard conjecture. The purpose of this Zenodo deposit is to create a permanent, citable, and independently checkable research record. A researcher should be able to obtain the archive, reconstruct the matrix from the supplied information, verify its mathematical properties, compare the reconstructed result with the preserved matrix files, and confirm the integrity of the reproduction packet. In plain terms, the principal result verified by this archive is: A concrete 668-by-668 matrix containing only positive one and negative one has been reconstructed and exactly verified to be a Hadamard matrix of order 668. The archive is therefore presented as a reproducibility and verification record for this specific mathematical object, with the construction data, verification methods, provenance information, and integrity records preserved together.Keywords: Hadamard matrix, Hadamard matrix of order 668, order 668, Hadamard matrices, combinatorial matrix theory, combinatorial design theory, discrete mathematics, computational mathematics, matrix theory, orthogonal matrices, binary matrices, exact integer arithmetic, exact verification, computational verification, mathematical verification, reproducible mathematics, reproducible research, mathematical reproducibility, deterministic reconstruction, deterministic computation, deterministic build, independent verification, computational reproducibility, research software, scientific reproducibility, cryptographic verification, SHA-256, data integrity, provenance, archival mathematics, mathematical research data, finite constructions, combinatorics.

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

GPT-Lab Sep 23, 2026

Requirements Don’t Live in Isolation: What We’re Exploring with Req-Space

Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…

GPT-Lab Sep 17, 2026

Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering

AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.