Abstract Mathematics is a ubiquitous foundation of science, technology, and engineering.
Specific areas of mathematics, such as numeric and symbolic computation or logics, enjoy …

Informatics infrastructure plays a crucial role in supporting different decision making
activities related to pharmaceutical product development, pilot plant and commercial scale …

Abstract Mathematical Knowledge Management (MKM), as a field, has seen tremendous
growth in the last few years. This period was one where many research threads were started …

Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge | The
Mathematical Intelligencer Skip to main content SpringerLink Account Menu Find a journal …

Developing pharmaceutical product formulation in a timely manner and ensuring quality is a
complex process that requires a systematic, science-based approach. Information from …

We focus on theory graph technology here, which supports modular and thus space-efficient
representations of mathematical knowledgeand allows MKM systems to achieve a limited …

Over the last decades, a class of important mathematical results have required an ever
increasing amount of human effort to carry out. For some, the help of computers is now …

Pharmaceutical product development is a critical step in the path of a drug therapy from its
discovery to its delivery to the patient. It is capital-intensive, time-consuming, and extremely …

Mathematics is becoming increasingly collaborative, but software does not sufficiently
support that: Social Web applications do not currently make mathematical knowledge …

In this paper we describe OntoMODEL, an ontological mathematical model management
tool that facilitates systematic, standardizable methods for model storage, use and solving …