1582 search results - page 56 / 317 » Mathematical Tools for Physics |
140
Voted
ISSAC
2009
Springer
15 years 9 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...
78
Voted
ICALT
2009
IEEE
15 years 7 months 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...
109
click to vote
ENTCS
2008
15 years 3 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...
107
Voted
IUI
2004
ACM
15 years 8 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...
114
click to vote
FCS
2006
15 years 4 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...