Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,084,598 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.
2015
2015
Culture at the forefront of mathematics research at the University of Goroka: The Glen Lean Ethnomathematics Centre
K. Owens
2015
Corpus ID: 126063586
Ethnomathematics is fundamental to the development of mathematics. People in different societies have developed mathematics and…
Expand
2010
2010
A Time Machine for XML : PUL Composition Ghislain Fourny ETH Zurich
D. Florescu
,
Donald Kossmann
,
Markos Zacharioudakis
2010
Corpus ID: 5694289
As storage main memory as well as disk becomes cheaper, the amount of available information is increasing and it is a challenge…
Expand
2007
2007
Black Box Approach for Selecting Optimization Options Using Budget-Limited Genetic Algorithms
Guy Bashkansky
,
Y. Yaari
2007
Corpus ID: 16092694
Modern compilers present a large number of optimization options covering the many alternatives to achieving high performance for…
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
2006
2006
From Natural Language to Formal Proof Goal
Ruud Stegers
,
A. ten Teije
,
F. V. Harmelen
International Conference Knowledge Engineering…
2006
Corpus ID: 44923266
The main problem encountered when starting verification of goals for some formal system, is the ambiguity of those goals when…
Expand
2005
2005
Strategyproof mechanisms for dynamic tree formation in overlay networks
Selwyn Yuen
,
Bao-Chun Li
Proceedings IEEE 24th Annual Joint Conference of…
2005
Corpus ID: 8112565
In overlay multicast, every end host forwards multicast data to other end hosts in order to disseminate data. However, this…
Expand
2003
2003
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling
Armin Wolf
ERCIM Annual Workshop on Constraint Solving and…
2003
Corpus ID: 9495673
A relevant class of real-world scheduling problems, e.g. for assembly lines, service centres but also for surgeries in operation…
Expand
1998
1998
Applying the Cogito Program Development Environment to Real−Time System Design
C. Fidge
,
P. Kearney
,
Andrew P. Martin
1998
Corpus ID: 15524124
We show how a formal program development environment, previously used for sequential, non-real-time applications only, can be…
Expand
1996
1996
The beginnings of Western music in Meiji Era Japan : thesis submitted for the degree "doctor of philosophy" : submitted to the Senate of Tel-Aviv University
F. G. Notehelfer
,
Ury Eppstein
1996
Corpus ID: 68744028
This volume investigates the introduction of Western music into the educational system of Japan and reveals the existence of…
Expand
1994
1994
Annotations in formal specifications and proofs
Sara Kalvala
Formal Methods Syst. Des.
1994
Corpus ID: 5188186
Formal specification languages and proof methodologies are useful tools in reasoning about different domains: they provide a…
Expand