The following pages link to André Greiner-Petter (Q1798942):
Displaying 5 items.
- Automated symbolic and numerical testing of DLMF formulae using computer algebra systems (Q1798944) (← links)
- MathTools: an open API for convenient MathML handling (Q1798954) (← links)
- Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems (Q5041072) (← links)
- Comparative verification of the digital library of mathematical functions and computer algebra systems (Q6535563) (← links)
- Examination of the state of the art of mathematical formula search for zbMATH Open (Q6567999) (← links)
