Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,379,577 papers from all fields of science
Search
Sign In
Create Free Account
Formal proof
Known as:
Proof
, Formal
, Symbolic proof
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Admissible rule
Automated reasoning
Automated theorem proving
Axiomatic system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The Isabelle Collections Framework
P. Lammich
,
Andreas Lochbihler
International Conference on Interactive Theorem…
2010
Corpus ID: 10607476
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle…
Expand
Highly Cited
2008
Highly Cited
2008
Range queries on structured overlay networks
T. Schütt
,
F. Schintke
,
A. Reinefeld
Computer Communications
2008
Corpus ID: 28875271
Highly Cited
2008
Highly Cited
2008
Takeup, social multipliers and optimal social insurance
Kory Kroft
2008
Corpus ID: 12664878
Review
2007
Review
2007
Computers, Justification, and Mathematical Knowledge
Konstantine Arkoudas
,
S. Bringsjord
Minds and Machines
2007
Corpus ID: 18863660
The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the…
Expand
2006
2006
A Tableau for Bundled CTL
Mark Reynolds
Journal of Logic and Computation
2006
Corpus ID: 32368100
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional…
Expand
2001
2001
Towards Trustworthy Specifications I: Consistency Checks
M. Roggenbach
,
Lutz Schröder
Workshop on Recent Trends in Algebraic…
2001
Corpus ID: 41611361
As the first of two methodological devices aimed at increasing the trust in the 'correctness'of a specification, we develop a…
Expand
1999
1999
Optimization models for recovery block schemes
O. Berman
,
U. Dinesh Kumar
European Journal of Operational Research
1999
Corpus ID: 26711192
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
R. Heijungs
1997
Corpus ID: 209821202
Highly Cited
1994
Highly Cited
1994
Topological Properties of the Crossed Cube Architecture
K. Efe
,
P. K. Blackwell
,
W. Slough
,
T. Shiau
Parallel Computing
1994
Corpus ID: 28288849
Highly Cited
1988
Highly Cited
1988
A study of kinematic models for forward calibration of manipulators
L. Everett
,
Adwin H. Suryohadiprojo
Proceedings. IEEE International Conference on…
1988
Corpus ID: 7680819
The objective of robot calibration is to identify all parameters in a robot model so that the model represents the true robot…
Expand
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)
ACCEPT & CONTINUE