Using inheritance for computing with physical quantities: an interdisciplinary project
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Advanced notations in mathematica
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Integrating symbolic and numeric techniques in atomic physics
Computing in Science and Engineering
Writing for adaptable documentation
IPCC/SIGDOC '00 Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
Computer assisted proof of optimal approximability results
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
A dimensionality reduction approach to modeling protein flexibility
Proceedings of the sixth annual international conference on Computational biology
Tilings as a programming exercise
Theoretical Computer Science
Quatitative IT portolio management
Science of Computer Programming
Gröbner Bases and Systems Theory
Multidimensional Systems and Signal Processing
Recognizing Mathematical Expressions Using Tree Transformation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Journal of Computational Physics
Computational Statistics & Data Analysis
Additive Runge-Kutta schemes for convection-diffusion-reaction equations
Applied Numerical Mathematics
Computer algebra in the life sciences
ACM SIGSAM Bulletin
Data-Flow Oriented Visual Programming Libraries for Scientific Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Theorem Proving with Sequence Variables and Flexible Arity Symbols
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Architecting an Auditory Browser for Navigating Mathematical Expressions
ICCHP '02 Proceedings of the 8th International Conference on Computers Helping People with Special Needs
Computer Aided Generation of Analytic Models for Nonlinear Function Blocks
PATMOS '00 Proceedings of the 10th International Workshop on Integrated Circuit Design, Power and Timing Modeling, Optimization and Simulation
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Two Approaches to Teaching Computational Physics
Computing in Science and Engineering
Integrating mathematica with C++ for the development of a computational geometry problem solver
Journal of Computing Sciences in Colleges
Cellular automata and intermediate degrees
Theoretical Computer Science
Editing mathematical content and presentation markup in interactive mathematical documents
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Sourcebook of parallel computing
Symbolic computation of integrals by recurrence
ACM SIGSAM Bulletin
Solving Mathematical Exercises that Involve Symbolic Computations
Computing in Science and Engineering
Factorization of fourth-order differential equations for perturbed classical orthogonal polynomials
Journal of Computational and Applied Mathematics
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Journal of Computational Physics
TheoSim: combining symbolic simulation and theorem proving for hardware verification
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
An iterative back substitution algorithm for the solution of tridiagonal matrix systems with fringes
Journal of Computational and Applied Mathematics
Detection of Image Structures Using the Fisher Information and the Rao Metric
IEEE Transactions on Pattern Analysis and Machine Intelligence
Frequency of symbol occurrences in bicomponent stochastic models
Theoretical Computer Science - Developments in language theory
Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning
GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI
Aggregation of Dependent Risks Using the Koehler-Symanowski Copula Function
Computational Economics
Applied Numerical Mathematics - 6th IMACS International symposium on iterative methods in scientific computing
Quantifying the value of IT-investments
Science of Computer Programming
On a Rational Linear Approximation of Fourier Series for Smooth Functions
Journal of Scientific Computing
Some symbolic computation algorithms in cosmic dynamics problems
Programming and Computing Software
Computer algebra systems as mathematical optimizing compilers
Science of Computer Programming
CDM: Teaching discrete mathematics to computer science majors
Journal on Educational Resources in Computing (JERIC)
Super-helices for predicting the dynamics of natural hair
ACM SIGGRAPH 2006 Papers
An algebraic array shape inference system for MATLAB®
ACM Transactions on Programming Languages and Systems (TOPLAS)
Spectral difference method for unstructured grids I: basic formulation
Journal of Computational Physics
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fast computation of a gated dipole field
Neural Networks
A translator system for the MATLAB language: Research Articles
Software—Practice & Experience
Web Intelligence and Agent Systems
The Second Order Local-Image-Structure Solid
IEEE Transactions on Pattern Analysis and Machine Intelligence
Spectral Difference Method for Unstructured Grids II: Extension to the Euler Equations
Journal of Scientific Computing
Strands and hair: modeling, animation, and rendering
ACM SIGGRAPH 2007 courses
Computing generalized inverses of a rational matrix and applications
Journal of Applied Mathematics and Computing
Journal of Computational Physics
Effective partitioning method for computing weighted Moore-Penrose inverse
Computers & Mathematics with Applications
Performance analysis of scheduling and interference coordination policies for OFDMA networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
A study of suspended roofs for near-source seismic motions
Computers and Structures
Guaranteed approach with the farthest of the runaways
Automation and Remote Control
Realistic hair simulation: animation and rendering
ACM SIGGRAPH 2008 classes
On the use of liquid bridges as tensiometers
Journal of Computational Methods in Sciences and Engineering - Computational and Mathematical Methods for Science and Engineering Conference 2002 - CMMSE-2002
JMathNorm: A Database Normalization Tool Using Mathematica
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Symbolic Manipulation of Bspline Basis Functions with Mathematica
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
Computing generalized inverses using LU factorization of matrix product
International Journal of Computer Mathematics
On numerical computation of integrals with integrands of the form f(x)sin(w/xr) on [0, 1]
Journal of Computational and Applied Mathematics
Suitable Gauss and Filon-type methods for oscillatory integrals with an algebraic singularity
Applied Numerical Mathematics
Given a one-step numerical scheme, on which ordinary differential equations is it exact?
Journal of Computational and Applied Mathematics
Multiple stochastic integrals with Mathematica
Mathematics and Computers in Simulation
Mathematical Mathematical User Interfaces
Engineering Interactive Systems
On bipartite graphs of defect 2
European Journal of Combinatorics
Neural models predicting traction power consumption: support of e-energy telematic systems
Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship
Journal of Computational Physics
Mathematics and Computers in Simulation
Classic group testing with cost for grouping and testing
Computers & Mathematics with Applications
Cubic convergence of parameter-controlled Newton-secant method for multiple zeros
Journal of Computational and Applied Mathematics
Applied Numerical Mathematics - 6th IMACS International symposium on iterative methods in scientific computing
Shepherd: A lightweight statistical authentication protocol for access control in wireless LANs
Computer Communications
A constrained discrete layer model for heat conduction in laminated composites
Computers and Structures
A Mathematica Package for Simulation of Quantum Computation
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Wind Speed Forecasting Using a Hybrid Neural-Evolutive Approach
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
From Rosenstock model to random walk based routing in wireless sensor networks
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
A web-visualization approach for 3D elastic medium modeling and simulation
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Solving a class of higher-order equations over a group structure
Journal of Symbolic Computation
Parallel computing for semiquantal few-body systems in atomic physics
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Programming in a high level approach for scientific computing
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Frequency of symbol occurrences in simple non-primitive stochastic models
DLT'03 Proceedings of the 7th international conference on Developments in language theory
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
The Ehrenfeucht-Mycielski sequence
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Resultants and neighborhoods of a polynomial
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Solving symbolic and numerical problems in the theory of shells with mathematica®
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Romberg integration: a symbolic approach with mathematica
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
CAS mathematica in random studies
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Strategies for the interactive resolution of calculus problems
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Basic calculus on time scale with mathematica
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Binary distillation column design using mathematica
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
The MAGICA type inference engine for MATLAB ®
CC'03 Proceedings of the 12th international conference on Compiler construction
Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem
Programming and Computing Software
Some algorithms for calculating unitary matrices for quantum circuits
Programming and Computing Software
ACM Transactions on Mathematical Software (TOMS)
Journal of Computational Methods in Sciences and Engineering - II Congress of Theoretical and Computational Physical Chemistry, Choroni, Venezuela, 2008
A box-consistency contractor based on extremal functions
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
ACM Transactions on Mathematical Software (TOMS)
Quality metrics for WEB page content representation in audio space
Proceedings of the 24th Spring Conference on Computer Graphics
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
Virtual Machines and Intermediate Languages
A Value for Games Restricted by Augmenting Systems
SIAM Journal on Discrete Mathematics
A transient means ranking and selection procedure with sequential sampling constraints
Winter Simulation Conference
Non-existence of bipartite graphs of diameter at least 4 and defect 2
Journal of Algebraic Combinatorics: An International Journal
On the transport of atomic ions in linear and multidimensional ion trap arrays
Quantum Information & Computation
On the stability of equilibrium positions in the circular restricted four-body problem
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Computer Methods and Programs in Biomedicine
Revisiting some control schemes for chaotic synchronization with mathematica
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
jReality, jtem, and oorange: a way to do math with computers
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Improved solution enclosures for over- and underdetermined interval linear systems
LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing
Analyzing the synchronization of chaotic dynamical systems with mathematica: part I
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
A mathematica package for computing and visualizing the gauss map of surfaces
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Circle inversion of two-dimensional objects with mathematica
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Performance analysis of the uplink of a CDMA cell supporting elastic services
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
Symbolic calculations in studying the stability of dynamically symmetric satellite motion
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Approximate solution of the dirichlet problem for elliptic PDE and its error estimate
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
The instability of the rhombus-like central configurations in newton 9-body problem
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Data-Driven inverse modelling of ionic polymer conductive composite plates
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Normalizing relational database schemas using mathematica
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
The circuit model of quantum computation and its simulation with mathematica
MMCP'11 Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science
Modeling and simulation of multiple impacts of falling rigid bodies
Mathematical and Computer Modelling: An International Journal
Bifurcation, stabilization, and ethanol productivity enhancement for a membrane fermentor
Mathematical and Computer Modelling: An International Journal
Mathematical and Computer Modelling: An International Journal
Mathieu functions for purely imaginary parameters
Journal of Computational and Applied Mathematics
Hamiltonian normalization in the restricted many-body problem by computer algebra methods
Programming and Computing Software
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Algorithm 924: TIDES, a Taylor Series Integrator for Differential EquationS
ACM Transactions on Mathematical Software (TOMS)
Properties of the Liapunov stability zones of the Lagrange triangle
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Studying the stability of the second order non-autonomous hamiltonian system
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Applied Numerical Mathematics
Stability of equilibrium positions in the spatial circular restricted four-body problem
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Anelastic Stokes Eigenmodes in Infinite Channel
Journal of Scientific Computing
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem
Programming and Computing Software
A regularization approach for estimating the type of a plane curve singularity
Theoretical Computer Science
Visualization tools for open government data
Proceedings of the 14th Annual International Conference on Digital Government Research
2HOT: an improved parallel hashed oct-tree n-body algorithm for cosmological simulation
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Simulation of quantum error correction by means of QuantumCircuit package
Programming and Computing Software
Symbolic calculations in studying the problem of three bodies with variable masses
Programming and Computing Software
Hi-index | 0.03 |