Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Paper accepted at ISSAC’22

We are happy that our paper about explicit bounds for linear forms in the exponentials of algebraic numbers has been accepted at ISSAC’22.

This entry was posted in News, Publication on May 10, 2022 by andrea.

Post navigation

← Paper accepted at CAV’22 Chen Fu passed his PhD thesis defense →

Admin area

  • Log in
Proudly powered by WordPress