Doing arithmetic without diagrams

DOI10.1016/0004-3702(77)90019-4zbMath0359.68108OpenAlexW2081764129MaRDI QIDQ1238641

Frank Malloy Brown

Publication date: 1977

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(77)90019-4

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ Inductive reasoning on recursive equations ⋮ An experimental logic based on the fundamental deduction principle ⋮ Automatic theorem proving in set theory ⋮ Towards the automation of set theory and its logic

Cites Work

• Toward Mechanical Mathematics
• An improved proof procedure1