Mathematical software

PAT
Referenced in 38 articles [sw13258]
contained framework for to support composing, simulating and reasoning of concurrent, real-time systems...

COROR
Referenced in 2 articles [sw12479]
COROR: a composable rule-entailment OWL reasoner for resource-constrained devices. OWL (Web Ontology Language ... This paper presents COROR a COmposable Rule-entailment Owl Reasoner for resource-constrained devices. What ... features of the particular semantic application. This reasoner is implemented and evaluated on a resource ... composition algorithms outperform the original non-composable reasoner while retaining the same level of reasoning...

HMC
Referenced in 7 articles [sw09867]
verify ocaml programs. By composing type-based reasoning grounded in program syntax and state-based...

Wendy
Referenced in 6 articles [sw01246]
blocks which can be composed to complex systems. To reason about the correctness...

Metatheory.jl
Referenced in 1 article [sw37953]
between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern ... simple, algebraically composable interface to help scientists in implementing and reasoning about semantics...

NoHR
Referenced in 5 articles [sw27501]
NoHR, a reasoner designed to answer queries over hybrid theories composed of an OWL ontology ... features of these two knowledge representation and reasoning approaches stems from real world applications, their...

KARO
Referenced in 22 articles [sw03116]
KARO) framework that we proposed before to reason about Knowledge, Abilities, Results and Opportunities ... ability of the agent to perform sequentially composed actions. In this chapter, we reconsider these...

isl
Referenced in 12 articles [sw09841]
kernels of many compute-intensive applications are composed of loops with bounds that are affine ... rather than as individual iterations. A similar reasoning holds for the elements of an array...

SNARK
Referenced in 4 articles [sw19611]
code. SNARK has been used as the reasoning component of SRI’s High Performance Knowledge ... core of NASA’s Amphion system, which composes software from components to meet users’ specifications...

Fran
Referenced in 11 articles [sw21482]
collection of data types and functions for composing richly interactive, multimedia animations. The key ideas ... proper treatment of real time, to guide reasoning and implementation. A method to effectively...

VERL
Referenced in 8 articles [sw21959]
object starts moving. The ability to reason with events is a critical step toward video ... work is the modeling of events as composable, whereby complex events are constructed from simpler...

mural
Referenced in 9 articles [sw23627]
ability of the system to support reasoning in different logics. The chapter illustrates ... tactic language which allows the user to compose sequences of proof steps, and chapter...

PSOA2TPTP
Referenced in 1 article [sw07648]
reasoner, enabling query answering and entailment as well as consistency checking. The translator, currently composed...

BEHAVE
Referenced in 6 articles [sw09227]
behavior and fire effects. The system is composed of a collection of mathematical models that ... recognize whether their input values are reasonable and make appropriate adjustments...

Quantum++
Referenced in 2 articles [sw27766]
computing library written in C++11 and composed solely of header files. The library ... qubits in a mixed state reasonably fast. The library also includes support for classical reversible ... useful in testing quantum circuits composed solely of Toffoli gates, such as certain arithmetic circuits...

VIPR
Referenced in 4 articles [sw18034]
return incorrect results for a number of reasons, one being the use of inexact floating ... designed with simplicity in mind and is composed of a list of statements that...

KB-VISION
Referenced in 1 article [sw00483]
domain objects can be easily created and composed to a domain model. Using object sensitive ... knowledge-based graphical simulation environment for various reasoning components (e.g. planners, path generators...

mcci
Referenced in 1 article [sw12215]
with up to 20 correlated electrons. With reasonable sized basis set expansions, 99 per cent ... equally valid for any spin independent Hamiltonian composed of one- and two-body operators. Accurate...

PAT