Sciweavers

1582 search results - page 3 / 317
» Mathematical Tools for Physics
Sort
View
MKM
2007
Springer
14 years 2 months ago
Revisions as an Essential Tool to Maintain Mathematical Repositories
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
Adam Grabowski, Christoph Schwarzweller
BIOSYSTEMS
2007
76views more  BIOSYSTEMS 2007»
13 years 8 months ago
The mathematical biophysics of Nicolas Rashevsky
N. Rashevsky (1899–1972) was one of the pioneers in the application of mathematics to biology. With the slogan: mathematical biophysics : biology :: mathematical physics : physi...
Paul Cull
CALCO
2009
Springer
147views Mathematics» more  CALCO 2009»
14 years 3 months ago
CIRC: A Behavioral Verification Tool Based on Circular Coinduction
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais...
IUI
2012
ACM
12 years 4 months ago
PhysicsBook: a sketch-based interface for animating physics diagrams
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...
Salman Cheema, Joseph J. LaViola Jr.
EP
1998
Springer
14 years 24 days ago
Mathematical Tools for Computer-Generated Ornamental Patterns
This article presents mathematical tools for computer-generated ornamental patterns, with a particular attention payed to Islamic patterns. The article shows how, starting from a p...
Victor Ostromoukhov