56 search results - page 1 / 12 » A HOL Theory of Euclidean Space |
TPHOL
2005
IEEE
13 years 10 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...
ITP
2010
13 years 6 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
SIAMCO
2010
12 years 11 months ago
2010
In this paper, we extend fundamental notions of control theory to evolving compact subsets of the Euclidean space
COMPGEOM
2006
ACM
13 years 10 months ago
2006
ACM
Abstract We introduce a parameterized notion of feature size that interpolates between the minimum of the local feature size and the recently introduced weak feature size. Based on...
CSL
2010
Springer
13 years 5 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...