Winkler, Franz, 1955-....
Winkler, F. 1955-
Franz Winkler österreichischer Mathematiker und Hochschullehrer
Winkler, F. (Franz), 1955-
VIAF ID: 85186645 ( Personal )
Permalink: http://viaf.org/viaf/85186645
Preferred Forms
- 100 0 _ ‡a Franz Winkler ‡c österreichischer Mathematiker und Hochschullehrer
-
- 100 1 _ ‡a Winkler, F. ‡d 1955-
-
-
- 100 1 _ ‡a Winkler, Franz ‡d 1955-
-
- 100 1 _ ‡a Winkler, Franz, ‡d 1955-
-
-
- 100 1 _ ‡a Winkler, Franz, ‡d 1955-
-
-
-
- 100 1 _ ‡a Winkler, Franz, ‡d 1955-....
4xx's: Alternate Name Forms (18)
5xx's: Related Names (5)
- 510 2 _ ‡a Cambridge University Press
- 510 2 _ ‡a Forschungsinstitut für Symbolisches Rechnen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Forschungsinstitut für Symbolisches Rechnen
- 510 2 _ ‡a Springer-Verlag (Berlin)
- 510 2 _ ‡a Symbolic and numerical scientific computation
Works
Title | Sources |
---|---|
ADG 2002 | |
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings | |
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers | |
CAI 2011 | |
The Church Rosser property in computer algebra and special theorem proving, 1984: | |
Erhöhung der Produktivität und Flexibilität in der Anwendungsentwicklung eine neue Architektur auf der Basis des objektorientierten Paradigmas, angereichert um optimierte traditionelle Komponenten, sowie ein Vorschlag für die evolutionäre Migration zu dieser zukunftssicheren Systembasis in grossen Dienstleistungsunternehmen | |
Gröbner bases and applications | |
Polynomial algorithms in computer algebra | |
Rational algebraic curves : a computer algebra approach | |
SNSC 2001 | |
Softwaresysteme zur Formelmanipulation praktisches Arbeiten mit den Computer-Algebra-Systemen REDUCE, MACSYMA, und DERIVE | |
Symbolic and Numerical Scientific Computation Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers |