Sciweavers

1672 search results - page 20 / 335
» Interactive Mathematical Documents
Sort
View
SOCRATES
2008
124views Education» more  SOCRATES 2008»
15 years 3 months ago
A Web-based Learning Tool for applied Mathematics Disciplines
Recently, many efforts have been devoted to the implementation of web based learning tools, that have found widespread diffusion in high schools, graduate and undergraduate univer...
Francesco Giannino, Mario Rosario Guarracino, Vale...
JAPLL
2006
104views more  JAPLL 2006»
15 years 1 months ago
A proof-centric approach to mathematical assistants
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
Lucas Dixon, Jacques D. Fleuriot
JSCIC
2008
82views more  JSCIC 2008»
15 years 1 months ago
Mathematical and Numerical Aspects of a Phase-field Approach to Critical Nuclei Morphology in Solids
Abstract We investigate a phase-field model for homogeneous nucleation and critical nucleus morphology in solids. We analyze the mathematical properties of a free energy functional...
Lei Zhang, Long-Qing Chen, Qiang Du
EDM
2009
104views Data Mining» more  EDM 2009»
14 years 11 months ago
Visualization of Differences in Data Measuring Mathematical Skills
Identification of significant differences in sets of data is a common task of data mining. This paper describes a novel visualization technique that allows the user to interactivel...
Lukás Zoubek, Michal Burda
ECAL
2003
Springer
15 years 7 months ago
Meta-evolutionary Game Dynamics for Mathematical Modelling of Rules Dynamics
This paper proposes an evolutionary-game-theory model, called meta-evolutionary game dynamics, for studying the dynamics of rules and individual behaviour. Although there are two g...
Takashi Hashimoto, Yuya Kumagai