This repository is fully self-contained and does not depend on any Agda libraries. We use this Travis build script for continuous verification of the proofs. To verify whether your implementation is ...

Learn how to simplify complex calculations and visualize data with an online graphing calculator. A graphing calculator is a handheld device or online tool designed to plot graphs, solve complex ...

A translation is a shift of the graph either horizontally parallel to the \(x\)-axis or vertically parallel to the \(y\)-axis. If \(f(x) = x^2\), then \(f(x) + a = x^2 + a\). The value of \(a\) ...

Abstract: The algebraic connectivity of graphs is an important measure of connectivity and how quickly a distributed synchronization process supported on the graph can reach consensus. In this letter, ...

An algebraic distance graph is defined to be a graph with vertices in E n in which two vertices are adjacent if and only if the distance between them is an algebraic number. It is proved that an ...

An equation of the form \(y = mx + c\) where \(m\) and \(c\) are numbers, gives a straight line when values of \(x\) and corresponding values of \(y\) are plotted on a grid. A straight line is a ...

Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this paper for the motivation behind the library, the underlying theory and implementation details.