A Maple package for conditional event algebras

DOI10.1007/11408017_8MaRDI QIDQ5464023zbMATH OpenOpenAlexFDO

Authors Piotr Chrząstowski-Wachtel, Jerzy Tyszkiewicz

Publication date 17 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107184

zbMATH Keywords

conditional event theoriesMarkov chainsMoore machinessymbolic computationsystems and implementations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Conditional event algebras: the state-of-the-art
• On the algebraic structure of conditional events
• Event and Its Application in Algebraic Structures
• An event structure model for probabilistic concurrent Kleene algebra
• scientific article; zbMATH DE number 563126
• A generalization of probability theory on MV-algebras to IF-events
• Foundations for a probabilistic event calculus
• A resource-efficient event algebra
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics

Cited in

(3)

• Conway matrices related to a non-transitive head-or-tail game with a \(q\)-sided die and their Hamming weight-spectra via DFT and the MacWilliams duality formula
• scientific article; zbMATH DE number 1098889 (Why is no real title available?)
• Construction of the weight polynomial for autocorrelation of q-ary words

Describes a project that uses

Uses Software

• Maple

This page was built for publication: A Maple package for conditional event algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5464023)