StackOverflow Questions for Tag: proofs

dan-gph

Reputation: 16909

Proof that Fowler's money allocation algorithm is correct

algorithmcurrencyallocationproof

Score: 15

Answers: 4

Nicola Pirozzi

Reputation: 21

Inductive Proof for a Recursive Prefix Checking Function

crecursionproofinduction

Score: 2

Answers: 2

Malaski

Reputation: 1

Linearizability proof of a toy SET implementation over a filesystem

concurrencyatomicprooflinearization

Score: 0

Answers: 0

wannabe programmer

Reputation: 683

How to show that union and intersection of min cuts in flow network is also a min cut

algorithmproofmax-flow

Score: 4

Answers: 1

João Teixeira

Reputation: 11

Unexpected token in Hyperbolic geometry undecidability proof with lean 4

mathproofturing-machineslean

Score: 1

Answers: 1

satiscugcat

Reputation: 3

I'm having difficulty definining a property in Coq, not sure how to approach

typeslogiccoqproof

Score: 0

Answers: 2

Adeeb HS

Reputation: 169

Floyd's Algorithm to detect cycle in linked list proof

linked-listprooffloyd-cycle-finding

Score: 3

Answers: 2

Chuannan Zhang

Reputation: 11

What is the proper why to generate an instance from Lean4 GetElm class type?

prooflean

Score: 1

Answers: 0

Anirban Chakraborty

Reputation: 781

Reason for the non-proposing gender ending with worst valid partners in Gale-Shapley algorithm?

algorithmproofstable-marriage

Score: 0

Answers: 0

Egor Bulko

Reputation: 1

How to prove to agda that there is a number that has more divisors than the given one

agdaproof

Score: 0

Answers: 0

planarian

Reputation: 2151

substitution in proofs with recursive formulas

haskellfoldproof

Score: 6

Answers: 1

Javier Lázaro

Reputation: 1

How to prove the sliding window algorithm works to find the largest non repeating substring

algorithmproofsliding-window

Score: 0

Answers: 0

LateGameLank

Reputation: 267

Edit Distance - Proving that Greedy Choice is Optimal

pythongreedyproofedit-distance

Score: 0

Answers: 0

student.a

Reputation: 33

Expected number of full neighbors of a Voronoi cell in $\mathbb{R}^3$

geometryproofvoronoitessellation

Score: 1

Answers: 0

miiky123

Reputation: 119

Time complexity analysis of data structures

algorithmdata-structurescomputer-scienceproof

Score: 0

Answers: 3

Pablo Fernandez

Reputation: 105220

Dafny simple proof about giving change not working

algorithmproofdafny

Score: 0

Answers: 1

user1084113

Reputation: 962

Big Oh Notation O((log n)^k) = O(log n)?

big-oproof

Score: 6

Answers: 3

LakshyAAAgrawal

Reputation: 85

WP Plugin: Why does the following simplified code fail to verify

static-analysisverificationproofframa-cformal-verification

Score: 2

Answers: 1

Ginger Shu-Ying Yeh

Reputation: 43

Theorem and Proof Environment in Beamer

latexproofbeamerquartotheorem

Score: 4

Answers: 1

april

Reputation: 9

Formal definition of a function f : Q → Q

functionmaththeoryproof

Score: -10

Answers: 2

PreviousPage 1Next

StackOverflow Questions for Tag: proofs

Proof that Fowler&#39;s money allocation algorithm is correct

Inductive Proof for a Recursive Prefix Checking Function

Linearizability proof of a toy SET implementation over a filesystem

How to show that union and intersection of min cuts in flow network is also a min cut

Unexpected token in Hyperbolic geometry undecidability proof with lean 4

I&#39;m having difficulty definining a property in Coq, not sure how to approach

Floyd&#39;s Algorithm to detect cycle in linked list proof

What is the proper why to generate an instance from Lean4 GetElm class type?

Reason for the non-proposing gender ending with worst valid partners in Gale-Shapley algorithm?

How to prove to agda that there is a number that has more divisors than the given one

substitution in proofs with recursive formulas

How to prove the sliding window algorithm works to find the largest non repeating substring

Edit Distance - Proving that Greedy Choice is Optimal

Expected number of full neighbors of a Voronoi cell in $\mathbb{R}^3$

Time complexity analysis of data structures

Dafny simple proof about giving change not working

Big Oh Notation O((log n)^k) = O(log n)?

WP Plugin: Why does the following simplified code fail to verify

Theorem and Proof Environment in Beamer

Formal definition of a function f : Q → Q

Proof that Fowler's money allocation algorithm is correct

I'm having difficulty definining a property in Coq, not sure how to approach

Floyd's Algorithm to detect cycle in linked list proof