Quelle poly_rew.pvs Sprache: PVS

poly_rew : THEORY
BEGIN

  IMPORTING polynomials

  p,q : VAR sequence[real]
  x,k : VAR real
  n   : VAR nat

  poly_sum : LEMMA
    polynomial(p,n)(x)+polynomial(q,n)(x) = polynomial(p+q,n)(x)

  poly_neg : LEMMA
   -polynomial(p,n)(x) = polynomial(-p,n)(x)

  poly_diff : LEMMA
    polynomial(p,n)(x)-polynomial(q,n)(x) = polynomial(p-q,n)(x)

  poly_scal : LEMMA
    k*polynomial(p,n)(x) = polynomial(k*p,n)(x)

END poly_rew

quality100%

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders