180:(GAMM) and of the Technical Committees Enhanced Computer Arithmetic of the International Association for Mathematics and Computers in Simulation (IMACS) 1979 German member of the Working Group 2.5 (Numerical Software) of the International Federation for Information Processing (IFIP), of which he has been a member since 1980. He is on IEEE Standard Committee P1788 for
69:) under Josef Heinhold. After his postdoctoral qualification in 1963, he was acting Professor for Numerical Mathematics of the University of Munich from 1964 to 1966, and from 1966 Professor of Mathematics and Director of the Institute of Applied Mathematics at the
177:
380:
370:
176:
He was a founding member of the
Computer Science Association in 1968, was chairman of the Computer Mathematics and Scientific Computing Committee of the
58:
76:
During his time in academia, Kulisch spent several sabbaticals abroad. He spent time in 1969/1970 at the
Mathematics Research Center of the
77:
339:
89:
345:
62:
307:
188:
349:
70:
375:
169:
and associated program libraries. In 1993/1994 he was also involved in a hardware implementation on the
101:
123:
365:
219:
181:
108:
97:
42:
112:
38:
318:
128:
81:
303:
138:
93:
236:
with H. J. Stetter (editor), "Scientific
Computation with Automatic Result Verification",
204:"Grundlagen des Numerischen Rechnens – Mathematische Begründung der Rechnerarithmetik",
67:
137:
in the 1960s. Kulisch developed software with automated results verification including
359:
229:
with
Willard L. Miranker: "The arithmetic of the digital computer: a new approach",
100:(1932–2011)); and in 1998 and 1999/2000 at the Electrotechnical Laboratory at the
17:
117:
154:
142:
333:
284:
Computer
Arithmetic and Validity – Theory, Implementation, and Applications
278:
Advanced
Arithmetic for the Digital Computer – Design of Arithmetic Units
170:
162:
54:
158:
133:. His implementations of interval arithmetic in computers started with
111:
in
Germany in the 1960s and helped to found the discipline, along with
34:
150:
166:
134:
146:
85:
245:
Wissenschaftliches
Rechnen mit Ergebnisverifikation
178:
Gesellschaft fĂĽr
Angewandte Mathematik und Mechanik
272:Computer, Arithmetik und Numerik – ein Memorandum
261:, Springer 1991 (English edition, Springer 1992)
257:with R. Klatte, M. Neaga, D. Ratz, Ch. Ullrich:
259:Pascal XSC- Sprachbeschreibung mit Beispielen
65:where in 1961 he completed his dissertation (
8:
37:) is a German mathematician specializing in
41:, including the computer implementation of
252:Computer Arithmetic in Theory and Practice
224:A New Approach to Scientific Computation
296:
187:From 1975 to 1998 he was editor of the
346:Literature by and about Ulrich Kulisch
319:"Ulrich W. Kulisch — Curriculum Vitae"
57:, Kulisch studied mathematics at the
53:After graduation from high school in
7:
286:, de Gruyter 2008, 2nd edition, 2013
274:, Ăśberblicke Mathematik, Vieweg 1998
264:with R. Hammer, M. Hocks, D. Ratz: C
211:"GrundzĂĽge der Intervallrechnung",
107:Kulisch was one of the pioneers of
381:21st-century German mathematicians
371:20th-century German mathematicians
25:
266:++ Toolbox for Verified Computing
240:, volume 6, Springer, Wien, 1988.
226:, Academic Press, New York, 1983.
90:Thomas J. Watson Research Center
84:; in 1972/1973 and 1978/1979 at
193:Jahrbuchs Ăśberblicke Mathematik
173:vector arithmetic coprocessor.
78:University of Wisconsin–Madison
213:Jahrbuch Ăśberblicke Mathematik
165:). In Karlsruhe, he developed
63:Technical University of Munich
1:
308:Mathematics Genealogy Project
215:, volume 2, BI, Mannheim 1969
96:(where he worked alongside
397:
250:with Willard L. Miranker:
189:Bibliographisches Institut
350:German National Library
71:University of Karlsruhe
280:, Springer-Verlag 2002
238:Computing Supplementum
254:, Academic Press 1981
102:University of Tsukuba
59:University of Munich
27:German mathematician
220:Willard L. Miranker
182:interval arithmetic
109:interval arithmetic
98:Willard L. Miranker
43:interval arithmetic
39:numerical analysis
161:(program package
82:Ramon Edgar Moore
31:Ulrich W. Kulisch
18:Ulrich W. Kulisch
16:(Redirected from
388:
321:
316:
310:
301:
206:Reihe Informatik
139:Nixdorf Computer
132:
124:Fritz KrĂĽckeberg
121:
94:Yorktown Heights
21:
396:
395:
391:
390:
389:
387:
386:
385:
356:
355:
330:
325:
324:
317:
313:
302:
298:
293:
268:, Springer 1995
233:28 (1986) 1–40.
201:
126:
115:
51:
28:
23:
22:
15:
12:
11:
5:
394:
392:
384:
383:
378:
373:
368:
358:
357:
354:
353:
343:
337:
329:
328:External links
326:
323:
322:
311:
304:Ulrich Kulisch
295:
294:
292:
289:
288:
287:
281:
275:
269:
262:
255:
248:
241:
234:
227:
216:
209:
200:
197:
50:
47:
33:(born 1933 in
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
393:
382:
379:
377:
376:Living people
374:
372:
369:
367:
364:
363:
361:
351:
347:
344:
341:
338:
335:
332:
331:
327:
320:
315:
312:
309:
305:
300:
297:
290:
285:
282:
279:
276:
273:
270:
267:
263:
260:
256:
253:
249:
247:, Vieweg 1989
246:
242:
239:
235:
232:
228:
225:
221:
217:
214:
210:
207:
203:
202:
198:
196:
194:
190:
185:
183:
179:
174:
172:
168:
164:
160:
156:
152:
148:
145:and others),
144:
140:
136:
130:
125:
119:
114:
110:
105:
103:
99:
95:
91:
87:
83:
79:
74:
72:
68:
64:
60:
56:
48:
46:
44:
40:
36:
32:
19:
314:
299:
283:
277:
271:
265:
258:
251:
244:
237:
230:
223:
212:
205:
199:Bibliography
192:
186:
175:
106:
75:
66:
52:
30:
29:
366:1933 births
342:(in German)
336:(in German)
208:19, BI 1976
127: [
116: [
113:Karl Nickel
360:Categories
291:References
222:(editor):
155:ACRITH-XSC
149:(projects
143:Pascal-XSC
49:Experience
352:catalogue
340:Biography
231:SIAM Rev.
334:Homepage
243:Editor:
171:XPA 3233
163:ARITHMOS
61:and the
55:Freising
348:in the
306:at the
159:Siemens
35:Breslau
157:) and
151:ACRITH
80:under
218:with
167:C-XSC
135:Algol
131:]
120:]
153:and
122:and
191:'s
147:IBM
92:in
88:'s
86:IBM
362::
195:.
184:.
129:de
118:de
104:.
73:.
45:.
141:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.