by Dehaye, Paul-Olivier, Iancu, Mihnea, Kohlhase, Michael, Konovalov, Alexander, Lelièvre, Samuel, Müller, Dennis, Pfeiffer, Markus, Rabe, Florian, Thiéry, Nicolas M., Wiesing, Tom
Published in Intelligent Computer Mathematics

by Wiesing, Tom, Kohlhase, Michael, Rabe, Florian
Published in Mathematical Aspects of Computer and Information Sciences

by Amann, Kai, Kohlhase, Michael, Rabe, Florian, Wiesing, Tom
Published in Intelligent Computer Mathematics (2019)

by Kohlhase, Michael, De Feo, Luca, Müller, Dennis, Pfeiffer, Markus, Rabe, Florian, Thiéry, Nicolas M., Vasilyev, Victor, Wiesing, Tom
Published in Mathematical Aspects of Computer and Information Sciences

by Iancu, Mihnea, Jucovschi, Constantin, Kohlhase, Michael, Wiesing, Tom
Published in Intelligent Computer Mathematics