The Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose syntax. Whereas HTML is an application of SGML, a very flexible markup language, XHTML is an applicat
This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.
Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
A Special Issue on Formal Proof
Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.
(pp. 1363)
Thomas Hales
(pp. 1370)
Formal Proof--The Four-Color Theorem
Georges Gonthier
(pp. 1382)
Formal Proof--Theory and Practice
John Harrison
(pp. 1395)
Formal Proof--Getting Started
Freek Wiedijk
This page represents the current state of an ongoing effort to collect information about existing automated reasoning systems. One objective is to provide concise useful information for people who have need for such a system and don't want to `roll their own'. Another objective is to provide a single place where information about existing systems can be accessed, thus providing an overview of the state of the art.
M. Korns. Genetic Programming Theory and Practice IV, volume 5 of Genetic and Evolutionary Computation, chapter 16, Springer, Ann Arbor, (11-13 May 2006)
B. Ganter, and G. Stumme. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 131-145. Springer, (2003)
G. Stumme. Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume 2393 of Lecture Notes in Computer Science, page 2-19. Springer, (2002)
P. Valtchev, M. Hacene, and R. Missaoui. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 282-295. Springer, (2003)
J. Correia, and G. Stumme. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 202-215. Springer, (2001)
S. Strahringer, R. Wille, and U. Wille. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 169-186. Springer, (2001)
K. Wolff. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 250-266. Springer, (2005)
L. Kwuida, A. Tepavcevic, and B. Seselja. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), volume 3127 of Lecture Notes in Computer Science, page 227-241. Springer, (2004)
C. Frambourg, P. Valtchev, and R. Godin. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 181-194. Springer, (2005)