
TRACER
 Referenced in 10 articles
[sw07361]
 doing just purely algebraic manipulations as well as trace operations on strings of γalgebra...

Gaigen
 Referenced in 35 articles
[sw04958]
 layer. Gaigen can suggest optimizations for the algebras you generate with it by using ... provided profiler function. Benchmarks in a ray tracing application show that Gaigen...

GMac
 Referenced in 8 articles
[sw16028]
 Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application. Automatic code generation ... highlevel geometric domain specific language. Geometric Algebra (GA) is one of the most suitable ... algebraic systems for being the base for such code generator. This work presents an attempt ... software implementations is illustrated through a ray tracing application...

CoCasl
 Referenced in 26 articles
[sw13076]
 structural operational semantics fit well in the algebraic world of Casl, while the additional coalgebraic ... equivalences (bisimulation, weak bisimulation, observational congruence, and trace equivalence) and provide fully abstract semantic domains...

HEPMath
 Referenced in 4 articles
[sw20375]
 colour matrices etc. and their algebraic properties. Computation of traces over Dirac matrices...

Kleene Algebra
 Referenced in 7 articles
[sw32203]
 axiomatic type classes in Isabelle/HOL. Kleene algebras are foundational structures in computing with applications ranging ... computation traces, binary relations and formal power series form Kleene algebras, and consider further models...

VBF
 Referenced in 2 articles
[sw20673]
 structures such as Truth Table, Trace Representation, and Algebraic Normal Form (ANF), among others...

LTSAWS
 Referenced in 13 articles
[sw10585]
 into the Finite State Process (FSP) process algebra to concisely model the required behavior. BPEL4WS ... translated to FSP to allow an equivalence trace verification process to be performed. By providing...

CSPprover
 Referenced in 16 articles
[sw11465]
 dedicated to refinement proofs within the process algebra CSP. It aims specifically at proofs ... product, CSPProver includes also the CSP traces model T. More importantly, CSPProver...

KAD
 Referenced in 1 article
[sw32231]
 link these algebras with models of binary relations and program traces. We include some examples...

PlanarLinkages
 Referenced in 2 articles
[sw17974]
 into a factorization task over some noncommutative algebra. We show how to compute such ... construct a linkage tracing a given curve...

Algebraic_VCs
 Referenced in 1 article
[sw32217]
 total correctness based on divergence Kleene algebras and one for (partial correctness) of recursive programs ... programs with pointers and a program trace semantics into the weakest precondition component...

SDF Renderer
 Referenced in 1 article
[sw27467]
 geometric method for the antialiased ray tracing of implicit surfaces. The Visual Computer ... fractals and its modularity by rendering algebraic and meta surfaces. In addition, we discuss...

CSP
 Referenced in 1 article
[sw08678]
 rely on the use of CSP’s traces. In this work, we introduce the theoretical ... concurrent and explicitly synchronized computations in process algebras such as CSP. Tracking computations...

PyACA
 Referenced in 1 article
[sw36983]
 PyACA  Companion materials: Computer algebra tales on Goppa codes and McEliece cryptography. The 40year ... companion materials. The last two tales trace the evolution of the McEliece systems and provide...

xCoba
 Referenced in 2 articles
[sw14691]
 xCoba: General component tensor computer algebra. xCoba, a companion package to xTensor, provides several tools ... changing the basis of an expression or tracing the contraction of basis dummies. The package...

Linear algebra
 Referenced in 0 articles
[sw06004]
 LINEAR ALGEBRA performs computations associated with real matrices, including solution of linear systems of equations ... operations (add, subtract, multiply), finding the determinant, trace, inverse, adjoint, QR and LU factors, eigenvalues...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 better solved by LINEAR ALGEBRA), Linear Algebra performs a wide variety of computations with real ... operations (add, subtract, multiply), finding the determinant, trace, inverse, adjoint, QR or LU factors, real...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...