Amanote Research
Register
Sign In
On Formally Measuring and Eliminating Extraneous Notions in Proofs
Philosophia Mathematica
- United Kingdom
doi 10.1093/philmat/nkn015
Full Text
Open PDF
Abstract
Available in
full text
Categories
Mathematics
Philosophy
Date
June 2, 2008
Authors
A. Arana
Publisher
Oxford University Press (OUP)
Related search
Practical Notions on Fish Health and Production
On Two Notions of Semistability
Pacific Journal of Mathematics
Mathematics
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Mixing Inequalities: Rank, Closure, and Cutting-Plane Proofs
SIAM Journal on Optimization
Theoretical Computer Science
Software
Formally Verified Cryptographic Web Applications in WebAssembly
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Note on Proofs by Projection in Trigonometry and Coordinate Geometry
Proceedings of the Edinburgh Mathematical Society
Mathematics
Some Results on the Length of Proofs
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
A Formally Verified NAT Stack
