Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Mathematics
• Boolean algebra
• Semantics
• Logical connectives
• Tautology
• Truth table
• Conjunctive normal form
• Negation
• Sage
• Logic
• Propositional calculus
• Mathematical logic

Sage Reference Manual: General Hecke Algebras and Hecke Modules Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

Sage Reference Manual: Standard Commutative Rings Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Ring theory
• Field theory
• Algebraic structures
• Algebraic number theory
• Commutative algebra
• Ring of integers
• Ring
• Sage
• Integer
• Abstract algebra
• Algebra
• Mathematics

Sage Reference Manual: Differential Geometry of Curves and Surfaces Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• First fundamental form
• Parametric surface
• Trigonometric functions
• Ellipsoid
• Klein bottle
• Ellipse
• Sage
• Parametric equation
• Torus
• Geometry
• Surfaces
• Mathematics

Sage Reference Manual: C/C++ Library Interfaces Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Sage
• Analytic number theory
• Group theory
• Cython
• Matrix
• Elliptic curve
• Python
• Mathematical software
• Software
• Computing

Sage Reference Manual: Cell complexes and their homology Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

Sage Reference Manual: Modular Forms Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Mathematics
• Analytic number theory
• Field theory
• Group theory
• Algebraic number theory
• Eisenstein series
• Hecke operator
• Congruence subgroup
• Cusp form
• Abstract algebra
• Modular forms
• Mathematical analysis

Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

Source URL: schemeworkshop.org

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Procedural programming languages
• Type system
• Type safety
• Subtype polymorphism
• Polymorphism
• Software engineering
• Computing
• Programming language theory

Sage Reference Manual: Coercion Release 6.7 The Sage Development Team June 24, 2015

Source URL: doc.sagemath.org

• Algebraic structures
• Field theory
• Ring theory
• Mathematical structures
• Polynomials
• Field
• Ring
• Sage
• Rational number
• Abstract algebra
• Mathematics
• Algebra

Media Contacts Elaine Beebe, Communications Manager, US2010 | ( | http://www.s4.brown.edu/us2010/ David Haproff, Communications Director, Russell Sage Foundation | (-

Source URL: www.s4.brown.edu