108 search results - page 2 / 22 » Computational Discovery in Pure Mathematics |
PERCOM
2006
ACM
14 years 4 months ago
2006
ACM
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...
ISSAC
1994
Springer
13 years 9 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
ISSAC
2001
Springer
13 years 9 months ago
2001
Springer
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
ISVC
2007
Springer
13 years 11 months ago
2007
Springer
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...