Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu theorem!
Hier klicken für Ihr Exposé |
Théo Rem
Rekursionsgleichung mittels Master Theorem lösen Mathematik
Stefan Gerberding
Stefan Gerberding TH Darmstadt We propose a new approach to fully automated tactical theorem proving — incremental tac-tical theorem proving — which is …
Christoph Waltz
Zero Theorem: the world according to Christoph Waltz. In Terry Gilliam's new film, The Zero Theorem, Christoph Waltz spends most of his time huddled over a ...
Florian Kammüller
Booktopia has Interactive Theorem Proving in Software Engineering by Florian Kammüller. Buy a discounted Paperback of Interactive Theorem Proving in Software...
Haykal Tej
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: …
Anja Krech
@ARTICLE(Alon07turán'stheorem, author = (Noga Alon and Anja Krech and Tibor Szabó), title = (Turán's theorem in the hypercube), journal = (SIAM Journal on ...
Gerda Fritsch
Works Cited Fritsch, Rudolf, and Gerda Fritsch. The Four-Color Theorem . New York: Springer-Verlag, 1998. Print. Weisstein, Eric W. "Four-Color Theorem."
Sascha Weitkamp
11 A New Proof Of The Uniformization Theorem. Sascha Weitkamp 2005. An alternative proof of the uniformization theorem for compact two-dimensional ...
Friedemann Tuttas
Douglas N. Hoover (1987). An Analytic Completeness Theorem for Logics with Probability Quantifiers. Journal of Symbolic Logic 52 ...
Matthias Galota
A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem. Matthias Galota, und Heribert …
Roxana Bujack
A General Geometric Fourier Transform Convolution Theorem: A General Geometric Fourier Transform Convolution Theorem. Authors: Roxana Bujack, Gerik Scheuermann, …
Christian Suttner
Geoff Sutcliffe, CASC, SAP.info, SAP, University, RFID, President, Archive, Links, Theorem
Faynshteyn, mathematiker @ Privat, Leipzig
Evgeniy, Kulanin, MathEduc, Leipzig, 98000, Thébault, Mathematical, Feuerbach, Proposed, Theorem
Reinhard Zumkeller
Dortmund, Informatik, 1976, Universität, OEIS, Volker Claus, Michael, 2005, Peter, Theorem
Sebastian Freundt
Berlin, GAP, Mathematik, SXEmacs, Pauli, TU, Steve, XEmacs, KASH, Theorem
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ