Sciweavers

5510 search results - page 157 / 1102
» Mathematics
Sort
View
GMAI
2006
IEEE
144views Solid Modeling» more  GMAI 2006»
16 years 14 days ago
Manipulation of Elastically Deformable Surfaces through Maya Plug-in
In this paper, we develop a mathematical model from the theory of plate bending in elasticity which relates physical properties of a surface to its elastic deformation. We present...
Lihua You, Javier Romero Rodriguez, Jian J. Zhang
195
Voted
MKM
2005
Springer
15 years 12 months ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen
ITICSE
2000
ACM
15 years 10 months ago
Has our curriculum become math-phobic? (an American perspective)
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...
Charles Kelemen, Allen B. Tucker, Peter Henderson,...
ISIPTA
1999
IEEE
117views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
Towards a Unified Theory of Imprecise Probability
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
Peter Walley
ISSAC
1989
Springer
74views Mathematics» more  ISSAC 1989»
15 years 10 months ago
Lookup Tables, Recurrences and Complexity
The use of lookup tables can reduce the complexity of calculation of functions defined typically by mathematical recurrence relations. Although this technique has been adopted by...
Richard J. Fateman