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.
- 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)
- 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.
(MONET members only)
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.
- 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,
ElenaSmirnova, Stephen Watt
An Approach to Mathematical Notation
MKM-2004, Phoenix, Arizona
Paper text (html) |
Presentation materials (pdf, 244K)
Development and implementation of algorithms for data processing in multivalued logics
The University Paris-XII Val de Marne, 2002
Abstract (en) |
Abstract (fr) |
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).
Full article (in PDF 151K)
D.Beauquier, N.Kossovski, E.Smirnova
An Algorithm For Solvability Testing Of Elementary Linear Inequalities Systems,
Abstracts of 6th IMACS International Conference On Applications Of Computer Algebra, IMACS ACA,
St.Petersburg, Russia, 2000. pp. 59-61, (in English, 3 pages).
Automatic theorem provers. Design et realization,
Materials of 5th International conference "Computer Science. Education. Ecology & Health",
Astrakhan, Russia, 2000. page 201, (in Russian,1 page).
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).
Presentation of the computer system for automatic proof construction,
Abstracts of reports for the 7th International conference "Regional Informatics - 2000",
RI-2000, St. Petersburg, Russia, 2000. p. 10, (in Russian, 1 page).
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).
Development of automatic theorem prover for classical and multilevel logic.
Materials of the All-Russian scientific conference "Informatics and Information Technologies in Education",
St.Petersburg, Russia, 2001, (in Russian, 5 pages).
Elena Smirnova and Stephen M. Watt
MathML to TeX Conversion: Conserving high-level semantics