1429 search results - page 15 / 286 » An Overview of the Annex System |
DIAGRAMS
2000
Springer
14 years 2 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
TPHOL
2008
IEEE
14 years 4 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the
ICEIS
2008
IEEE
14 years 4 months ago
2008
IEEE
ICEIS
2007
IEEE
14 years 4 months ago
2007
IEEE
