Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Arana
On Formally Measuring and Eliminating Extraneous Notions in Proofs
Philosophia Mathematica
Mathematics
Philosophy
Related publications
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
