1582 search results - page 56 / 317 » Mathematical Tools for Physics |
ISSAC
2009
Springer
14 years 3 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
ICALT
2009
IEEE
14 years 18 days ago
2009
IEEE
This study proposed the multi-user G-Math PeerTutoring System for facilitating students' tutoring strategies in math learning in the remedial instruction. The G-Math Peer-Tut...
ENTCS
2008
13 years 8 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
FCS
2006
13 years 10 months ago
2006
By far the most important automated tool for network and communications security is encryption, but encryption itself needs security. As we know, many cryptosystems and cryptograp...