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