Sciweavers

5510 search results - page 99 / 1102
» Mathematics
Sort
View
131
Voted
TLCA
2009
Springer
15 years 10 months ago
Mathematical Synthesis of Equational Deduction Systems
Marcelo P. Fiore, Chung-Kil Hur
97
Voted
C5
2008
IEEE
15 years 10 months ago
iSTOA: Artefacts for Mathematical Interactive Learning Exercises
Hilaire Fernandes, Thibault Carron, Stéphan...
SYNASC
2008
IEEE
235views Algorithms» more  SYNASC 2008»
15 years 9 months ago
Communicating Mathematics via Pen-Based Interfaces
Elena S. Smirnova, Stephen M. Watt
106
Voted
ADHOCNOW
2008
Springer
15 years 9 months ago
The Mathematics of Routing in Massively Dense Ad-Hoc Networks
Eitan Altman, Pierre Bernhard, Alonso Silva
112
Voted
HPCS
2007
IEEE
15 years 9 months ago
The Coast-to-Coast Seminar and Remote Mathematical Collaboration
—We describe a shared Simon Fraser University (WestGrid) and Dalhousie (ACEnet) seminar series which is now two years old, and is gradually expanding to include other Canadian un...
Jonathan M. Borwein, David Langstroth, Mason S. Ma...