A simple display package for polynomials and rational functions in common Lisp
ACM SIGSAM Bulletin
Functional optimization for fair surface design
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Honest plotting, global extrema, and interval arithmetic
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An object-oriented language for symbolic computation—applied to machine element analysis
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
AWEsymbolic: compiled analysis of linear(ized) circuits using asymptotic waveform evaluation
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Application of computer algebra to investigation of the relative equilibria of a satellite
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Addressing high-speed interconnect issues in asymptotic waveform evaluation
DAC '93 Proceedings of the 30th international Design Automation Conference
CircusTalk: an orchestration service for distributed multimedia
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
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
Inheritance of rewrite rule structures applied to symbolic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Automated multi-cycle symbolic timing verification of microprocessor-based designs
DAC '94 Proceedings of the 31st annual Design Automation Conference
Teaching a modern numerical analysis course
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
ACM Transactions on Graphics (TOG)
On families of iterated derivatives
ACM SIGSAM Bulletin
Theorems and algorithms: an interface between Isabelle and Maple
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Deriving imperative code from functional programs
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Using Mathematica to aid simulation analysis
WSC '95 Proceedings of the 27th conference on Winter simulation
Stochastic properties of the cross ratio
Pattern Recognition Letters
Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Fast high-precision computation of complex square roots
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Jitter calculus in ATM networks: multiple nodes
IEEE/ACM Transactions on Networking (TON)
Global illumination using local linear density estimation
ACM Transactions on Graphics (TOG)
The symmetric analogue of the polynomial power basis
ACM Transactions on Graphics (TOG)
The Generic Bilinear Calibration-Estimation Problem
International Journal of Computer Vision
Symbolic evaluation for parallelizing compilers
ICS '97 Proceedings of the 11th international conference on Supercomputing
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
CALYPSO: a computer algebra library for parallel symbolic computation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Simplication of symbolic-numerical interval expressions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Algorithm 786: multiple-precision complex arithmetic and functions
ACM Transactions on Mathematical Software (TOMS)
Symbolic computation of potential energy functions
ACM SIGSAM Bulletin
A Method of Formal Verification of Cryptographic Circuits
Journal of Electronic Testing: Theory and Applications
Verifying imprecisely working arithmetic circuits
DATE '99 Proceedings of the conference on Design, automation and test in Europe
The SIFT information dissemination system
ACM Transactions on Database Systems (TODS)
Design concepts for matrices and lattices in LiDIA
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Extracting Behavioral Data from Physical Descriptions of MEMS for Simulation
Journal of VLSI Signal Processing Systems - Mixed-signal design issues
Extracting Behavioral Data from Physical Descriptions of MEMS for Simulation
Analog Integrated Circuits and Signal Processing - Special issue on mixed-signal design issues
Confidence intervals using orthonormally weighted standardized time series
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A Unified Symbolic Evaluation Framework for Parallelizing Compilers
IEEE Transactions on Parallel and Distributed Systems
On the origin of power laws in Internet topologies
ACM SIGCOMM Computer Communication Review
Supporting runtime tool interaction for parallel simulations
SC '98 Proceedings of the 1998 ACM/IEEE conference on Supercomputing
Kepler equation and accelerated Newton method
Journal of Computational and Applied Mathematics
Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross
Journal of Automated Reasoning
On Computer-Assisted Proofs in Ordinal Number Theory
Journal of Automated Reasoning
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
A Model for Availability of Quality of Service in Distributed Multimedia Systems
Multimedia Tools and Applications
Statistical characterisation and modelling of SAR images
Signal Processing
An Algebraic Approach to Formal Verification of Microprocessors
Journal of Electronic Testing: Theory and Applications
MicroUnity's MediaProcessor Architecture
IEEE Micro
High-level Mathematical Modeling And Programming
IEEE Software
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Optimized Runge-Kutta pairs for problems with oscillating solutions
Journal of Computational and Applied Mathematics
Exactification of the asymptotics for Bessel and Hankel functions
Applied Mathematics and Computation
Bounding the gain of changing the number of memory modules in shared memory multiprocessors
Nordic Journal of Computing
Computing determinantal representation of generalized inverses
The Korean Journal of Computational & Applied Mathematics
Ontology-Based Geographic Data Set Integration
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
XNeuroGene: A System for Evolving Artificial Neural Networks
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Sing the truth about ad hoc join costs
The VLDB Journal — The International Journal on Very Large Data Bases
The interfacing of Mathematica with a variety of computing environments
Journal of Computing Sciences in Colleges
Semiconductor yield models using contagious distributions and their limiting forms
Computers and Industrial Engineering - 26th International conference on computers and industrial engineering
Design and Implementation of a Coprocessor for Cryptography Applications
EDTC '97 Proceedings of the 1997 European conference on Design and Test
MicroUnity Software Development Environment
COMPCON '96 Proceedings of the 41st IEEE International Computer Conference
Computer algebra handbook
An environment for computing topological entropy for skew-product transformations
ICCMSE '03 Proceedings of the international conference on Computational methods in sciences and engineering
Properties of the voronoi diagram cluster buster
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
A higher accuracy finite difference method for an elliptic equation of order four
Journal of Computational and Applied Mathematics - Special Issue: Proceedings of the 10th international congress on computational and applied mathematics (ICCAM-2002)
Cost Accounting by Diagnosis in a Japanese University Hospital
Journal of Medical Systems
A Simulation Model of Hospital Management Based on Cost Accounting Analysis According to Disease
Journal of Medical Systems
Stokes eigenmodes in square domain and the stream function-vorticity correlation
Journal of Computational Physics
Computational Economics: Help for the Underestimated Undergraduate
Computational Economics
A Linear Image Reconstruction Framework Based on Sobolev Type Inner Products
International Journal of Computer Vision
A Computational Model of How the Basal Ganglia Produce Sequences
Journal of Cognitive Neuroscience
Estimation of the modulation index of CPM signals using higher-order statistics
ICASSP '93 Proceedings of the Acoustics, Speech, and Signal Processing, 1993. ICASSP-93 Vol 4., 1993 IEEE International Conference on - Volume 04
Error analysis of the Trefftz method for solving Laplace's eigenvalue problems
Journal of Computational and Applied Mathematics
Discrete orthogonal polynomials on Gauss--Lobatto Chebyshev nodes
Journal of Approximation Theory
A web services framework for distributed model management
Information Systems Frontiers
Helicoidal vortex model for wind turbine aeroelastic simulation
Computers and Structures
Automatica (Journal of IFAC)
A symbolic methodology for the verification of analog and mixed signal designs
Proceedings of the conference on Design, automation and test in Europe
Computing generalized inverses of a rational matrix and applications
Journal of Applied Mathematics and Computing
Maxwell strata in the Euler elastic problem
Journal of Dynamical and Control Systems
Using simulation and symbolic computing in linear programming
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
MATH'06 Proceedings of the 10th WSEAS International Conference on APPLIED MATHEMATICS
International Journal of Computer Mathematics
Conjugate Points in the Euler Elastic Problem
Journal of Dynamical and Control Systems
Symbolic mathematical computing of bifurcations in dynamical systems
Journal of Computational Methods in Sciences and Engineering - Computational and Mathematical Methods for Science and Engineering Conference 2002 - CMMSE-2002
Stability of continuous systems by Routh-Hurwitz and mathematica
Journal of Computational Methods in Sciences and Engineering - Computational and Mathematical Methods for Science and Engineering Conference 2002 - CMMSE-2002
Solving Biomechanical Model Using Third-Order Runge-Kutta Methods
Computer Mathematics
Towards an Implementation of a Computer Algebra System in a Functional Language
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Gauss-Lobatto to Bernstein polynomials transformation
Journal of Computational and Applied Mathematics
Solution to Euler's elastic problem
Automation and Remote Control
Evolving evolution programs: genetic programming and L-systems
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Quantum computing and phase transitions in combinatorial search
Journal of Artificial Intelligence Research
A constraint Jacobian based approach for static analysis of pantograph masts
Computers and Structures
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
A 17th-order Radau IIA method for package RADAU. Applications in mechanical systems
Computers & Mathematics with Applications
Fast computations of the exponential function
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Investigating signal processing theory with mathematica
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
Using free open source software for intelligent geometric computing
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
New approach to border line evaluations for whole sample of Williams pear (Pyrus communis)
Computers and Electronics in Agriculture
Optic flow from multi-scale dynamic anchor point attributes
ICIAR'06 Proceedings of the Third international conference on Image Analysis and Recognition - Volume Part I
Intelligent PID robust control based on integral criteria
ACMOS'09 Proceedings of the 11th WSEAS international conference on Automatic control, modelling and simulation
Algebraic formula manipulation in a functional language: a first attempt
FP'95 Proceedings of the 1995 international conference on Functional Programming
Use of genetic algorithms for neural networks to predict community-acquired pneumonia
Artificial Intelligence in Medicine
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Singularities and treatments of elliptic boundary value problems
Mathematical and Computer Modelling: An International Journal
Symmetry analysis of nonlinear differential equations with the “Mathematica” program SYMMAN
Mathematical and Computer Modelling: An International Journal
International Journal of Numerical Modelling: Electronic Networks, Devices and Fields
Solution of second kind integral equation with Cauchy type kernel using Daubechies scale function
Journal of Computational and Applied Mathematics
Interfacing mathemagix with C++
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Stabilized explicit Runge-Kutta methods for multi-asset American options
Computers & Mathematics with Applications
| Hi-index | 0.01 |