1 First Steps This introductory chapter presents the way the Sage mathematical system thinks. The next chapters of this first part develop the basic notions: how to make symbolic or numerical computations in analysis, h

Source URL: members.loria.fr

Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

Source URL: www.sci.brooklyn.cuny.edu

Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

Source URL: cadabra.science

hep-thJanuaryMarchupdate for v2 syntax) Introducing Cadabra: a symbolic computer algebra system for field theory problems

Source URL: cadabra.science

133 Documenta Math. Ergodic Properties and KMS Conditions on C ∗ -Symbolic Dynamical Systems

Source URL: documenta.sagemath.org

• Mathematical analysis
• Mathematics
• Algebra
• Ergodic theory
• Stochastic processes
• Probability theory
• Symbol
• Ergodicity
• PerronFrobenius theorem
• Invariant measure
• Approximately finite-dimensional C*-algebra
• Dynamical system

79 Documenta Math. A Lambda-Graph System for the Dyck Shift and Its K-Groups

Source URL: www.math.uiuc.edu

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Combinatorics on words
• Symbolic dynamics
• Markov processes
• Subshift of finite type
• Jordan normal form
• Eigenvalues and eigenvectors
• Shift space
• Vertex operator algebra

To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object

Source URL: bibliography.selflanguage.org

• Software engineering
• Computer programming
• Object-oriented programming
• Object-oriented programming languages
• Programming paradigms
• Object
• Self
• Smalltalk
• Prototype-based programming
• Common Lisp Object System
• Objective-C
• Immutable object

Fuse Extension version 0.90 Erick Gallesio Universit´e de Nice - Sophia Antipolis 930 route des Colles, BP 145 FSophia Antipolis, Cedex

Source URL: www.stklos.net

• Computer architecture
• System software
• Software
• C POSIX library
• System calls
• Stat
• Open
• Inode
• Symbolic link
• Tar
• Write
• POSIX

An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

Source URL: dream.inf.ed.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Polynomials
• Ring theory
• Algebras
• Differential operator
• Multivariable calculus
• Operator theory
• Associative algebra
• D-module
• Differential algebra

Symbolic-Numeric Computation D. Wang and L. Zhi, Eds. Trends in Mathematics, 335–347 c 2007 Birkh¨ auser Verlag Basel/Switzerland

Source URL: www.apmaths.uwo.ca

• Mathematics
• Analytic geometry
• Dynamical systems
• Equations
• Multibody system
• Sine
• Matrix
• Symbolic computation
• Line