Discovery and recognition of formula concepts using machine learning.
Scientometrics, September, 2023
Nonterminating transformations and summations associated with some <i>q</i>-Mellin-Barnes integrals.
Adv. Appl. Math., June, 2023
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems.
CoRR, 2021
Correction: Cohl, H.S.; Costas-Santos, R.S.; Ge, L. Terminating Basic Hypergeometric Representations and Transformations for the Askey-Wilson Polynomials Symmetry 2020, 12, 1290.
Symmetry, 2020
Terminating Basic Hypergeometric Representations and Transformations for the Askey-Wilson Polynomials.
Symmetry, 2020
Multi-Integral Representations for Associated Legendre and Ferrers Functions.
Symmetry, 2020
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations.
Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems.
CoRR, 2019
Semantic preserving bijective mappings for expressions involving special functions between computer algebra systems and document preparation systems.
Aslib J. Inf. Manag., 2019
Towards Formula Concept Discovery and Recognition.
Proceedings of the 4th Joint Workshop on Bibliometric-enhanced Information Retrieval and Natural Language Processing for Digital Libraries (BIRNDL 2019) co-located with the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2019), 2019
Some Generating Functions for <i>q</i>-Polynomials.
Symmetry, 2018
MathTools: An Open API for Convenient MathML Handling.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context.
Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, 2018
VMEXT: A Visualization Tool for Mathematical Expression Trees.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Semantification of Identifiers in Mathematics for Better Math Information Retrieval.
Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources.
CoRR, 2015
Challenges of Mathematical Information Retrievalin the NTCIR-11 Math Wikipedia Task.
Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2015
Growing the Digital Repository of Mathematical Formulae with Generic Sources.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Evaluation of Similarity-Measure Factors for Formulae Based on the NTCIR-11 Math Task.
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, 2014
Digital Repository of Mathematical Formulae.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Table Errata to "Formulas and theorems for the special functions of mathematical physics" by W. Magnus, F. Oberhettinger & R. P. Soni (1966).
Math. Comput., 2012
Parallel Implementation of a Data-Transpose Technique for the Solution of Poisson's Equation in Cylindrical Coordinates.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997