1948 search results - page 28 / 390 » Formalizing Mirror Theory |
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
EUSFLAT
2007
13 years 10 months ago
2007
The goal of this paper is to push forward the development of the apparatus of the Fuzzy Class theory. We concentrate on three areas: strengthening the universal quantifier, forma...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
VL
1996
IEEE
14 years 24 days ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
IWFM
1998
13 years 10 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...