（Upcoming）Construction of efficient algorithms for quantifier elimination and their application to solving industrial problems｜2022a005
- How to hold: TBA
- Main language：TBA
- Title of Research Project: Construction of efficient algorithms for quantifier elimination and their application to solving industrial problems
- Principal Investigator: Yuki Ishihara（Tokyo University of Science, Faculty of Science Division I, Department of Applied Mathematics / Assistant Professor）
- Research Period： October 31, 2022. – November 04, 2022.
- Details of the Research Plan: https://joint1.imi.kyushu-u.ac.jp/en_research_chooses/view/2022a005
Anyone can participate in this conference for free.
Please fill out the registration form:
＼To participate in this meeting, please apply below／