OpenMath

DOI10.1145/362001.362008zbMath1049.68500OpenAlexW1972533543MaRDI QIDQ4810168

Mike Dewar

Publication date: 1 September 2004

Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Searching for mathematical formulas based on graph representation learning, Hidden verification for computational mathematics, Social processes, program verification and all that