Skip to search formSkip to main contentSkip to account menu

Formal proof

Known as: Proof, Formal, Symbolic proof 
A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language), each of which is an… 
Wikipedia (opens in a new tab)

Related topics

Related topics

30 relations
Admissible ruleAutomated reasoningAutomated theorem provingAxiomatic system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle… 
2010
2010
Architectural style as an independent variable
A key idea in modern software engineering is that we can and should make architectural style choices separately from choices… 
Highly Cited
2008
Highly Cited
2008
Range queries on structured overlay networks
Review
2007
Review
2007
Computers, Justification, and Mathematical Knowledge
The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the… 
2003
2003
The ‘summation hack’ as an outlier model
The ‘summation hack’ is the ad-hoc replacement of a product by a sum in a probabilistic expression. This hack is usually… 
Highly Cited
1997
Highly Cited
1997
Economic drama and the environmental stage : formal derivation of algorithmic tools for environmental analysis and decision-support from a unified epistemological principle
Highly Cited
1994
Highly Cited
1994
Topological Properties of the Crossed Cube Architecture
Highly Cited
1993
Highly Cited
1993
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems
1992
1992
Control structures for data-parallel SIMD languages: semantics and implementation
Highly Cited
1988
Highly Cited
1988
A study of kinematic models for forward calibration of manipulators
The objective of robot calibration is to identify all parameters in a robot model so that the model represents the true robot… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)