195 search results - page 4 / 39 » Matrix-based Constructive Theorem Proving |
JSYML
2006
14 years 9 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.
65
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
107
click to vote
APLAS
2011
ACM
13 years 9 months ago
2011
ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
AISC
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...