Findings:
- Proof that the greedy algorithm for Egyptian fractions terminates
- Ford-Fulkerson algorithm
- genetic algorithm
- algorithm
- International Data Encryption Algorithm
- Walking Algorithm
- Rational Algorithm
- Van Jacobson algorithm
- Diffusing update algorithm
- shortest path algorithm
- Nagle algorithm
- RFC 1321
- Sorting Algorithms
- Heap Sort
- Insertion Sort
- Merge Sort
- Quick Sort
- Radix Sort
- Selection Sort
- Shell Sort
- greedy algorithm
- Floyd-Steinberg Dithering Algorithm
- Strassen algorithm for matrix multiplication
- Strassen algorithm for polynomial multiplication
- Euclid's algorithm
- Binary GCD algorithm
- Babylonian square root algorithm
- Bresenham's Algorithm
- algorithm for generating odd-order magic squares
- Needleman Wunsch algorithm
- Smith Waterman algorithm
- Dijkstra's algorithm
- parallel prefix algorithm
- Lempel-Ziv algorithm
- Floyd's Algorithm
- factorizing algorithm
- Lamarckian genetic algorithm
- Painter's Algorithm
- Sorting Algorithms : Rank Sort
- White Trash Encryption Algorithm
- God Algorithm
- Integer Relation Detection Algorithm
- Las Vegas Algorithm
- A* algorithm
- Elevator algorithm
- quantum algorithm
- Grover's search algorithm
- Berlekamp-Massey Algorithm
- Zen Sort
- Douglas-Peucker Algorithm
- Bailey-Borwein-Plouffe Algorithm
- Cayley-Purser Algorithm
- encryption algorithm
- Logarithm algorithm
- knapsack algorithm
- Algorithm A and A*
- Brent-Salamin Algorithm
- Breaking the Knapsack Algorithm
- Stutter/Feedback Algorithm
- card shuffling algorithms
- Division Algorithm
- Luhn Algorithm
- Evolutionary algorithm
- Booth's Algorithm
- Algorithm for calculating individual hexadecimal digits of pi
- Prim's algorithm
- Kruskal's algorithm
- We exchange stories of almosts, of near deaths, theories on fate and algorithm, probability and God
- ant colony algorithm
- Extended Euclidean algorithm
- randomized algorithm
- algorithm trace
- Peterson's Algorithm
- Shor's Algorithm
- Risch Algorithm
- Arithmetic geometric mean algorithm for computing pi
- Hunter-Seeker Algorithm
- bisection algorithm
- Cache-oblivious algorithms
- Infix to postfix conversion algorithm
- Multiplication algorithm
- Warshall's algorithm
- optimal difference algorithm
- Markov algorithm
- baker's algorithm implementations
- Carnival Booth Algorithm
- Bidirectional Algorithm
- Simplex Algorithm
- Earley's Algorithm
- Standard Cryptographic Algorithm Naming
- Karmarkar's Algorithm
- World's first social algorithm?
- online algorithm
- Metropolis algorithm
- Digital Signature Algorithm
- offline algorithm
- Christian's Algorithm
- Berkeley (Gusella & Zatti) Algorithm
- Lamport's Algorithm
- Knuth-Morris-Pratt algorithm
- Burrows-Wheeler block-sorting transformation algorithm
- We control the algorithms for all emotions. We will make your steel city cry.
- Anytime algorithm
- The Air Canada Algorithm
- Sim's stripping algorithm
- Cohen Sutherland Algorithm
- sorting algorithm
- Buchberger's algorithm
- Ledeczi Algorithm
- clipping algorithm
- Tomasulo's Algorithm
- Viterbi algorithm
- Prefix to Postfix Conversion Algorithm
- Baby-Step, Giant-Step algorithm
- An algorithm of addition of prime factors
- Some algorithms may need to be redesigned
- proof
- Proof by contradiction
- Proof of the existence of irrational numbers
- Proof that there is no largest prime number
- Extraordinary claims demand extraordinary proof
- child proof
- Conditional Proof
- Bead proof
- pumping lemma proof that the balanced braces language is not regular
- Myhill Theorem proof that the balanced braces language is not regular
- Proof of the Myhill Theorem
- Niven's proof
- Proof of the Cauchy-Schwarz inequality
- Game proof of the Baire Category Theorem
- GpBCT: proof that Alice wins on an open set
- GpBCT: proof that Bob wins on the complement of an open dense set
- GpBCT: proof that Bob wins on a countable union of sets if he's guaranteed a win on each one of them
- pumping lemma proof that the "a^n b^n" language is not regular
- Myhill Theorem proof that the "a^n b^n" language is not regular
- Proof that there exist irrational a,b for which a^b is rational
- scientific proof
- proof of purchase
- zero-knowledge proofs
- Guido Ubaldus' proof of the existence of God
- Shifting the burden of proof
- Delta epsilon proof
- Fake proof that if one person in a room is a redhead, then all the people in that room are redheads
- No, your isolated anecdote is NOT sufficient proof
- Proof that Baptists cause tornados
- Proof by Assertion
- proof of the first isomorphism theorem
- proof of the second isomorphism theorem
- proof of the third isomorphism theorem
- Surah 98 The Clear Proof
- I have a most elegant proof of that, but this node is too small to contain it
- proof that V-E+F=2
- static proof mat
- burden of proof
- Rest Proof Clockwork
- Zeno's Paradox as proof of a finite universe
- idiot-proof containers
- For every set there exists a larger set
- Pop music is irrefutable proof that there is in fact a Hell
- Absence of proof is not proof of absence
- end of proof symbol
- Proof that A*0 = 0
- Proof of the Schwarz lemma
- proof of the ham sandwich theorem
- proof of Lagrange's theorem for groups
If you Log in you could create a "proof of the Ford-Fulkerson algorithm" node. If you don't already have an account, you can register here.