Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="K{\"u}chlin, Wolfgang"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Extending clause learning of SAT solvers with Boolean Gröbner bases
Christoph Zengler
,
Wolfgang Küchlin
Lecture Notes in Computer Science
6244
, 2010, pp. 293-302
Parallel propositional satisfiability checking with distributed dynamic learning
Wolfgang Blochinger
,
Carsten Sinz
,
Wolfgang Küchlin
Parallel Computing
29
(7), 2003, pp. 969-994
Plotting functions and singularities with Maple and Java on a component-based Web architecture
Dieter Bühler
,
Corinne Chauvin
,
Wolfgang Küchlin
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 5-9, 2000)
, 2000, pp. 69-79
Lessons learned from using CORBA for components in scientific computing
Andreas Weber
,
Gabor Simon
,
Wolfgang Küchlin
,
Jörg Hoss
Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing, CASC'2000 (Samarkand, Uzbekistan, October 5-9, 2000)
, 2000, pp. 409-422
Extending a Java based framework for scientific software-components
Manfred Göbel
,
Wolfgang Küchlin
,
Stefan Müller
,
Andreas Weber
Proceedings of the 2nd Workshop on Computer Algebra in Scientific Computing, CASC'99 (Munich, Germany, May 31 - June 4, 1999)
, 1999, pp. 207-222
The distributed object-oriented threads system DOTS
Wolfgang Blochinger
,
Wolfgang Küchlin
,
Andreas Weber
Lecture Notes in Computer Science
1457
, 1998, pp. 206-217
Workshop 7+20 - Numerical and symbolic algorithms
Maurice Clint
,
Wolfgang Küchlin
Lecture Notes in Computer Science
1470
, 1998, pp. 747-750
Algorithms and design for a second-order automatic differentiation module
Jason Abate
,
Christian Bischof
,
Lucas Roh
,
Alan Carle
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 149-155
A method for the integration of solutions of Ore equations
Sergei A. Abramov
,
Mark van Hoeij
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 172-175
Minimal completely factorable annihilators
Sergei A. Abramov
,
Eugene V. Zima
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 290-297
A class of logarithmic integrals
Victor Adamchik
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 1-8
A relatively optimal rational space curve reparametrization algorithm through canonical divisors
Carlos Andradas
,
Tomás Recio
,
J. Rafael Sendra
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 349-355
Uniform quantifier elimination and constraint query processing
Saugata Basu
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 21-27
Fraction-free computation of matrix Padé systems
Bernhard Beckermann
,
Stan Cabay
,
George Labahn
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 125-132
On symmetric powers of differential operators
Manuel Bronstein
,
Thom Mulders
,
Jacques-Arthur Weil
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 156-163
A survey of the Theorema project
Bruno Buchberger
,
Tudor Jebelean
,
Franz Kriftner
,
Mircea Marin
,
Elena Tomuţa
,
Daniela Vȃsaru
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 384-391
Families of ideals in statistics
Massimo Caboara
,
Lorenzo Robbiano
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 404-409
On the computation of conjugacy classes in permutation groups
John Cannon
,
Bernd Souvignier
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 392-399
Polynomial time algorithms for modules over finite dimensional algebras
Alexander Chistov
,
Gábor Ivanyos
,
Marek Karpinski
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 68-74
Relative resolvents and partition tables in Galois group computations
Antoine Colin
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 78-84
A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots
Robert M. Corless
,
Patrizia M. Gianni
,
Barry M. Trager
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 133-140
A Sequence of series for the Lambert
W
function
Robert M. Corless
,
David J. Jeffrey
,
Donald E. Knuth
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 197-204
An OpenMath 1.0 implementation
Stéphane Dalmas
,
Marc Gaêtano
,
Stephen Watt
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 241-248
About the Newton algorithm for non-linear ordinary differential equations
J. Della Dora
,
F. Richard-Jung
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 298-304
Guarded expressions in practice
Andreas Dolzmann
,
Thomas Sturm
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 376-383
Seiten 1
2
3
4
5
>