Quelle root.bib

Sprache: Latech

@InProceedings{harrison-wlog,

author="Harrison, John",

editor="Berghofer, Stefan

and Nipkow, Tobias

and Urban, Christian

and Wenzel, Makarius",

title="Without Loss of Generality",

booktitle="Theorem Proving in Higher Order Logics",

year="2009",

publisher="Springer Berlin Heidelberg",

address="Berlin, Heidelberg",

pages="43--59",

abstract="One sometimes reads in a mathematical proof that a certain assumption can be made `without loss of generality' (WLOG). In other words, it is claimed that considering what first appears only a special case does nevertheless suffice to prove the general result. Typically the intuitive justification for this is that one can exploit symmetry in the problem. We examine how to formalize such `WLOG' arguments in a mechanical theorem prover. Geometric reasoning is particularly rich in examples and we pay special attention to this area.",

isbn="978-3-642-03359-9",

note={Eprint available at \url{https://www.cl.cam.ac.uk/~jrh13/papers/wlog.pdf}}

}

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-10) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.