Sciweavers

Share
17 search results - page 1 / 4
» afp 2015
Sort
View
AFP
2015
Springer
3 years 7 months ago
Parameterized Dynamic Tables
We analyze the amortized complexity of dynamic tables with arbitrary minimal and maximal load factors and arbitrary expansion and contraction factors.
Tobias Nipkow
AFP
2015
Springer
3 years 7 months ago
Generating Cases from Labeled Subgoals
Isabelle/Isar provides named cases to structure proofs. This article contains an implementation of a proof method casify, which can be used to easily extend proof tools with suppo...
Lars Noschinski
AFP
2015
Springer
3 years 7 months ago
Euler's Partition Theorem
Euler’s Partition Theorem states that the number of partitions with only distinct parts is equal to the number of partitions with only odd parts. The combinatorial proof follows...
Lukas Bulwahn
AFP
2015
Springer
3 years 7 months ago
Descartes' Rule of Signs
In this work, we formally proved Descartes Rule of Signs, which relates the number of positive real roots of a polynomial with the number of sign changes in its coefficient list. ...
Manuel Eberl
books