Discover open access scientific publications

Search, annotate, share and cite publications

Publications by ALAN WEIR

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Related publications

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

The Chasm Between Thought Experiment and Formal Proof

1999English

Masking Against Side-Channel Attacks: A Formal Security Proof

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Formal Proof of the Expressiveness of Deep Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Correction To: Formal and Natural Proof: A Phenomenological Approach

2019English

Convex Object Based Volume Visualization: A Formal Proof and Example

Computers and Graphics
Computer GraphicsPattern RecognitionHuman-Computer InteractionComputer VisionEngineeringComputer-Aided DesignSignal ProcessingSoftware
2001English

External Tools for the Formal Proof of the Kepler Conjecture

English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy