Speed and data structures in computer algebra systems
ACM SIGSAM Bulletin
Lookup tables, recurrences and complexity
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Automatic reasoning about numerical stability of rational expressions
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Object-oriented programming for linear algebra
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
MediaView: a general multimedia digital publication system
Communications of the ACM - Special issue on computer graphics: state of the arts
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
A general framework for Bi-directional translation between abstract and pictorial data
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
Some simple ways to construct and to use formulas mechanically
ACM SIGSAM Bulletin
Using pictorial and object oriented programming for computer algebra
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
CONDOR: constraint-based dataflow
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Portable vectorized software for Bessel function evaluation
ACM Transactions on Mathematical Software (TOMS)
The role of computer software in numerical analysis teaching
ACM SIGNUM Newsletter
Universality of iterated networks
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
CAS/PI: a portable and extensible interface for computer algebra systems
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A general framework for bidirectional translation between abstract and pictorial data
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
Algorithm 719: Multiprecision translation and execution of FORTRAN programs
ACM Transactions on Mathematical Software (TOMS)
End-user programming language: the CHI'92 workshop report
ACM SIGCHI Bulletin
Abotec: an automated back-of-the-envelope calculator
ACM SIGPLAN Notices
Implementing progress indicators for recursive algorithms
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
On-line algorithms for cache sharing
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Processor allocation in parallel battlefield simulation
WSC '92 Proceedings of the 24th conference on Winter simulation
User interfaces for symbolic computation: a case study
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
The fast staggered transform, composite symmetries, and compact symmetric algorithms
IBM Journal of Research and Development
Some human interaction issues in computer algebra
ACM SIGSAM Bulletin
Some human interaction issues in computer algebra
ACM SIGCHI Bulletin
Teaching elementary queueing theory with a computer algebra system
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Mathematical typesetting in Mathematica
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
IEEE/ACM Transactions on Networking (TON)
CTADEL: a generator of multi-platform high performance codes for PDE-based scientific applications
ICS '96 Proceedings of the 10th international conference on Supercomputing
Hardware Starting Approximation Method and Its Application to the Square Root Operation
IEEE Transactions on Computers
A new optimization technique for improving resource exploitation and critical path minization
ISSS '97 Proceedings of the 10th international symposium on System synthesis
International Journal of Computer Vision
A systems theoretic approach to behavioural modeling and simulation of analog functional blocks
Proceedings of the conference on Design, automation and test in Europe
Coverage criteria for GUI testing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Frontiers for computer science in computational science
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
ACM Transactions on Mathematical Software (TOMS)
Windows scheduling problems for broadcast systems
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Design, implementation and testing of extended and mixed precision BLAS
ACM Transactions on Mathematical Software (TOMS)
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation
Journal of Automated Reasoning
Journal of Automated Reasoning
A Machine-Checked Implementation of Buchberger's Algorithm
Journal of Automated Reasoning
Statistics and Computing
Verifying the SRT Division Algorithm Using Theorem Proving Techniques
Formal Methods in System Design
Visualization of Geometric Algorithms
IEEE Transactions on Visualization and Computer Graphics
An Interpersonal Multimedia Visualization System
IEEE Computer Graphics and Applications
Synthesis of Mathematical-Modeling Software
IEEE Software
Constructing Applications from Reusable Components
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Using Symbolic Computation to Find Algebraic Invariants
IEEE Transactions on Pattern Analysis and Machine Intelligence
Flow Control for Limited Buffer Multicast
IEEE Transactions on Software Engineering
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
The power-pSteiner tree problem
Nordic Journal of Computing
Estimating Computer Performance for Parallel Sparse QR Factorisation
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
On quadrature for Cauchy principal value integrals of oscillatory functions
Journal of Computational and Applied Mathematics
Computer algebra handbook
An interpersonal multimedia visualization system
VIS '90 Proceedings of the 1st conference on Visualization '90
GASP: a system for visualizing geometric algorithms
VIS '94 Proceedings of the conference on Visualization '94
Cybernetics and Systems Analysis
A lisp-language Mathematica-to-lisp translator
ACM SIGSAM Bulletin
Advances in Engineering Software
Designing UI techniques for handwritten mathematics
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
Scientific Computing in the $C^H$ Programming Language
Scientific Programming
Handling of Complex Numbers in the $C^H$ Programming Language
Scientific Programming
Simple object oriented designed computer algebra system
Journal of Computational Methods in Sciences and Engineering - Intelligent Systems and Knowledge Management
MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation
SG '08 Proceedings of the 9th international symposium on Smart Graphics
Algorithms for automatic dialogue analysis using propositional production systems
Human-Computer Interaction
Weak equivalence for constraint sets
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Advances in Engineering Software
Real-time self-explanatory simulation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Innovative design as systematic search
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Matrices as arrows!: a biproduct approach to typed linear algebra
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Generalized feed-forward filters: some theoretical results
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: digital speech processing - Volume III
Multiplayer quantum minority game with decoherence
Quantum Information & Computation
Multiparameter direct variational solutions for linear dissipative oscillators
Mathematical and Computer Modelling: An International Journal
The incompressible two-dimensional potential flow through blades of a rotating radial impeller
Mathematical and Computer Modelling: An International Journal
Typing linear algebra: A biproduct-oriented approach
Science of Computer Programming
Hi-index | 0.01 |