Automated and Human Proofs in General Mathematics: An Initial Comparison

Thumbnail Image

Date

2012

Authors

Alama, J.A. Jesse
Kühlwein, D.A.
Urban, J. Josef

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Lecture Notes in Computer Science

Citation

URI

https://hdl.handle.net/2066/93759

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By