Iris: design of an user interface program for symbolic algebra
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
MathScribe: a user interface for computer algebra systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
GI/S: A graphical user interface for symbolic computation systems
Journal of Symbolic Computation
CaminoReal: an interactive mathematical notebook
Proceedings of the International Conference on Electronic Publishing on Document manipulation and typography
SUI: a system independent user interface for an integrated scientific computing environment
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Programming perl
Integrated software components: a paradigm for control integration
Proceedings of the European symposium on Software development environments and CASE technology
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
The design of SISYPHE: a system for doing symbolic and algebraic computations
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Building graphic user interfaces for Computer Algebra Systems
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Building a Computer Algebra Environment by Composition of Collaborative Tools
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Specifying the Behavior of Graphical Objects Using Esterel
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Polylith: An environment to support management of tool interfaces
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
User interfaces for symbolic computation: a case study
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Some human interaction issues in computer algebra
ACM SIGSAM Bulletin
MP: a protocol for efficient exchange of mathematical expressions
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Some human interaction issues in computer algebra
ACM SIGCHI Bulletin
Fast floating-point processing in Common Lisp
ACM Transactions on Mathematical Software (TOMS)
STAR/MPI: binding a parallel library to interactive symbolic algebra systems
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Mathematical typesetting in Mathematica
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Theorems and algorithms: an interface between Isabelle and Maple
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Tools for parallel/distributed mathematical computation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Design of a customizable component to display and edit formulas
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Advanced notations in mathematica
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
IAMC architecture and prototyping: a progress report
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
Computer algebra handbook
Simple object oriented designed computer algebra system
Journal of Computational Methods in Sciences and Engineering - Intelligent Systems and Knowledge Management
Hi-index | 0.00 |