Automating the proof of an analogue of Matsumoto's theorem

Related Items

• 

  Mathematics of Super-r...

• 

  Quantum dissipation th...

• 

  Data Recovery on Manif...

• 

  When MIMO Control Meet...

• 

  Open problems and disc...

• 

  Geometry and Computati...