Visualizing transcendental functions
Computing in Science and Engineering
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model
IEEE Transactions on Software Engineering
Probabilistic Situation Calculus
Annals of Mathematics and Artificial Intelligence
Phase Space Extension in the Analysis of Differential-Difference Systems with Random Input
Automation and Remote Control
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Matrix Cubic Splines for Progressive 3D Imaging
Journal of Mathematical Imaging and Vision
Implementing Option-Pricing Models Using Software Synthesis
Computing in Science and Engineering
Journal of Mathematical Psychology
Pointwise error bounds for orthogonal cardinal spline approximation
Applied Mathematics and Computation - Orthogonal systems and applications
ACM Transactions on Mathematical Software (TOMS)
Applied Mathematics and Computation
Computing determinantal representation of generalized inverses
The Korean Journal of Computational & Applied Mathematics
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Capturing the Uncertainty of Moving-Object Representations
SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
Interfacing Program Construction and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
The Meaning of Infinity in Calculus and Computer Algebra Systems
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Focus Windows: A New Technique for Proof Presentation
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Implementing finite structures in mathematica via a skeletal topos of finite sets
Journal of Symbolic Computation
Using computer algebra systems in the development of scientific computer codes
Future Generation Computer Systems - Special section: Selected papers from the TERENA networking conference 2002
A Dual Visualizer Method for Interactive Topology
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
Mathematical software: past, present, and future
Computational science, mathematics and software
Numerical algorithm delivery mechanisms
Computational science, mathematics and software
Computational science, mathematics and software
Computer algebra handbook
Designing electronic reference documentation for software component libraries
Journal of Systems and Software
An environment for computing topological entropy for skew-product transformations
ICCMSE '03 Proceedings of the international conference on Computational methods in sciences and engineering
Journal of Computational Physics
Automated complexity analysis of Nuprl extracted programs
Journal of Functional Programming
A basic characteristic of twin primes and its generalization
Smarandache Notions Journal
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Frobenius-Padé approximants for d-orthogonal series: theory and computational aspects
Applied Numerical Mathematics
Tool Center Trajectory Planning for Industrial Robot Manipulators Using Dynamical Systems
International Journal of Robotics Research
Solving the 3D MHD equilibrium equations in toroidal geometry by Newton's method
Journal of Computational Physics
Journal of Computational Physics
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation
Mathscape and molecular integrals
Journal of Symbolic Computation
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Applying Mathematica and webMathematica to graph coloring
Future Generation Computer Systems
Programming and Computing Software
Temporal finite elements for target control dynamics of mechanisms
Computers and Structures
Using mathematical expressions in a statistical language
Computational Statistics & Data Analysis
Unification of problem solving environment implementation layers with XML-based specifications
Advances in Engineering Software
Effective partitioning method for computing weighted Moore-Penrose inverse
Computers & Mathematics with Applications
A note on a modification of Moser's method
Journal of Complexity
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
An implementation of lie differentiation operator based on linear isomorphisms of tangent bundle
MATH'06 Proceedings of the 10th WSEAS International Conference on APPLIED MATHEMATICS
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
Journal of Symbolic Computation
Fuzzy EPQ models for an imperfect production system
International Journal of Systems Science
Mathematics and Computers in Simulation
Combining logical and algebraic techniques for natural style proving in elementary analysis
Mathematics and Computers in Simulation
On the effect of twist angle on nonlinear galloping of suspended cables
Computers and Structures
WSEAS Transactions on Mathematics
MAASE'09 Proceedings of the 2nd WSEAS international conference on Multivariate analysis and its application in science and engineering
Brief paper: Structural identifiability analysis via symmetries of differential equations
Automatica (Journal of IFAC)
GS-distributions: A new family of distributions for continuous unimodal variables
Computational Statistics & Data Analysis
Computational aspects of an extended EMQ model with variable production rate
Computers and Operations Research - Articles presented at the conference on routing and location (CORAL)
Analytical-numerical investigation of bubble-type solutions of nonlinear singular problems
Journal of Computational and Applied Mathematics
automata: a hybrid system for computational automata theory
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Computing maximal tori using LiE and mathematica
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Generation of entanglement between spin of an electron and polarization of a photon
Quantum Information & Computation
Computer Methods and Programs in Biomedicine
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Applications of graph coloring
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Mathematica applications on time scales
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Investigation of the stability problem for the critical cases of the newtonian many-body problem
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Numerical study of stability domains of hamiltonian equation solutions
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Stability of microstructures for some martensitic transformations
Mathematical and Computer Modelling: An International Journal
Matrix newton interpolation and progressive 3D imaging: PC-based computation
Mathematical and Computer Modelling: An International Journal
Progressive transmission of images: PC-based computations, using orthogonal matrix polynomials
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.02 |
From the Publisher:Mathematica has defined the state of the art in technical computing for over a decade, and has become a standard in many of the world's leading companies and universities. From simple calculator operations to large-scale programming and the preparation of interactive documents, Mathematica is the tool of choice.