Advertisement

Introduction

  • Jochen Pfalzgraf
  • Dongming Wang
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)

Abstract

This book presents a collection of articles with topics linked to the working areas of a project named MEDLAR in which both the editors are actively involved. The authors of all the contributions are currently working or worked at the Research Institute for Symbolic Computation, Johannes Kepler University Linz (RISC-Linz).

Keywords

Imperial College Symbolic Computation Deductive System Cylindrical Algebraic Decomposition Basic Research Action 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. MEDLAR (1989/1992): Mechanizing deduction in the logics of practical reasoning. Technical Annex of ESPRIT BRA 3125, Department of Computing, Imperial College, University of London (also as Tech. Rep. RISC Linz 89-49.0); Technical Annex of ESPRIT BRP 6471, Department of Computing, Imperial College, University of London.Google Scholar
  2. MEDLAR (1990): Medlar milestone 1 deliverables (Proceedings of the 12-Month Workshop, Weinberg Castle, Austria, November 4–7, 1990). Department of Computing, Imperial College, University of London.Google Scholar
  3. MEDLAR (1991): Proceedings of the 24-Month Medlar Workshop (Grenoble, France, December 8–11, 1991). Department of Computing, Imperial College, University of London.Google Scholar
  4. MEDLAR (1993a): Medlar final progress report. Department of Computing, Imperial College, University of London.Google Scholar
  5. MEDLAR (1993b): Medlar II report PPR1 (Proceedings of the 12-Month Workshop, Leeds, UK, July 4–7, 1993). Department of Computing, Imperial College, University of London.Google Scholar
  6. Gabbay, D. (1990): Labelled deductive systems, part I. CIS, University of Munich, CIS-Bericht 90-22.Google Scholar
  7. Pfalzgraf, J. (1991): Logical fiberings and polycontextural systems. In: Jorrand, P., Kelemen, J. (eds.): Fundamentals of artificial intelligence research. Springer, Berlin Heidelberg New York Tokyo, pp. 170–184 (Lecture notes in computer science, vol. 535).CrossRefGoogle Scholar
  8. Pfalzgraf, J. (1993): On mathematical modeling in robotics. In: Calmet, J., Campbell, J. A. (eds.): Artificial intelligence and symbolic mathematical computing. Springer, Berlin Heidelberg New York Tokyo, pp. 116–132 (Lecture notes in computer science, vol. 737).CrossRefGoogle Scholar
  9. Pfalzgraf, J. (1995): On geometric and topological reasoning in robotics. Ann. Math. Artif. Intell. (to appear).Google Scholar
  10. Pfalzgraf, J., Stokkermans, K. (1993): Scenario construction continued and extended with a view to test and enhancement of reasoning methods. Tech. Rep. RISC Linz 92-27 [also in: MEDLAR (1993a): Medlar final progress report. Department of Computing, Imperial College, University of London].Google Scholar
  11. Pfalzgraf, J., Stokkermans, K., Wang, D. M. (1990): The robotics benchmark. In: MEDLAR (1990): Medlar milestone 1 deliverables. Department of Computing, Imperial College, University of London.Google Scholar
  12. Pfalzgraf, J., Sigmund, U., Stokkermans, K. (1993): Comparison of two approaches to modeling robotics scenarios. Tech. Rep. RISC Linz 93-56.Google Scholar
  13. Schicho, J. (1992): On the choice of pencils in the parametrization of curves. J. Symb. Comput. 14: 557–576.MathSciNetMATHGoogle Scholar
  14. Schicho, J. (1994): An algorithm for the parametrization of rational surfaces. Ph.D. thesis, University of Linz, Linz, Austria.Google Scholar
  15. Stokkermans, K. (1991): A categorical approach to critical-pair/completion procedures. Tech. Rep. RISC Linz 91-58.Google Scholar
  16. Stokkermans, K. (1993): A categorical formulation for critical-pair/completion procedures. In: Rusinowitch, M., Rémy, J.-L. (eds.): Conditional term rewriting systems. Springer, Berlin Heidelberg New York Tokyo, pp. 328–342 (Lecture notes in computer science, vol. 656).CrossRefGoogle Scholar
  17. Wang, D. M. (1991): Reasoning about geometric problems using algebraic methods. Tech. Rep. RISC Linz 91-51.0 [also in MEDLAR (1991): Proceedings of the 24-Month Medlar Workshop. Department of Computing, Imperial College, University of London].Google Scholar
  18. Wang, D. M. (1992a): On the parallelization of characteristic-set-based algorithms. In: Zima, H. P. (ed.): Parallel computation. Springer, Berlin Heidelberg New York Tokyo, pp. 338–349 (Lecture notes in computer science, vol. 591).CrossRefGoogle Scholar
  19. Wang, D. M. (1992b): Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases. Comput. Aided Geom. Des. 9: 471–484.MATHCrossRefGoogle Scholar
  20. Wang, D. M. (1992c): Some improvements on Wu’s method for solving systems of algebraic equations. In: Wu, W.-T., Cheng, M.-D. (eds.): Proceedings of the International Workshop on Mathematics Mechanization, Beijing, China, July 16–18, 1992, pp. 89–100.Google Scholar
  21. Wang, D. M. (1992d): A strategy for speeding-up the computation of characteristic sets. In: Havel, I. M., Koubek, V. (eds.): Mathematical foundations of computer science. Springer, Berlin Heidelberg New York Tokyo, pp. 504–510 (Lecture notes in computer sciences, vol. 629).CrossRefGoogle Scholar
  22. Wang, D. M. (1993a): An elimination method based on Seidenberg’s theory and its applications. In: Eyssette, F., Galligo, A. (eds.): Computational algebraic geometry. Progr. Math. 109: 301–328.Google Scholar
  23. Wang, D. M. (1993b): Geometry theorem proving with existing technology. Tech. Rep. RISC Linz 93-40 [also in: MEDLAR (1993b): Medlar II report PPR1. Department of Computing, Imperial College, University of London].Google Scholar
  24. Wang, D. M. (1993c): An elimination method for polynomial systems. J. Symb. Comput. 16: 83–114.MATHCrossRefGoogle Scholar
  25. Wang, D. M. (1993d): Solving polynomial equations: characteristic sets and triangular systems. In: Jacob, G., Oussous, N. E., Steinberg, S. (eds.): Proceedings of the International IMACS Symposium on Symbolic Computation, Lille, France, June 14–17, 1993, pp. 3–9.Google Scholar

Copyright information

© Springer-Verlag Wien 1995

Authors and Affiliations

  • Jochen Pfalzgraf
  • Dongming Wang

There are no affiliations available

Personalised recommendations