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
[3]
Hilfe
Suche: Author="Wang, Dongming"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A new algorithmic scheme for computing characteristic sets
Meng Jin
,
Xiaoliang Li
,
Dongming Wang
Journal Symbolic Computation
50
, 2013, pp. 431-449
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case
Chenqi Mou
,
Dongming Wang
,
Xiaoliang Li
Theoretical Computer Science
468
, 2013, pp. 102-113
Improving angular speed uniformity by optimal
C^0
piecewise reparameterization
Jing Yang
,
Dongming Wang
,
Hoon Hong
Lecture Notes in Computer Science
7442
, 2012, pp. 349-360
Solution formulas for cubic equations without or with constraints
Ting Zhao
,
Dongming Wang
,
Hoon Hong
Journal Symbolic Computation
46
(8), 2011, pp. 904-918
Computing super-irreducible forms of systems of linear differential equations via Moser-reduction: A new approach
Moulay A. Barkatou
,
Eckhard Pflügel
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 1-8
Structured matrix-based methods for polynomial
\in
-GCD: Analysis and comparisons
Dario A. Bini
,
Paola Boito
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 9-16
Integer and polynomial multiplication: Towards optimal Toom-Cook matrices
Marco Bodrato
,
Alberto Zanoni
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 17-24
Differential equations for algebraic functions
Alin Bostan
,
Frédéric Chyzak
,
Bruno Salvy
,
Grégoire Lecerf
,
Éric Schost
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 25-32
Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank
Alin Bostan
,
Claude-Pierre Jeannerod
,
Éric Schost
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 33-40
Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: An application of computer algebra to nonassociative systems
Murray R. Bremner
,
Michael J. Hancock
,
Yunfeng Piao
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 41-48
G-graphs for the cage problem: A new upper bound
Alain Bretto
,
Luc Gillibert
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 49-53
The complexity of quantifier elimination and cylindrical algebraic decomposition
Christopher W. Brown
,
James H. Davenport
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 54-60
Differential forms in computational algebraic geometry
Peter Bürgisser
,
Peter Scheiblechner
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 61-68
Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear Syzygies
Laurent Busé
,
Marc Dohm
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 69-76
A canonical form for piecewise defined functions
Jacques Carette
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 77-84
Complete numerical isolation of real zeros in zero-dimensional triangular systems
Jin-San Cheng
,
Xiao-Shan Gao
,
Chee-Keng Yap
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 92-99
Time-and space-efficient evaluation of some hypergeometric constants
Howard Cheng
,
Guillaume Hanrot
,
Emmanuel Thomé
,
Paul Zimmermann
,
Eugene Zima
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 85-91
Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition
Serena Cicalò
,
Willem de Graaf
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 100-107
Jeffery-Hamel flow with Maple: A case study of integration of elliptic functions in a CAS
Robert M. Corless
,
Dawit Assefa
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 108-115
The solution of
S
exp(
S
) =
A
is not always the Lambert
W
function of
A
Robert M. Corless
,
Hui Ding
,
Nicholas J. Higham
,
David J. Jeffrey
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 116-121
Gröbner bases: A sampler of recent developments
David A. Cox
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 387-388
A Gröbner fan method for biochemical network modeling
Elena S. Dimitrova
,
Abdul Salam Jarrah
,
Reinhard Laubenbacher
,
Brandilyn Stigler
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 122-126
On the complexity of real solving bivariate systems
Dimitrios I. Diochnos
,
Ioannis Z. Emiris
,
Elias P. Tsigaridas
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 127-134
Towards a new ODE solver based on Cartan's equivalence method
Raouf Dridi
,
Michel Petitot
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 135-142
Faster inversion and other black box matrix computations using efficient block projections
Wayne Eberly
,
Mark Giesbrecht
,
Pascal Giorgi
,
Arne Storjohann
,
Gilles Villard
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 143-150
Seiten 1
2
3
>