×

Found 3 Documents (Results 1–3)

Using Theorema in the formalization of theoretical economics. (English) Zbl 1335.68231

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 58-73 (2011).
MSC:  68T15 91-04
PDFBibTeX XMLCite
Full Text: DOI

\(\Omega\)mega: towards a mathematical assistant. (English) Zbl 1430.68393

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 252-255 (1997).
MSC:  68V15 68V20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software