Winfried Neun - Staff
URL: Personal Homepage
Zuse Institute Berlin (ZIB)
Discrete Mathematics
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: neun
zib.de
Phone: +49 30 84185-196
Fax: +49 30 84185-269
Room: 3003
Discrete Mathematics
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: neun
zib.dePhone: +49 30 84185-196
Fax: +49 30 84185-269
Room: 3003
Publications
2010 |
|||
| Winfried Neun, Thomas Sturm, Stefan Vigerske | Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests | App. in: CASC 2010, Proceedings, Vladimir P. Gerdt (ed.) Springer 2010, LNCS 6244, pp. 205-219, | PDF (Preprint) BibTex | RIS |
2008 |
|||
| Thomas Wolf, Winfried Neun | About a Computer Algebra based online Mathtest | Appeared in: About a Computer Algebra based online Mathtest, in Michael J Wester, Michel Beaudin (eds), "Computer Algebra in Education", p. 1-6, ISBN-978-0-9754541-9-6, Aulonna Press 2008 (Proceedings of the session "Computer Algebra in Education" at the Int. Conf. on Applications of Computer Algebra (ACA'07)), | PDF (Preprint) BibTex | RIS |
2004 |
|||
| Dirk Draheim, Winfried Neun, Dima Suliman | Searching and Classifying Differential Equations on the Web | Appeared under the title Classifying Differential Equations on the Web in: Proc. of MKM 2004, 3rd Int. Conf. on Mathamatical Knowledge Management. (Lecture Notes on Computer Science, 3119) Springer 2004, pp. 104-115, | PDF (Preprint) BibTex | RIS |
2003 |
|||
| Wolfgang Dalitz, Winfried Neun, Wolfram Sperber | Semantic Annotation in Mathematics and Math-Net | Appeared in: Annotation for the Semantic Web. IOS Press, 2003, pp. 3-22, | PDF (Preprint) BibTex | RIS |
1989 |
|||
| Herbert Melenk, Winfried Neun | Implementation of Portable Standard LISP for the SPARC Processor. | ZIB-Report TR-89-06 | PDF BibTex | RIS |
1988 |
|||
| Winfried Neun, Herbert Melenk | Implementation of the LISP-Arbitrary Precision Arithmetic for a Vector Processor. | Appeared in: Computer Algebra and Parallelism, J. D. Dora, J. Fitch (eds.) Academic Press 1989, | PDF (Preprint) BibTex | RIS |
| Herbert Melenk, H. Michael Möller, Winfried Neun | On Gröbner Bases Computation on a Supercomputer Using REDUCE. | ZIB-Report SC-88-02 | PDF BibTex | RIS |
| Herbert Melenk, Winfried Neun | Parallel Polynomial Operations in the Buchberger Algorithm. | Appeared in: Computer Algebra and Parallelism, J. D. Dora, J. Fitch (eds.) Academic Press 1989, | PDF (Preprint) BibTex | RIS |
| Herbert Melenk, Winfried Neun | REDUCE Installation Guide for CRAY 1 / X-MP Systems Running UNICOS. Version 3.3. | ZIB-Report TR-88-03 | PDF BibTex | RIS |
| Herbert Melenk, Winfried Neun | REDUCE User s Guide for the CRAY 1 / CRAY X-MP Series Running UNICOS. Version 3.3. | ZIB-Report TR-88-02 | PDF BibTex | RIS |
| Herbert Melenk, H. Michael Möller, Winfried Neun | Symbolic Solution of Large Stationary Chemical Kinetics Problems. | Appeared in: IMPACT Comp. Sci. Eng. 1, p.138-167 (1989), | PDF (Preprint) BibTex | RIS |
1987 |
|||
| Herbert Melenk, Winfried Neun | Portable Common LISP Subset Implementation for CRAY X+MP Computers. | ZIB-Report TR-87-03 | PDF BibTex | RIS |
| Herbert Melenk, Winfried Neun | Portable Standard LISP Implementation for CRAY X+MP Computers. Release of PSL 3.4 for COS. | ZIB-Report TR-87-02 | PDF BibTex | RIS |
| Herbert Melenk, Winfried Neun | REDUCE Installation Guide for CRAY 1 / X-MP Systems Running COS. Version 3.3. | ZIB-Report TR-87-04 | PDF BibTex | RIS |
| Herbert Melenk, Winfried Neun | REDUCE Users Guide for the CRAY 1 / X-MP Series Running COS. Version 3.3. | ZIB-Report TR-87-05 | PDF BibTex | RIS |
| J. Anderson, W. Galway, R. Kessler, Herbert Melenk, Winfried Neun | The Implementation and Optimization of Portable Standard LISP for the CRAY. | Appeared in: IEEE Software Vol.4, No. 4, July 1987, pp. 74-83. Titel: Implementation and Optimizing LISP for the CRAY, | PDF (Preprint) BibTex | RIS |
1986 |
|||
| Herbert Melenk, Winfried Neun | Portable Standard LISP for CRAY X-MP Computers. | ZIB-Report SC-86-02 | PDF BibTex | RIS |