CAR Ausgabe 48 (März 2011) http://dl.gi.de/handle/20.500.12116/38236 Fri, 24 Jul 2026 06:21:47 GMT 2026-07-24T06:21:47Z Computereinsatz in der Veranstaltung Didaktik der Analytischen Geometrie und Linearen Algebra http://dl.gi.de/handle/20.500.12116/38240 Computereinsatz in der Veranstaltung Didaktik der Analytischen Geometrie und Linearen Algebra Henn, Hans-Wolfgang; Link, Frauke Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/38240 2011-01-01T00:00:00Z Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel http://dl.gi.de/handle/20.500.12116/38238 Verifikation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel Brickenstein, Michael; Dreyer, Alexander Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/38238 2011-01-01T00:00:00Z Computeralgebra Rundbrief Nr. 48, März 2011 http://dl.gi.de/handle/20.500.12116/38241 Computeralgebra Rundbrief Nr. 48, März 2011 GI-FG Computeralgebra Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/38241 2011-01-01T00:00:00Z Wurzeln einer Matrix http://dl.gi.de/handle/20.500.12116/38239 Wurzeln einer Matrix Meyer, Jörg Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/38239 2011-01-01T00:00:00Z