Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jakob Nordström
Long Proofs of (Seemingly) Simple Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
SIAM Journal on Computing
Mathematics
Computer Science
Related publications
Simple Proofs of Bernstein-Type Inequalities
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Option Pricing: Very Simple Formulas
Journal of Derivatives & Hedge Funds
On Polynomials With Simple Trigonometric Formulas
International Journal of Mathematics and Mathematical Sciences
Mathematics
Two Simple Proofs of the Feasibility of the Linear Tracing Procedure
Economic Theory
Economics
Econometrics
Simple Completeness Proofs for Some Spatial Logics of the Real Line
Simple Proofs of the Cusa-Huygens-Type and Becker-Stark-Type Inequalities
Journal of Mathematical Inequalities
Analysis
Constructive Mathematics Is Seemingly Simple but There Are Still Open Problems: Kreisel's Observation Explained
Journal of Innovative Technology and Education
Application of Simple Formulas to Track Potential in Heavy-Ion-Beam Simulation
Transactions of the Materials Research Society of Japan
