Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

CliffSymNil

Mathematica: Zeon, abelian Clifford, and abelian-idempotent Clifford computations

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

  • zeons
  • generating functions
  • Banzhaf power index
  • Shapley-Shubik power index
  • generating function
  • Clifford algebra
  • omega calculus
  • monochromatic
  • shortest paths
  • Deegan-Packel power index
  • semigroup algebras
  • trails
  • linear Diophantine system
  • bialgebra
  • Appell systems
  • public good power index
  • iterated stochastic integrals
  • Stirling number
  • spatial logics
  • directing functional
  • operator (co)homology
  • coalitional power indices
  • behavioural differential equations
  • coalgebra
  • completion
  • paths
  • partition analysis
  • graphs
  • incompatible players
  • multiple weighted voting games

  • URL: www.siue.edu/~sstaple/...
  • InternetArchive
  • Authors: René Schott; G. Stacey Staples

  • Add information on this software.


  • Related software:
  • CliffMath
  • CliffOC
  • Mathematica
  • Omega
  • Genius
  • OEIS
  • Haskell
  • GluCat
  • RAGlib
  • CLT
  • Show more...
  • KLAIM
  • EnvyMyCar
  • ISLR
  • FEPG
  • Proof General
  • Localizer
  • StableBBasisNBM5
  • CIRC
  • Gaigen
  • mftoolbox
  • Show less...

References in zbMATH (referenced in 12 articles , 1 standard article )

Showing results 1 to 12 of 12.
y Sorted by year (citations)

  1. Neto, Antônio Francisco: Matrix analysis and omega calculus (2020)
  2. Davis, Amanda; Staples, G. Stacey: Zeon and idem-Clifford formulations of Boolean satisfiability (2019)
  3. Francisco Neto, Antônio; Fonseca, Carolina Rodrigues: An approach via generating functions to compute power indices of multiple weighted voting games with incompatible players (2019)
  4. Neto, Antônio Francisco: Generating functions of weighted voting games, MacMahon’s partition analysis, and Clifford algebras (2019)
  5. Dollar, Lisa M.; Staples, G. Stacey: Zeon roots (2017)
  6. Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan: Stream differential equations: specification formats and solution methods (2017)
  7. Schott, René; Staples, G. Stacey: Generalized zeon algebras: theory and application to multi-constrained path problems (2017)
  8. Staples, G. Stacey; Stellhorn, Tiffany: Zeons, orthozeons, and graph colorings (2017)
  9. Woracek, Harald: Directing functionals and de Branges space completions in almost Pontryagin spaces (2017)
  10. Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke: Model checking spatial logics for closure spaces (2016)
  11. Neto, Antônio Francisco: A note on a theorem of Schumacher (2016)
  12. Schott, René; Staples, G. Stacey: Operator calculus on graphs. Theory and applications in computer science (2012)

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 03 Mathematical logic
      • 05 Combinatorics
      • 15 Linear and multilinear...
      • 68 Computer science
      • 91 Game theory, economics,...
    • Other MSC classes
      • 11 Number theory
      • 20 Group theory and...
      • 33 Special functions
      • 44 Integral transforms,...
      • 46 Functional analysis
      • 47 Operator theory
      • 54 General topology
      • 60 Probability theory and...
      • 81 Quantum Theory

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000

  • Chart: cumulative / absolute
  • Terms & Conditions
  • Imprint
  • Privacy Policy