21 citations · 93 across the 25 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.DL2019★ 9 cited
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems
Andre Greiner-Petter, Moritz Schubotz, Howard S. Cohl +1
Purpose: Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate math…
cs.DL2019★ 5 cited
Why Machines Cannot Learn Mathematics, Yet
André Greiner-Petter, Terry Ruas, Moritz Schubotz +3
Nowadays, Machine Learning (ML) is seen as the universal solution to improve the effectiveness of information retrieval (IR) methods. However, while mathematics is a precise and ac…