Publications

  1. (new) Clare M. So, Elena Smirnova, Stephen M. Watt. An Architecture for Distributed Mathematical Web Services, in: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Eds.): Mathematical Knowledge Management, Third International Conference, MKM 2004/LNCS 3119 Springer-Verlag, 2004. pages 363-377

  2. Elena Smirnova, Stephen M. Watt. Symbolic Solver Services. Wrapper Tools Release Candidate. Technical Report for MONET Project: Public Deliverable 23, The MONET Consortium (IST-2001-34145), 2004, 61 pages. PDF, 425K (MONET members only)

  3. Walter Barbera-Medina, Elena Smirnova, Clare M. So and Stephen M. Watt. Symbolic Service Release Candidate. Technical Report for MONET Project: Public Deliverable 21, The MONET Consortium (IST-2001-34145), 2004,35 pages. PDF, 230K (MONET members only)

  4. Smirnova, S.M. Watt. Using Computer Algebra Systems In The Development of Mathematical Web Services, East Coast Computer Algebra Day 2004 (ECCAD), May 2004, Wilfrid Laurier University, Waterloo ON, Canada,
    http://www.cargo.wlu.ca/e-ECCAD2004/main.pdf, page 12.

  5. E. Smirnova, Clare M. So, S.M. Watt. Providing mathematical Web Services Using Maple in the MONET Architecture, MONET Workshop University of Bath, 16-17 March 2004, http://monet.nag.co.uk/cocoon/monet/proceedings/MONET-UWO.pdf

  6. ElenaSmirnova, Stephen Watt
    An Approach to Mathematical Notation
    MKM-2004, Phoenix, Arizona
    Paper text (html) | Presentation materials (pdf, 244K)

  7. E.Smirnova
    Development and implementation of algorithms for data processing in multivalued logics
    PhD. Thesis
    The University Paris-XII Val de Marne, 2002
    Abstract (en) | Abstract (fr) | Abstract (rus)

  8. E.Smirnova
    Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge (Eds.):
    Artificial Intelligence, Automated Reasoning, and Symbolic Computation
    Joint International Conference, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002. Proceedings LNAI 2385, p64, ff.
    Marseille, France, 2002, (in English, 12 pages).
    Abstract | Full article (in PDF 151K)


  9. D.Beauquier, N.Kossovski, E.Smirnova
    An Algorithm For Solvability Testing Of Elementary Linear Inequalities Systems,
    in: Abstracts of 6th IMACS International Conference On Applications Of Computer Algebra, IMACS ACA, St.Petersburg, Russia, 2000. pp. 59-61, (in English, 3 pages).

  10. E.Smirnova
    Automatic theorem provers. Design et realization,
    in: Materials of 5th International conference "Computer Science. Education. Ecology & Health", Astrakhan, Russia, 2000. page 201, (in Russian,1 page).

  11. E.Smirnova, N.Kossovski
    An algorithm for solvability testing of linear inequalities systems of special types
    Materials of 4th symposium for young scientists on discrete mathematics and its application, Moscow, Russia, 2000, pp. 74-81, (in Russian, 8 pages).

  12. N.Kossovski, E.Smirnova
    Presentation of the computer system for automatic proof construction,
    in: Abstracts of reports for the 7th International conference "Regional Informatics - 2000", RI-2000, St. Petersburg, Russia, 2000. p. 10, (in Russian, 1 page).

  13. N.Kossovski, E.Smirnova,
    System of automatic proof in multilevel and classical logic,
    Materials of the 7th International conference "Regional Informatics - 2000", RI-2000, St. Petersburg, Russia, 2001, (in Russian, 8 pages).

  14. E.Smirnova
    Development of automatic theorem prover for classical and multilevel logic.
    in: Materials of the All-Russian scientific conference "Informatics and Information Technologies in Education", St.Petersburg, Russia, 2001, (in Russian, 5 pages).

  15. Elena Smirnova and Stephen M. Watt
    MathML to TeX Conversion: Conserving high-level semantics
    **Demo description**

Blind Type Simulator

ORCCA MathML Group
curriculum vitae
to main page
some links
photo gallery
e-mail
to main page | me@ORCCA page | curriculum vitae | photo gallery | some links | e-mail