Login / Signup
Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver.
Thomas Beelitz
Bruno Lang
Peer Ueberholz
Paul R. Willems
Published in:
Reliab. Comput. (2010)
Keyphrases
</>
neural network
model checking
real time
case base