Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A knowledge-based system for computer algebra - MaRDI portal

A knowledge-based system for computer algebra

From MaRDI portal

Publication:3777449

Jump to:navigation, search

DOI10.1145/24559.24560zbMath0637.68043OpenAlexW2071556910MaRDI QIDQ3777449

Jacques Calmet, Denis Lugiez

Publication date: 1987

Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/24559.24560

zbMATH Keywords

knowledge representation algebric specification meta knowledge

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

This page was built for publication: A knowledge-based system for computer algebra

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3777449&oldid=17322205"