Sciweavers

Share
9 search results - page 1 / 2
» The Akra-Bazzi theorem and the Master theorem
Sort
View
EATCS
2000
72views more  EATCS 2000»
8 years 12 months ago
Mastering the Master Theorem
Uwe Schöning
IPCO
2007
98views Optimization» more  IPCO 2007»
9 years 1 months ago
On a Generalization of the Master Cyclic Group Polyhedron
We study the Master Equality Polyhedron (MEP) which generalizes the Master Cyclic Group Polyhedron and the Master Knapsack Polyhedron. We present an explicit characterization of t...
Sanjeeb Dash, Ricardo Fukasawa, Oktay Günl&uu...
COMBINATORICS
2007
67views more  COMBINATORICS 2007»
9 years 2 days ago
Non-Commutative Sylvester's Determinantal Identity
Sylvester’s identity is a classical determinantal identity with a straightforward linear algebra proof. We present combinatorial proofs of several non-commutative extensions, an...
Matjaz Konvalinka
ENTCS
2008
90views more  ENTCS 2008»
9 years 4 days ago
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
Richard Bubel, Andreas Roth, Philipp Rümmer
books