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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

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, Austria. ISSN 2791-4267 (online). 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 = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}