Dongming Wang

Publications

1995

[Wang]

Algebraic Approaches to Geometric Reasoning

H. Hong, D. Wang, F. Winkler (ed.)

special issue of the journal "Annals of Mathematics and Artificial Intelligence" 13/1&2, 1 edition, March 1995. editor-in-chief M.C. Golumbic, publisher J.C. Baltzer AG, ISSN 1012-2443.

[bib]

@booklet{RISC3506,
author = {H. Hong and D. Wang and F. Winkler (ed.)},
title = {{Algebraic Approaches to Geometric Reasoning}},
language = {english},
series = {special issue of the journal "Annals of Mathematics and Artificial Intelligence"},
volume = {13},
number = {1&2},
publisher = {editor-in-chief M.C. Golumbic, publisher J.C. Baltzer AG},
isbn_issn = {ISSN 1012-2443},
year = {1995},
month = {March},
edition = {1},
translation = {0},
length = {0}
}

1994

[Wang]

Some Advances in Geometric and Algebraic Reasoning (Deliverable DII.4.2P)

Dongming Wang

Technical report no. 94-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1994. Published in MEDLAR II Report PPR2, Rome, Italy, July 25-27, 1994, pp. 205-220..

[bib]

@techreport{RISC1641,
author = {Dongming Wang},
title = {{Some Advances in Geometric and Algebraic Reasoning (Deliverable DII.4.2P)}},
number = {94-45},
year = {1994},
note = {Published in MEDLAR II Report PPR2, Rome, Italy, July 25-27, 1994, pp. 205--220.},
sponsor = { Austrian National Science Foundation project no. 9316 in the frame of Esprit Basic Research Project 6471, project MEDLAR II.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

1993

[Wang]

Automatic Generation of C++ Code for Neural Network Simulation

Stephan Dreiseitl, Dongming Wang

Technical report no. 93-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1993. Published in Proc. New Trends in Neural Computing, Mira/Cabestany/Pricto (eds.), Springer, LNCS, 1993, pp. 358-363..

[bib]

@techreport{RISC1700,
author = {Stephan Dreiseitl and Dongming Wang},
title = {{Automatic Generation of C++ Code for Neural Network Simulation}},
number = {93-38},
year = {1993},
note = {Published in Proc. New Trends in Neural Computing, Mira/Cabestany/Pricto (eds.), Springer, LNCS, 1993, pp. 358--363.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Solving Polynomial Equations: Characteristic Sets and Triangular Systems

Dongming Wang

Technical report no. 93-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1993. Published in Proc. Int. IMACS Symp. on Symbolic Computation, Lille, France, June 1993, pp. 3-9, G. Jacob, N.E. Oussous, S. Steinberg (eds.).

[bib]

@techreport{RISC1701,
author = {Dongming Wang},
title = {{Solving Polynomial Equations: Characteristic Sets and Triangular Systems}},
number = {93-39},
year = {1993},
note = {Published in Proc. Int. IMACS Symp. on Symbolic Computation, Lille, France, June 1993, pp. 3--9, G. Jacob, N.E. Oussous, S. Steinberg (eds.)},
sponsor = { Esprit Basic Research Actions 3125 project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Geometry Theorem Proving with Existing Technology

Dongming Wang

Technical report no. 93-40 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1993. Published in Medlar II 12-month deliverables, Leeds, England, July 1993.

[bib]

@techreport{RISC1702,
author = {Dongming Wang},
title = {{Geometry Theorem Proving with Existing Technology}},
number = {93-40},
year = {1993},
note = {Published in Medlar II 12-month deliverables, Leeds, England, July 1993},
sponsor = { Esprit Basic Research Actions 3125 project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

1992

[Wang]

Computer Aided Analysis and Derivation

Dongming Wang, Bernd Sch{\"u}rmann

Technical report no. 92-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992. Published in IEEE Transactions on Software Engineering. To appear.

[bib]

@techreport{RISC1740,
author = {Dongming Wang and Bernd Sch{\"u}rmann},
title = {{Computer Aided Analysis and Derivation}},
number = {92-04},
year = {1992},
note = {Published in IEEE Transactions on Software Engineering. To appear},
sponsor = {Siemens AG Munich, Dept. ZFE IS INF 2},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Some Improvements on Wu's Method for Solving Systems of Algebraic Equations

Dongming Wang

Technical report no. 92-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992. Published in Proc.\ Int. Workshop on Math. Mechanization, Beijing, China, July 16-18, 1992. To appear..

[bib]

@techreport{RISC1757,
author = {Dongming Wang},
title = {{Some Improvements on Wu's Method for Solving Systems of Algebraic Equations}},
number = {92-21},
year = {1992},
note = {Published in Proc.\ Int. Workshop on Math. Mechanization, Beijing, China, July 16-18, 1992. To appear.},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Manipulating Uncertain Mathematical Objects: The Case of Indefinite Sums and Products

Wei Shen, Bernhard Wall, Dongming Wang

Technical report no. 92-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992. Published in Proc.\ DISCO'92, April 13-15, 1992, Bath, England. To appear..

[bib]

@techreport{RISC1759,
author = {Wei Shen and Bernhard Wall and Dongming Wang},
title = {{Manipulating Uncertain Mathematical Objects: The Case of Indefinite Sums and Products}},
number = {92-23},
year = {1992},
note = {Published in Proc.\ DISCO'92, April 13-15, 1992, Bath, England. To appear.},
sponsor = { Siemens AG Munich, Dept. ZFE IS INF 2},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

A Strategy for Speeding-up the Computation of Characteristic Sets

Dongming Wang

Technical report no. 92-26 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992. Published in Proceedings of the $17^{th}$ International Symposium on Mathematical Foundations of Computer Science, Prague, CSFR, August 1992. To appear as Springer LNCS..

[bib]

@techreport{RISC1762,
author = {Dongming Wang},
title = {{A Strategy for Speeding-up the Computation of Characteristic Sets}},
number = {92-26},
year = {1992},
note = {Published in Proceedings of the $17^{th}$ International Symposium on Mathematical Foundations of Computer Science, Prague, CSFR, August 1992. To appear as Springer LNCS.},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Irreducible Decomposition of Algebraic Varieties via Characteristic Sets and Gr{\"o}bner Bases

Dongming Wang

Technical report no. 92-55 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992. Published in Computer Aided Geometric Design. To appear..

[bib]

@techreport{RISC1788,
author = {Dongming Wang},
title = {{Irreducible Decomposition of Algebraic Varieties via Characteristic Sets and Gr{\"o}bner Bases}},
number = {92-55},
year = {1992},
note = {Published in Computer Aided Geometric Design. To appear.},
sponsor = { Austrian Ministery of Science, project no.\ 160.006/2-26/89, in the frame of Esprit Basic Research Actions 3125 project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

AAGR'92: Algebraic Approaches to Geometric Reasoning (Abstracts)

Hoon Hong, Dongming Wang, Franz WINKLER (eds.)

Technical report no. 92-58 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992. Published in Workshop AAGR'92, August 17-19, 1992, Castle of Weinberg, Austria..

[bib]

@techreport{RISC1791,
author = {Hoon Hong and Dongming Wang and Franz WINKLER (eds.)},
title = {{AAGR'92: Algebraic Approaches to Geometric Reasoning (Abstracts)}},
number = {92-58},
year = {1992},
note = {Published in Workshop AAGR'92, August 17-19, 1992, Castle of Weinberg, Austria.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Project Report on Symbolic Computation for Neural Networks

Dongming Wang

Technical report no. 92-60 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1992.

[bib]

@techreport{RISC1793,
author = {Dongming Wang},
title = {{Project Report on Symbolic Computation for Neural Networks}},
number = {92-60},
year = {1992},
sponsor = {Siemens AG Munich.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

1991

[Wang]

Computer Algebra and Neurodynamics

Bernd Sch{\"u}rmann, Dongming Wang

Technical report no. 91-56 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991. Published in Proc. Arbeitsgespraech Physik und Informatik - Informatik und Physik, Munich, Nov. 21-22, 1991..

[bib]

@techreport{RISC1826,
author = {Bernd Sch{\"u}rmann and Dongming Wang},
title = {{Computer Algebra and Neurodynamics}},
number = {91-56},
year = {1991},
note = {Published in Proc. Arbeitsgespraech Physik und Informatik -- Informatik und Physik, Munich, Nov. 21-22, 1991.},
sponsor = { Siemens AG Munich, Dept. ZFE IS INF 2},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

On Wu's Method for Solving Systems of Algebraic Equations

Dongming Wang

Technical report no. 91-52 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991.

[bib]

@techreport{RISC1830,
author = {Dongming Wang},
title = {{On Wu's Method for Solving Systems of Algebraic Equations}},
number = {91-52},
year = {1991},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR,},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Reasoning About Geometric Problems Using Algebraic Methods

Dongming Wang

Technical report no. 91-51 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991. Published in Proc. MEDLAR 24-Month Review Workshop, Grenoble, France, December 1991..

[bib]

@techreport{RISC1831,
author = {Dongming Wang},
title = {{Reasoning About Geometric Problems Using Algebraic Methods}},
number = {91-51},
year = {1991},
note = {Published in Proc. MEDLAR 24-Month Review Workshop, Grenoble, France, December 1991.},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR,},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

Computer Aided Investigations of Artificial Neural Systems

Bernd Sch{\"u}rmann, Dongming Wang

Technical report no. 91-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991. Published in Proceedings Int. Joint Conference on Neural Networks, IJCNN'91, Singapore, November 18-21, 1991. To appear..

[bib]

@techreport{RISC1844,
author = {Bernd Sch{\"u}rmann and Dongming Wang},
title = {{Computer Aided Investigations of Artificial Neural Systems}},
number = {91-38},
year = {1991},
note = {Published in Proceedings Int. Joint Conference on Neural Networks, IJCNN'91, Singapore, November 18-21, 1991. To appear.},
sponsor = { Siemens AG Munich and Austrian Ministery of Science (Project "Parallel Computation on Workstation Networks").},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

On the Parallelization of Characteristic-Set-Based Algorithms

Dongming Wang

Technical report no. 91-30 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991. Published in Proc.\ 1st Int.\ conf.\ ACPC, Salzburg, Austria, 1991, to appear..

[bib]

@techreport{RISC1851,
author = {Dongming Wang},
title = {{On the Parallelization of Characteristic-Set-Based Algorithms}},
number = {91-30},
year = {1991},
note = {Published in Proc.\ 1st Int.\ conf.\ ACPC, Salzburg, Austria, 1991, to appear.},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR, and project ``Parallel Computation on Workstation Networks''.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

An Implementation of the Characteristic Set Method in Maple

Dongming Wang

Technical report no. 91-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991.

[bib]

@techreport{RISC1856,
author = {Dongming Wang},
title = {{An Implementation of the Characteristic Set Method in Maple}},
number = {91-25},
year = {1991},
sponsor = { BWF project number 160.006/2-26/89 in the frame of the Esprit Basic Research Actions 3125 Project MEDLAR.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

[Wang]

A Toolkit for Manipulating Indefinite Summations Application to Neural Networks

Dongming Wang

Technical report no. 91-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1991.

[bib]

@techreport{RISC1858,
author = {Dongming Wang},
title = {{A Toolkit for Manipulating Indefinite Summations Application to Neural Networks}},
number = {91-23},
year = {1991},
sponsor = { Siemens AG Munich},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

1990

[Wang]

Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables

Dongming Wang

Technical report no. 90-37 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 1990.

[bib]

@techreport{RISC1904,
author = {Dongming Wang},
title = {{Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables}},
number = {90-37},
year = {1990},
sponsor = { Siemens AG Munich},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}