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
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
How to make AXIOM into a scratchpad
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Programming with algebraic structures: design of the MAGMA language
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Branch cuts in computer algebra
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Algorithms for type inference with coercions
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
ACM SIGSAM Bulletin
Some human interaction issues in computer algebra
ACM SIGCHI Bulletin
On the implementation of dynamic evaluation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Memory tracing of algebraic calculations
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Implementing signatures for C++
ACM Transactions on Programming Languages and Systems (TOPLAS)
On symmetric powers of differential operators
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
FOXBOX: a system for manipulating symbolic objects in black box representation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
The GAP 4 type system: organising algebraic algorithms
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Coordinating mathematical content and presentation markup in interactive mathematical documents
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Symbolic computation in Java: an appraisement
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
ACM SIGSAM Bulletin
Modeling inheritance as coercion in a symbolic computation system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
Symbolic Itô calculus in AXIOM: An ongoing story
Statistics and Computing
Algorithms and Proofs Inheritance in the FOC Language
Journal of Automated Reasoning
IEEE Intelligent Systems
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
A constructive algebraic hierarchy in Coq
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Computer algebra in the life sciences
ACM SIGSAM Bulletin
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Generic Programming Environment for High-Performance Mathematical Libraries
Selected Papers from the International Seminar on Generic Programming
Computer algebra handbook
MKM: a new interdisciplinary field of research
ACM SIGSAM Bulletin
Encyclopedia of Computer Science
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementation techniques for fast polynomial arithmetic in a high-level programming environment
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Generic programming and high-performance libraries
International Journal of Parallel Programming - Special issue: The next generation software program
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
On the design of a Java computer algebra system
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Implementing signatures for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Algorithmic differentiation in Axiom
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Component-level parallelization of triangular decompositions
Proceedings of the 2007 international workshop on Parallel symbolic computation
On a Java computer algebra system, its performance and applications
Science of Computer Programming
AXIOM: open source computer algebra system
ACM Communications in Computer Algebra
Open source computer algebra systems: Axiom
ACM Communications in Computer Algebra
Simple object oriented designed computer algebra system
Journal of Computational Methods in Sciences and Engineering - Intelligent Systems and Knowledge Management
On the Virtues of Generic Programming for Symbolic Computation
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Evaluation of a Java Computer Algebra System
Computer Mathematics
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Hidden verification for computational mathematics
Journal of Symbolic Computation
Invariants for the FoCaL language
Annals of Mathematics and Artificial Intelligence
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
A quantitative study of reductions in algebraic libraries
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
Mathemagix: towards large scale programming for symbolic and certified numeric computations
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Generic, type-safe and object oriented computer algebra software
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
Science of Computer Programming
Unique factorization domains in the java computer algebra system
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
One dimensional quantum walks with memory
Quantum Information & Computation
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Algebraic structures as typed objects
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Efficient implementation of polynomial arithmetic in a multiple-level programming environment
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Algebraic formula manipulation in a functional language: a first attempt
FP'95 Proceedings of the 1995 international conference on Functional Programming
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Design of concept libraries for c++
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
A system for axiomatic programming
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Polynomial division using dynamic arrays, heaps, and packed exponent vectors
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Interfacing mathemagix with C++
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Locales: A Module System for Mathematical Theories
Journal of Automated Reasoning
Hi-index | 0.00 |