Login / Signup
Numerical Verification of the Stark-Chinburg Conjecture for Some Icosahedral Representations.
Arnaud Jehanne
Xavier-François Roblot
Jonathan W. Sands
Published in:
Exp. Math. (2003)
Keyphrases
</>
higher level
clustering algorithm
image sequences
low level
formal verification
decision making
qualitative models
numerical data
mobile robot
data structure
artificial neural networks
model checking
sensitivity analysis
numerical methods
multi agent systems
formal methods
case study