loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
The SAD System in Three Dimensions
Timisoara, Romania
September 26-September 29
ISBN: 0-7695-2740-X
ASCII Text
x 
 
Anatoly Anisimov, Alexander Lyaletski, "The SAD System in Three Dimensions," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 85-88, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2006.75,
author = {Anatoly Anisimov and Alexander Lyaletski},
title = {The SAD System in Three Dimensions},
journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on},
volume = {0},
year = {2006},
isbn = {0-7695-2740-X},
pages = {85-88},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.75},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
TI - The SAD System in Three Dimensions
SN - 0-7695-2740-X
SP85
EP88
A1 - Anatoly Anisimov,
A1 - Alexander Lyaletski,
PY - 2006
KW - null
VL - 0
JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
ER -
 
Anatoly Anisimov, Kyiv National Taras Shevchenko University, Ukraine
Alexander Lyaletski, Kyiv National Taras Shevchenko University, Ukraine
In this paper, the approach to the development of deductive assistance based on the current state of the System for Automated Deduction, SAD, is described briefly. The SAD may be considered as a three-dimensional "shell" for deductive assistance in a formal natural language environment when solving a number of scientific and industrial tasks requiring automated theorem proving, verification of formal texts, construction of knowledge bases for formalized theories, integration of symbolic calculation with deduction, and so on.
Citation:
Anatoly Anisimov, Alexander Lyaletski, "The SAD System in Three Dimensions," synasc, pp.85-88, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.