Sciweavers

26 search results - page 1 / 6
» Approximation theorems for group valued functions
Sort
View
JAT
2011
93views more  JAT 2011»
12 years 11 months ago
Approximation theorems for group valued functions
Stone-Weierstrass-type theorems for groups of group-valued functions with discrete range or discrete domain are obtained. We study criteria for a subgroup of the group of continuou...
Jorge Galindo, Manuel Sanchis
JAR
2010
160views more  JAR 2010»
13 years 3 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson
FSS
2011
82views more  FSS 2011»
12 years 8 months ago
Fuzzy transforms of higher order approximate derivatives: A theorem
In many practical applications, it is useful to represent a function f(x) by its fuzzy transform, i.e., by the “average” values Fi = f(x) · Ai(x) dx Ai(x) dx over different ...
Irina Perfilieva, Vladik Kreinovich
ICITA
2005
IEEE
13 years 10 months ago
QoS Functions and Theorems for Moving Wireless Networks
Optimum theorems for combining QoS metrics to reduce computation time in nodes (routers) is proposed based on fundamental theorems on QoS metrics. The proposed theorems unify sele...
Johnson I. Agbinya