Machine-Verified Theorems in Electromagnetism by Heaviside and Poynting

A dataset by Richard Goodman of IAOM, last updated on 2026-07-11, focuses on the machine-checking of foundational theorems in electromagnetism. It involves verifying Heaviside's Telegraph, Step, and Poynting Theorems from a single mathematical move, as indicated by the title. The description suggests the data is likely related to formal proofs or verification scripts for these theorems.

Use Cases

• Formal verification of electromagnetic theorems based on the described Heaviside and Poynting theorems.
• Educational tool for teaching theorem proving in physics based on the core mathematical concepts.
• Analysis of boundary term implications in electromagnetic theory as suggested by the title's focus.

Strengths

• Focuses on machine-checking specific, historically significant theorems in physics.
• Authored by a named individual (Richard Goodman) affiliated with an organization (IAOM).
• Has a specific last update timestamp of 2026-07-11 22:46:37.

Limitations

• Description metadata is limited; actual data quality requires manual inspection after download.
• Column-level documentation is absent; field semantics must be inferred after download.
• Row count and file formats are unknown, which may limit suitability assessment.

Provenance

Source

IAOM, via the Dataverse platform.

Freshness

Last updated 2026-07-11 22:46:37; freshness should be verified.