The HolorGraphic Modelling System HGMS is a general computational framework for the algebraic manipulation of complex mathematical models of both physical and non-physical systems. The lack of constraints on the operational algebra in HGMS provides both flexibility and expressive power for manipulating variables and functions. The underlying influence of the HolorGraphic framework is now being independently observed in seemingly unrelated fields of studies, from theoretical physics to the construction and analysis of curves and surfaces in computer aided geometric design. As it takes its own form above and beyond tensor theory, the HolorGraphic framework provides both a consistent mathematical basis of formulation as well as a visual unders...
Symbolic Model Checking is a technique for checking certain properties of a finite state model of a ...
AbstractComputer algebra provides a powerful tool for research in mathematics and the applied scienc...
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The ...
The HolorGraphic Modeling HGM integrates the topological graph representation of a system and the op...
In physical systems theory, the graph-based modelling has become the basis of a wide range of formul...
Geometric modeling and computational representations of shapes have been subject to intense research...
This thesis proposes functional spaces and an algebra which operates on elements in those spaces for...
The Holonomic Systems Approach was proposed in the early 1990s by Doron Zeilberger and has turned ou...
We present the Mathematica package HolonomicFunctions which provides a powerful frame-work for the a...
The compilation of spectral models of geophysical fluid dynamics and hydromagnetic dynamo involves t...
This volume has been divided into two parts: Geometry and Applications. The geometry portion of the ...
This thesis shows how computer algebra makes it possible to manipulate a large class of sequences an...
AbstractWe develop the theory of holographic algorithms initiated by Leslie Valiant. First we define...
This manual describes the functionality of the Mathematica package Holo-nomicFunctions. It is a very...
Holographic Reduced Representation is a representational scheme which allows for the representation ...
Symbolic Model Checking is a technique for checking certain properties of a finite state model of a ...
AbstractComputer algebra provides a powerful tool for research in mathematics and the applied scienc...
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The ...
The HolorGraphic Modeling HGM integrates the topological graph representation of a system and the op...
In physical systems theory, the graph-based modelling has become the basis of a wide range of formul...
Geometric modeling and computational representations of shapes have been subject to intense research...
This thesis proposes functional spaces and an algebra which operates on elements in those spaces for...
The Holonomic Systems Approach was proposed in the early 1990s by Doron Zeilberger and has turned ou...
We present the Mathematica package HolonomicFunctions which provides a powerful frame-work for the a...
The compilation of spectral models of geophysical fluid dynamics and hydromagnetic dynamo involves t...
This volume has been divided into two parts: Geometry and Applications. The geometry portion of the ...
This thesis shows how computer algebra makes it possible to manipulate a large class of sequences an...
AbstractWe develop the theory of holographic algorithms initiated by Leslie Valiant. First we define...
This manual describes the functionality of the Mathematica package Holo-nomicFunctions. It is a very...
Holographic Reduced Representation is a representational scheme which allows for the representation ...
Symbolic Model Checking is a technique for checking certain properties of a finite state model of a ...
AbstractComputer algebra provides a powerful tool for research in mathematics and the applied scienc...
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The ...