Login / Signup

Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper).

Jose DivasónSebastiaan J. C. JoostenOndrej KuncarRené ThiemannAkihisa Yamada
Published in: CPP (2018)
Keyphrases
  • invited talk
  • complexity analysis
  • information systems
  • computer science
  • space complexity
  • machine learning
  • e learning
  • expert systems
  • wireless sensor networks
  • recent advances
  • knowledge discovery and data mining