Searching the Space of Mathematical Knowledge

Mathematical Information Retrieval: A Review

P Dadure, P Pakray, S Bandyopadhyay - ACM Computing Surveys, 2024 - dl.acm.org
Mathematical formulas are commonly used to demonstrate theories and basic fundamentals
in the Science, Technology, Engineering, and Mathematics (STEM) domain. The burgeoning …
Spara Citera Citerat av 1 Relaterade artiklar
[Free GPT-4]
[PDF] arxiv.org

Realms: a structure for consolidating knowledge about mathematical theories

J Carette, WM Farmer, M Kohlhase - International Conference on …, 2014 - Springer
Since there are different ways of axiomatizing and develo** a mathematical theory,
knowledge about a such a theory may reside in many places and in many forms within a …
Spara Citera Citerat av 21 Relaterade artiklar Alla 12 versionerna
[Free GPT-4]
[PDF] wias-berlin.de

Mathematical models as research data via flexiformal theory graphs

M Kohlhase, T Koprucki, D Müller… - … Conference, CICM 2017 …, 2017 - Springer
Mathematical modeling and simulation (MMS) has now been established as an essential
part of the scientific work in many disciplines. It is common to categorize the involved …
Spara Citera Citerat av 14 Relaterade artiklar Alla 8 versionerna Bibliotekssökning

[CITAT][C] FrameIT: An User Interface for Applying Mathematical Theories to Real World Problems

D Rachev - 2012
Spara Citera Relaterade artiklar