Sign in

A Formalization of Dedekind Domains and Class Groups of Global Fields.

Anne BaanenSander R. DahmenAshvni NarayananFilippo A. E. Nuccio Mortarino Majno di Capriglio
Published in: J. Autom. Reason. (2022)
Keyphrases
  • real world
  • formal model
  • data mining
  • machine learning
  • class labels
  • data sets
  • databases
  • website
  • similarity measure
  • training data
  • pairwise
  • knowledge representation