• 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 ... high-level 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...
  • LTSA-WS

  • 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...
  • CSP-prover

  • Referenced in 16 articles [sw11465]
  • dedicated to refinement proofs within the process algebra CSP. It aims specifically at proofs ... product, CSP-Prover includes also the CSP traces model T. More importantly, CSP-Prover...
  • 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 40-year ... 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...