Sciweavers

5510 search results - page 157 / 1102
» Mathematics
Sort
View
209
Voted
GMAI
2006
IEEE
144views Solid Modeling» more  GMAI 2006»
15 years 10 months 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
MKM
2005
Springer
15 years 9 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
131
Voted
ITICSE
2000
ACM
15 years 8 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 8 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
87
Voted
ISSAC
1989
Springer
74views Mathematics» more  ISSAC 1989»
15 years 8 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