×

Found 47 Documents (Results 1–47)

Decomposing polynomial systems into strong regular sets. (English) Zbl 1012.68231

Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 361-371 (2002).
MSC:  68W30
PDFBibTeX XMLCite

Automated production of readable proofs for theorems in non-Euclidean geometries. (English) Zbl 0910.03011

Wang, Dongming (ed.), Automated deduction in geometry. International workshop, Toulouse, France, September 27–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1360, 171-188 (1998).
MSC:  03B35 51M10 51-04 68T15
PDFBibTeX XMLCite

Searching dependency between algebraic equations: An algorithm applied to automated reasoning. (English) Zbl 0808.68069

Johnson, Jeffrey (ed.) et al., Artificial intelligence in mathematics. Based on the proceedings of a conference, organized by The Institute of Mathematics and its Applications hosted by the University of Strathclyde, Glasgow, GB, and the Turing Institute in April 1991. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 51, 147-156 (1994).
MSC:  68W30 68T15 51-04
PDFBibTeX XMLCite

A criterion for dependency of algebraic equations and its application to automated theorem proving. (English) Zbl 0940.12500

Li, Zhong (ed.) et al., Proceedings of the Asian mathematical conference 1990, Hong Kong, August 14-18, 1990. Singapore: World Scientific. 548-553 (1992).
MSC:  12D10 03B35 14A25 68T15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field