Numerical Verification of the Brumer-Stark Conjecture.

Xavier-François Roblot Brett A. Tangedal

Published in: ANTS (2000)

Keyphrases

real time
knowledge base
optimal solution
model checking
sensitivity analysis
formal verification
database
neural network
learning algorithm
case study
data structure
asynchronous circuits