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