ICMS 2018 - Session 20: Software for Mathematical Reasoning and Applications

details on the session web page


Aim and Scope

In addition to traditional software for numerics and symbolics (in algebra, analysis, combinatorics, etc.), more and more software for automated reasoning based on sophisticated general and special reasoning techniques with nice user interfaces enriches the possibilities of working mathematicians, computer scientists and engineers.


© 2022. All rights reserved.