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 ...

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.

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, ...

Graph states are present in quantum information and found applications ranging from quantum network protocols (like secret sharing) to measurement based quantum computing. In this paper, we extend the ...

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 ...

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 ...

The statistical physics of graphs and partition functions represents a vibrant intersection of graph theory, statistical mechanics and computational complexity. By summing over an ensemble of ...

Abstract: The algebraic connectivity is an indicator of how well connected a graph is. It also characterizes the convergence speed of some dynamic processes over networks. In this paper, taking into ...

Find your added subjects in My Bitesize. Try this quiz based on GCSE Maths past papers. Choose the topic you would like to revise and answer the questions. GCSE Maths: exam-style questions Free ...