Recent developments in mega's proof search programming language

DOI10.1145/1838599.1838623MaRDI QIDQ5176482zbMATH OpenOpenAlexFDO

Authors Serge Autexier, Dominik Dietrich

Publication date 26 February 2015

Published in ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1838599.1838623

Mathematics Subject Classification ID

Describes a project that uses

Uses Software

• OMEGA

This page was built for publication: Recent developments in mega's proof search programming language

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