| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/vectors/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 234 B |
|
Quelle vectors_4D_def.pvsSprache: PVS |
|||||||||||||||
|
vectors_4D_def : THEORY BEGIN IMPORTING vectors_3D_def Vect4 : TYPE = Vect3 WITH [# t: real #] mk_vect4(x,y,z,t: real) : MACRO Vect4 = (# x := x, y := y, z := z, t := t #) CONVERSION mk_vect4 END vectors_4D_def
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-15) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09