| products/Sources/formale Sprachen/PVS/reals/ (Beweissystem Isabelle Version 2025-1©) Datei vom 28.9.2014 mit Größe 17 kB |
|
Quellcode-Bibliothek trig_aux.pvs Sprache: PVS |
|||||||||
|
% A couple of useful results to add to trig@trig_basic
% DRL trig_aux: THEORY BEGIN IMPORTING trig@trig_basic a,b: VAR real i: VAR int sin_cos_eq_0: LEMMA NOT (sin(a) = 0 AND cos(a) = 0) eq_iff_periodic: LEMMA sin(a) = sin(b) AND cos(a) = cos(b) IFF EXISTS i: a = b + 2*i*pi END trig_aux ¤ 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.0.16Bemerkung: (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28