Skip to main content
SpringerLink
Log in

The Applications Within the ATES Project

  • Chapter
The Programming and Proof System ATES

Part of the book series: Research Reports ESPRIT ((2402,volume 1))

  • 41 Accesses

Abstract

Generating application software can be considered as one final aim of a programming system. In the area of scientific applications, it was chosen to evaluate the ATES system by writing two applications using the Finite Element Method.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. “ATES Specifications of the programming language”, ESPRIT Project 1 222 (1 158) Report, (June 1987).

    Google Scholar 

  2. Hittinger, M.: Description of the application and Simple example for the application. ESPRIT Project 1 222 (1 158) Report R6, Cisi France, (June 1986).

    Google Scholar 

  3. Cate, H.H. ten, Gilding, B.H.: Requirements placed on Scientific Library by the Applications. ESPRIT Project 1 222 (1 158) Report R7, Faculty of Applied Mathematics, University of Twente, (January 1988).

    Google Scholar 

  4. Cate, H.H. ten, Gilding, B.H.: Specifications of the Scientific Library. ESPRIT Project 1 222 (1 158) Report R8, Faculty of Applied Mathematics, University of Twente, (April 1988).

    Google Scholar 

  5. Remouchamps, A., Desroches, X., Pirotte, O., Beckers P.: Description of the Scientific Library (User’s Manual), ESPRIT Project 1 222 (1 158) Report R12, Faculty of Applied Sciences, University of Liege, (May 1989).

    Google Scholar 

  6. Remouchamps, A., Pirotte, O., Beckers, P.: The First Application. ESPRIT Project 1 222 (1 158) Report R9, Faculty of Applied Sciences, University of Liege, (May 1989).

    Google Scholar 

  7. SAMCEF, Manuels: Module de réponse thermique non linéaire: THERNL. Version 2.0, (1987).

    Google Scholar 

  8. SAMCEF, Manuels: Module de pré et post-traitement graphique: BACON. Version 2.0, (1987).

    Google Scholar 

  9. Joly, P.: Résolutions de systèmes linéaires. Université Pierre et Marie Curie, PARIS VI.

    Google Scholar 

  10. Dhatt-Touzot: Une présentation de la méthode des éléments finis.

    Google Scholar 

  11. Ciarlet: The finite Element Method for elliptic problems. North-Holland, Amsterdam (1978).

    MATH  Google Scholar 

  12. Stroud: Approximate Calculation of Multiple Integrals. Prentice-Hall, Englewood Cliffs (1971).

    MATH  Google Scholar 

  13. Schroeder, W.J., Shephard, M.S.: A combined Octree/Delaunay method for fully automatic 3-D mesh generation. Int. J. for Num. Meth. in Eng., Vol 29, 37–55 (1990).

    Article  MATH  Google Scholar 

  14. Schroeder, W.J., Shephard, M.S.: Geometry-based fully automatic mesh generation and the Delaunay triangulation. Int. J. for Num. Meth. in Eng., Vol 26, 2503–2515 (1988).

    Article  MATH  MathSciNet  Google Scholar 

  15. Hermeline, F.: Une méthode automatique de maillage en dimension N. Thèse de Doctorat (Pierre et Marie-Curie, Paris 6) 1980.

    Google Scholar 

  16. Hermeline, F.: Triangulation automatique d’un polyèdre en dimension N. R.A.I.R.O. Ana. Num./Num. Ana. Vol 16, Nr 3, 1982, 211–242.

    MATH  MathSciNet  Google Scholar 

  17. Cherfils, C., Hermeline, F.: Procédures de changement de diagonale et triangulations de Delaunay. CEA-N-2577, (october 1988).

    Google Scholar 

  18. Georges, P.L., Hecht, F., Saltel, E.: Tétraèdrisation automatique et respect de la frontière. INRIA, N° 835 (april 1988).

    Google Scholar 

  19. Georges, P.L., Hermeline, F.: Maillage de Delaunay d’un polyèdre convexe en dimension d. Extension à un polyèdre quelconque. INRIA, N° 969 (february 1989).

    Google Scholar 

  20. George, P.L.: Mailleur 3D par découpage. Structure d’éléments grossiers. INRIA. N°990 (march 1989).

    Google Scholar 

  21. George, P.L., Hecht, F., Saltel, E.; Maillage automatique de domaines tridimensionnels quelconques. INRIA, Preprint mars 1989 + INRIA, N° 1021 (april 1989).

    Google Scholar 

  22. Pirotte, O., Remouchamps, A., Beckers, P.: Synthèse des deux applications: calcul thermique & générateur de maillage 3D. (ESPRIT Project 1222 (1158), Internal Report. SF-156, LTAS, (august 1990).

    Google Scholar 

  23. Lawson, Ch. L.: Properties of n-dimensional triangulations. Comp. Aided Geometric Des., 3, 231–246, (1986).

    Article  MATH  MathSciNet  Google Scholar 

  24. Klee, V.: On the complexity of d-dimensional Voronoï diagrams. Arch. der Math. Vol 34, 75–80, (1980).

    Article  MATH  MathSciNet  Google Scholar 

  25. Cavendish, J.C., Field, D.A., Frey, W. H.: An approach to automatic three-dimensional finite element mesh generation. Int. Jour. for Numerical Methods in Engineering Vol 21, 329–347, (1985).

    Article  MATH  Google Scholar 

  26. Pirotte, O., Remouchamps, A., Beckers, P.: Utilisation d’un nouveau langage de programmation dans le domaine des éléments finis. ESPRIT Project 1222 (1158), Internal Report SF-155, LTAS, (august 1990).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CISI Ingénierie, 3 Rue Le Corbusier, SILIC 232, F-94528, Rungis Cedex, France

    Armand Puccetti

Authors
  1. Armand Puccetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CISI Ingénierie, 3 Rue Le Corbusier, SILIC 232, F-94528, Rungis Cedex, France

    Armand Puccetti

Rights and permissions

Reprints and permissions

Copyright information

© 1991 ECSC - EEC - EAEC, Brussels - Luxembourg

About this chapter

Cite this chapter

Puccetti, A. (1991). The Applications Within the ATES Project. In: Puccetti, A. (eds) The Programming and Proof System ATES. Research Reports ESPRIT, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84542-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-84542-0_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54188-2

  • Online ISBN: 978-3-642-84542-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation