Related papers: The OEIS: A Fingerprint File for Mathematics
Open Information Extraction (OIE) is the task of the unsupervised creation of structured information from text. OIE is often used as a starting point for a number of downstream tasks including knowledge base construction, relation…
The OpenAIRE Graph is an extensive resource housing diverse information on research products, including literature, datasets, and software, alongside research projects and other scholarly outputs and context. It stands as a cornerstone…
A brief introduction to exterior differential systems for graduate students familiar with manifolds and differential forms. For complete files, see https://github.com/Ben-McKay/introduction-to-exterior-differential-systems
Over 300 sequences and many unsolved problems and conjectures related to them are presented herein together with theorems corollaries, formulae, examples, mathematical criteria, etc. (about integer sequences, numbers, quotients, residues,…
This book provides a comprehensive and accessible introduction to the emerging field of AI for mathematics. It covers the core principles and diverse applications of using artificial intelligence to advance mathematical research. Through…
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial…
Inference on time series data is a common requirement in many scientific disciplines and internet of things (IoT) applications, yet there are few resources available to domain scientists to easily, robustly, and repeatably build such…
This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as…
This paper provides an overview of prominent deep learning toolkits and, in particular, reports on recent publications that contributed open source software for implementing tasks that are common in intelligent user interfaces (IUI). We…
This is a textbook on Fourier Series, suitable for both undergraduate and graduate courses. The textbook is endowed with exercises, and full solutions are provided at the end of the book.
This is the written version of a set of introductory lectures on string theory.
In this book, there are five chapters: Systems of Linear Equations, Vector Spaces, Homogeneous Systems, Characteristic Equation of Matrix, and Matrix Dot Product. It has also exercises at the end of each chapter above to let students…
A Sidon sequence is a sequence of integers a_1 < a_2 < a_3 < ... with the property that the sums a_i+a_j (i\le j) are distinct. This work contains a survey of Sidon sequences and their generalizations, and an extensive annotated and…
Citation graph visualisation is a useful tool for contextual awareness in academic research. Unfortunately, existing solutions can suffer from several drawbacks, such as a poor scaling, shallow network traversal, freemium gating, and slow…
This paper introduces a simple JavaScript-based web application designed to assist educators in detecting AI-generated content in student essays and written assignments. Unlike existing AI detection tools that rely on obfuscated machine…
This is a collection of 1031 formulas that were generated by a computer program in 1992. The set is the database of integer sequences as of 1992 which contained 4568 sequences. These sequences were later published in the Encyclopedia of…
An elementary method for computing various prime sequences using the sequence of Farey sequences is described.
An exposition of the basic geometry of twistor integrals, intended for mathematicians.
Open information extraction (OIE) systems extract relations and their arguments from natural language text in an unsupervised manner. The resulting extractions are a valuable resource for downstream tasks such as knowledge base…
I present EOS, an open-source software dedicated to a variety of tasks in the processing of flavor physics observables. EOS is written in C++ and offers both a C++ and a Python interface. It is developed for three main tasks, the production…