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: ITP (2021)
Keyphrases
  • real world
  • real time
  • data sets
  • search engine
  • global information
  • continuous domains
  • machine learning
  • information systems
  • multi agent
  • expert systems
  • multi class
  • transfer learning
  • cluster analysis
  • formal model