**BookOfProofs** supports
interactive widgets to improve your inside into complex mathematical concepts. Currently, we offer
some pages with JSXGraph and Sagecell widgets (mostly interactive):

- SageCell (8)
- Proposition: Gamma Function
- Definition: Points in a Coordinate System - Number Spaces
- Definition: Euler function
- Definition: Möbius Function, Square-free
- Definition: Number of Divisors
- Definition: Prime-Counting Function
- Definition: Sum of Divisors
- Definition: Indicator (Characteristic) Function, Carrier

- JsxGraph (81)
- Lemma: Approximability of Continuous Real Functions On Closed Intervals By Step Functions
- Proposition: Complex Exponential Function
- Definition: Complex Polynomials
- Definition: Constant Function Real Case
- Definition: Cosine of a Real Variable
- Proposition: Derivative of the Reciprocal Function
- Example: Examples of Functions Continuous at a Single Point (related to Definition: Continuous Functions at Single Real Numbers)
- Example: Examples of Functions Not Continuous at a Single Point (related to Definition: Continuous Functions at Single Real Numbers)
- Proposition: Exponential Function
- Proposition: General Powers of Positive Numbers
- Definition: Hyperbolic Cosine
- Definition: Hyperbolic Sine
- Proposition: Infinitesimal Exponential Growth is the Growth of the Identity Function
- Proposition: Infinitesimal Growth of Sine is the Growth of the Identity Function
- Proposition: Inverse Cosine of a Real Variable
- Proposition: Inverse Hyperbolic Cosine
- Proposition: Inverse Hyperbolic Sine
- Proposition: Inverse Sine of a Real Variable
- Proposition: Inverse Tangent of a Real Variable
- Definition: Linear Function
- Proposition: Natural Logarithm
- Proposition: Nth Powers
- Proposition: Nth Roots of Positive Numbers
- Definition: Open and Closed Discs
- Definition: Polynomials
- Proposition: Rational Powers of Positive Numbers
- Definition: Real Absolute Value Function
- Definition: Real Identity Function
- Definition: Reciprocal Function
- Proposition: Riemann Integral for Step Functions
- Proposition: Riemann Upper and Riemann Lower Integrals for Bounded Real Functions
- Definition: Sine of a Real Variable
- Definition: Step Functions
- Definition: Tangent of a Real Variable
- Lemma: Unit Circle
- Definition: Describing a Straight Line Using Two Vectors
- Definition: Points in a Coordinate System - Number Spaces
- Definition: Points vs. Vectors in a Number Space
- Definition: 1.01: Point
- Definition: 1.02: Line, Curve
- Definition: 1.04: Straight Line, Segment and Ray
- Definition: 1.07: Plane
- Axiom: 1.1: Straight Line Determined by Two Distinct Points
- Axiom: 1.3: Circle Determined by its Center and its Radius
- Definition: 7.19: Cubic Number, Cube Number
- Definition: Def. 11.08: Parallel Planes
- Definition: Def. 11.12: Pyramid, Tetrahedron
- Definition: Def. 11.13: Prism, Parallelepiped
- Definition: Def. 11.25: Cube
- Definition: Def. 11.26: Octahedron
- Definition: Def. 11.27: Icosahedron
- Definition: Def. 11.28: Dodecahedron
- Proposition: Prop. 13.13: Construction of Regular Tetrahedron within Given Sphere
- Proposition: Prop. 13.14: Construction of Regular Octahedron within Given Sphere
- Proposition: Prop. 13.15: Construction of Cube within Given Sphere
- Proposition: Prop. 13.16: Construction of Regular Icosahedron within Given Sphere
- Proposition: Prop. 13.17: Construction of Regular Dodecahedron within Given Sphere
- Chapter: An Introduction to the Principle of Duality in Projective Geometry
- Definition: Collinear Points
- Definition: Concurrent Straight Lines
- Definition: Perspectivities
- Definition: Projectivities, Ranges and Pencils
- Definition: Absolute Value of Complex Numbers
- Definition: Addition of Complex Numbers
- Definition: Argument of a Complex Number
- Definition: Complex Conjugate
- Lemma: Complex Numbers are Two-Dimensional and the Complex Numbers `\(1\)` and Imaginary Unit `\(i\)` Form Their Basis
- Definition: Definition of Complex Numbers
- Definition: Dot Product of Complex Numbers
- Proposition: Existence of Inverse Complex Numbers With Respect to Addition
- Proposition: Existence of Inverse Complex Numbers With Respect to Multiplication
- Definition: Multiplication of Complex Numbers
- Definition: Number `$\pi$`
- Proposition: Polar Coordinates of a Complex Number
- Definition: Subtraction of Complex Numbers
- Definition: Floor and Ceiling Functions
- Definition: Modulo Operation for Real Numbers
- Proposition: Binomial Distribution
- Proposition: Geometric Distribution
- Example: Graph of a Real-Valued Function with One Variable (related to Definition: Graph of a Function)
- Proposition: Construction of a Light Clock

The following index lists all pages containing highlighted sourcecode:

- Sourcecode (2)
- Algorithm: Get All Components of a Graph
- Algorithm: Extended Greatest Common Divisor (Python)