3299 search results - page 97 / 660 » A general mathematics of names |
162
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it represents the solution to all instances of a problem (instead of just the...
146
click to vote
ECSQARU
1995
Springer
15 years 10 months ago
1995
Springer
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
150
click to vote
ISSAC
1995
Springer
15 years 9 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
158
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
207
click to vote
PKC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We describe a new general method to perform part of the setup stage of the XTR system introduced at Crypto 2000, namely finding the trace of a generator of the XTR group...