Modelling algebraic structures and morphisms in ACL2
From MaRDI portal
Publication:2349534
DOI10.1007/s00200-015-0252-9zbMath1325.68214MaRDI QIDQ2349534
Jónathan Heras, Francisco Jesús Martín-Mateos, Vico Pascual
Publication date: 22 June 2015
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://idus.us.es/handle//11441/86550
computer algebra systems; formal verification; ACL2; mathematical structures; algebraic hierarchy; proof engineering
68W30: Symbolic computation and algebraic computation
Uses Software