×

Found 40 Documents (Results 1–40)

Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system. (English) Zbl 1523.90077

Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 528-542 (2020).
MSC:  90B20 68W30 90C35
PDFBibTeX XMLCite
Full Text: DOI

A note on the need for radical membership checking in mechanical theorem proving in geometry. (English) Zbl 1411.68139

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 15th international workshop, CASC 2013, Berlin, Germany, September 9–13, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8136, 288-300 (2013).
MSC:  68T15 13A15 13P10 51M04 51N20 51N35 68W30
PDFBibTeX XMLCite
Full Text: DOI

A Groebner bases based many-valued modal logic implementation in Maple. (English) Zbl 1166.68359

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 170-183 (2008).
MSC:  68T35 68T27 68W30
PDFBibTeX XMLCite
Full Text: DOI

The genesis of Boole’s logic. Its history and a computer exploration. (English) Zbl 1183.03003

Memorias de la Real Academia de Ciencias Exactas, Físicas y Naturales de Madrid. Serie de Ciencias Exactas 33. Madrid: Real Academia de Ciencias Exactas, Físicas y Naturales (ISBN 978-84-87125-44-7/pbk). xi, 154 p. (2005).
PDFBibTeX XMLCite

Meta-Petro: an expert system for training undergraduates in metamorphic rocks recognition and classification using photomicrographies. (English) Zbl 1169.68627

Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12–16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 344-354 (2005).
PDFBibTeX XMLCite
Full Text: DOI

An expert system on detection, evaluation and treatment of hypertension. (English) Zbl 1109.68652

Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 251-264 (2004).
MSC:  68T35 68W30 92C50
PDFBibTeX XMLCite
Full Text: DOI

A symbolic computation-based expert system for Alzheimer’s disease diagnosis. (English) Zbl 1072.68614

Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 38-50 (2002).
MSC:  68T35 68W30 92C50
PDFBibTeX XMLCite
Full Text: Link

Geometric determination of the spheres which are tangent to four given ones. (English) Zbl 1055.68128

Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 2. Berlin: Springer (ISBN 3-540-43593-X). Lect. Notes Comput. Sci. 2330, 52-61 (2002).
MSC:  68U05 68W30
PDFBibTeX XMLCite
Full Text: Link

A computer algebra approach to relational systems using Gröbner bases. (English) Zbl 1027.68983

de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 124-133 (2002).
MSC:  68W30 68T35
PDFBibTeX XMLCite
Full Text: Link

Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem. (English) Zbl 1042.68129

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 157-173 (2001).
MSC:  68W30 68T15 03B35
PDFBibTeX XMLCite
Full Text: Link

George Boole, a forerunner of symbolic computation. (English) Zbl 1042.03002

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 1-19 (2001).
PDFBibTeX XMLCite
Full Text: Link

A method of logic deduction and verification in KBS using positive integers. (English) Zbl 1006.68132

Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22-26, 2001. Berlin: Springer. 461-475 (2001).
MSC:  68T35 68W30
PDFBibTeX XMLCite

Geometric interpretation of strong inconsistency in knowledge based systems. (English) Zbl 1073.68829

Ganzha, V. G. (ed.) et al., Computer algebra in scientific computing. CASC ’99. Proceedings of the 2nd workshop, Munich, Germany, May 31 - June 4, 1999. Berlin: Springer (ISBN 3-540-66047-X). 349-363 (1999).
MSC:  68T35 68W30 03B50
PDFBibTeX XMLCite

Multi-valued logics. Introducing propositional multi-valued logics with the help of a CAS. (English) Zbl 0946.03029

Gilbert, Robert P. (ed.) et al., Recent developments in complex analysis and computer algebra. Papers presented in special sessions of the ISAAC ’97 congress, Newark, DE, June 2-7, 1997. Dordrecht: Kluwer Academic Publishers. Int. Soc. Anal. Appl. Comput. 4, 277-290 (1999).
PDFBibTeX XMLCite

An algorithm for a criterion on no ramification. (Spanish. English summary) Zbl 0792.68069

Numerical analysis, computer science and mathematical physics, Proc. 15th Port.-Span. Meet. Math., Évora/Port. 1990, Vol. V, 221-226 (1991).
MSC:  68W30 14E22 13F20
PDFBibTeX XMLCite

An algorithm to compute the rank of Jacobian matrices and the ramification order. (Spanish. English summary) Zbl 0792.68070

Numerical analysis, computer science and mathematical physics, Proc. 15th Port.-Span. Meet. Math., Évora/Port. 1990, Vol. V, 215-220 (1991).
MSC:  68W30 14E22 65F35
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference