Abstract
No abstract available.
Cited By
- Jeong D, Yoo M, Yoo C and Kim J (2019). A Hybrid Monte Carlo and Finite Difference Method for Option Pricing, Computational Economics, 53:1, (111-124), Online publication date: 1-Jan-2019.
- Zulkoski E, Bright C, Heinle A, Kotsireas I, Czarnecki K and Ganesh V (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures, Journal of Automated Reasoning, 58:3, (313-339), Online publication date: 1-Mar-2017.
- Kirkeby M and Rosendahl M Probabilistic Resource Analysis by Program Transformation 4th International Workshop on Foundational and Practical Aspects of Resource Analysis - Volume 9964, (60-80)
- Kapinski J, Deshmukh J, Sankaranarayanan S and Arechiga N Simulation-guided lyapunov analysis for hybrid dynamical systems Proceedings of the 17th international conference on Hybrid systems: computation and control, (133-142)
- Warren M 2HOT Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, (1-12)
- Graves A and Hendler J Visualization tools for open government data Proceedings of the 14th Annual International Conference on Digital Government Research, (136-145)
- Ziener C, RüCkl M, Kampf T, Bauer W and Schlemmer H (2012). Mathieu functions for purely imaginary parameters, Journal of Computational and Applied Mathematics, 236:17, (4513-4524), Online publication date: 1-Nov-2012.
- Budzko D and Prokopenya A Stability of equilibrium positions in the spatial circular restricted four-body problem Proceedings of the 14th international conference on Computer Algebra in Scientific Computing, (72-83)
- Abad A, Barrio R, Blesa F and Rodríguez M (2012). Algorithm 924, ACM Transactions on Mathematical Software, 39:1, (1-28), Online publication date: 1-Nov-2012.
- Budzko D and Prokopenya A On the stability of equilibrium positions in the circular restricted four-body problem Proceedings of the 13th international conference on Computer algebra in scientific computing, (88-100)
- Pineda-Villavicencio G (2011). Non-existence of bipartite graphs of diameter at least 4 and defect 2, Journal of Algebraic Combinatorics: An International Journal, 34:2, (163-182), Online publication date: 1-Sep-2011.
- Gerdt V and Prokopenya A The circuit model of quantum computation and its simulation with mathematica Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science, (43-55)
- Kormanyos C (2011). Algorithm 910, ACM Transactions on Mathematical Software, 37:4, (1-27), Online publication date: 1-Feb-2011.
- Trombettoni G, Papegay Y, Chabert G and Pourtallier O A box-consistency contractor based on extremal functions Proceedings of the 16th international conference on Principles and practice of constraint programming, (491-498)
- Stanley-Marbell P Sal/Svm Virtual Machines and Intermediate Languages, (1-10)
- Li T and Robinson I (2010). Algorithm 906, ACM Transactions on Mathematical Software, 37:3, (1-17), Online publication date: 1-Sep-2010.
- Tocino A (2009). Multiple stochastic integrals with Mathematica, Mathematics and Computers in Simulation, 79:5, (1658-1667), Online publication date: 1-Jan-2009.
- Delorme C, Jørgensen L, Miller M and Pineda-Villavicencio G (2009). On bipartite graphs of defect 2, European Journal of Combinatorics, 30:4, (798-808), Online publication date: 1-May-2009.
- Stanimirović P, Tasić M and Vu K (2009). Extensions of Faddeev's algorithms to polynomial matrices, Applied Mathematics and Computation, 214:1, (246-258), Online publication date: 1-Aug-2009.
- Morrice D, Brantley M and Chen C A transient means ranking and selection procedure with sequential sampling constraints Winter Simulation Conference, (590-600)
- Mabrouki I and Lagrange X 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, (1-10)
- Sadil J Neural models predicting traction power consumption Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship, (1-4)
- Maybank S (2008). Approximation to the Fisher-Rao metric for the focus of expansion, Neurocomputing, 71:10-12, (2037-2045), Online publication date: 1-Jun-2008.
- Harris R, Wang Z and Liu Y (2008). Efficient quadrature-free high-order spectral volume method on unstructured grids, Journal of Computational Physics, 227:3, (1620-1642), Online publication date: 1-Jan-2008.
- Ďurikovič D and Ďurikovič R Quality metrics for WEB page content representation in audio space Proceedings of the 24th Spring Conference on Computer Graphics, (149-154)
- Bertails F, Hadap S, Cani M, Lin M, Kim T, Marschner S, Ward K and Kačić-Alesić Z Realistic hair simulation ACM SIGGRAPH 2008 classes, (1-154)
- Grebenikov E, Ikhsanov E and Prokopenya A Studying the stability of the second order non-autonomous hamiltonian system Proceedings of the 10th international conference on Computer Algebra in Scientific Computing, (181-194)
- Grebenikov E, Kozak-Skoworodkin D and Zemtsova N Properties of the Liapunov stability zones of the Lagrange triangle Proceedings of the 10th international conference on Computer Algebra in Scientific Computing, (169-180)
- Griffin L (2007). The Second Order Local-Image-Structure Solid, IEEE Transactions on Pattern Analysis and Machine Intelligence, 29:8, (1355-1366), Online publication date: 1-Aug-2007.
- Stanimirović P, Karampetakis N and Tasić M (2007). Computing generalized inverses of a rational matrix and applications, Journal of Applied Mathematics and Computing, 24:1, (81-94), Online publication date: 1-May-2007.
- Hadap S, Cani M, Lin M, Kim T, Bertails F, Marschner S, Ward K and Kačić-Alesić Z Strands and hair ACM SIGGRAPH 2007 courses, (1-150)
- Hoffmann T and Schmies M jReality, jtem, and oorange Proceedings of the Second international conference on Mathematical Software, (74-85)
- Bertails F, Audoly B, Cani M, Querleux B, Leroy F and Lévêque J (2006). Super-helices for predicting the dynamics of natural hair, ACM Transactions on Graphics, 25:3, (1180-1187), Online publication date: 1-Jul-2006.
- Mengov G, Georgiev K, Pulov S, Trifonov T and Atanassov K (2006). Fast computation of a gated dipole field, Neural Networks, 19:10, (1636-1647), Online publication date: 1-Dec-2006.
- Liu Y, Vinokur M and Wang Z (2006). Spectral difference method for unstructured grids I, Journal of Computational Physics, 216:2, (780-801), Online publication date: 10-Aug-2006.
- Liu Y, Vinokur M and Wang Z (2006). Spectral (finite) volume method for conservation laws on unstructured grids V, Journal of Computational Physics, 212:2, (454-472), Online publication date: 1-Mar-2006.
- Geum Y, Kim Y and Rhee M (2006). High-order convergence of the k-fold pseudo-Newton's irrational method locating a simple real zero, Applied Mathematics and Computation, 182:1, (492-497), Online publication date: 1-Nov-2006.
- Yazici A and Karakaya Z Normalizing relational database schemas using mathematica Proceedings of the 6th international conference on Computational Science - Volume Part II, (375-382)
- Michopoulos J and Shahinpoor M Data-Driven inverse modelling of ionic polymer conductive composite plates Proceedings of the 6th international conference on Computational Science - Volume Part II, (131-138)
- Bertails F, Audoly B, Cani M, Querleux B, Leroy F and Lévêque J Super-helices for predicting the dynamics of natural hair ACM SIGGRAPH 2006 Papers, (1180-1187)
- Fodor G and Telek M Performance analysis of the uplink of a CDMA cell supporting elastic services 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, (205-216)
- Popova E Improved solution enclosures for over- and underdetermined interval linear systems Proceedings of the 5th international conference on Large-Scale Scientific Computing, (305-312)
- Zemskov S Approximate solution of the dirichlet problem for elliptic PDE and its error estimate Proceedings of the 8th international conference on Computer Algebra in Scientific Computing, (489-500)
- Mahecha-Botero A, Garhyan P and Elnashaie S (2005). Modeling, bifurcation, and chaotic behaviour of a coupled acetylcholinesterase/choline acetyltransferase enzymes neurocycle, Mathematical and Computer Modelling: An International Journal, 41:6-7, (655-678), Online publication date: 1-Mar-2005.
- Wang H, Cardo J and Guan Y (2005). Shepherd, Computer Communications, 28:14, (1618-1630), Online publication date: 1-Sep-2005.
- Cattani C, Grebenikov E and Prokopenya A Symbolic calculations in studying the stability of dynamically symmetric satellite motion Proceedings of the 8th international conference on Computer Algebra in Scientific Computing, (93-104)
- Iglesias A and Galvez A Revisiting some control schemes for chaotic synchronization with mathematica Proceedings of the 5th international conference on Computational Science - Volume Part III, (651-658)
- Urbina R and Iglesias A Circle inversion of two-dimensional objects with mathematica Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III, (547-555)
- Ipanaqué R and Iglesias A A mathematica package for computing and visualizing the gauss map of surfaces Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III, (492-501)
- Iglesias A and Gálvez A Analyzing the synchronization of chaotic dynamical systems with mathematica Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III, (472-481)
- Sammane G, Borrione D and Chevallier R Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning Proceedings of the 15th ACM Great Lakes symposium on VLSI, (260-263)
- Palmitesta P and Provasi C (2005). Aggregation of Dependent Risks Using the Koehler-Symanowski Copula Function, Computational Economics, 25:1-2, (189-205), Online publication date: 1-Feb-2005.
- Al Sammane G, Schmaltz J, Toma D, Ostier P and Borrione D TheoSim Proceedings of the 17th symposium on Integrated circuits and system design, (60-65)
- Maybank S (2004). Detection of Image Structures Using the Fisher Information and the Rao Metric, IEEE Transactions on Pattern Analysis and Machine Intelligence, 26:12, (1579-1589), Online publication date: 1-Dec-2004.
- Díez F and Moriyón R (2004). Solving Mathematical Exercises that Involve Symbolic Computations, Computing in Science and Engineering, 6:1, (81-84), Online publication date: 1-Jan-2004.
- Joisha P and Banerjee P The MAGICA type inference engine for MATLAB ® Proceedings of the 12th international conference on Compiler construction, (121-125)
- Yantir A and Ufuktepe Ü Basic calculus on time scale with mathematica Proceedings of the 1st international conference on Computational science: PartI, (821-827)
- Dongarra J, Foster I, Fox G, Gropp W, Kennedy K, Torczon L and White A References Sourcebook of parallel computing, (729-789)
- Gálvez A and Iglesias A Binary distillation column design using mathematica Proceedings of the 1st international conference on Computational science: PartI, (848-857)
- Díez F and Moriyón R Strategies for the interactive resolution of calculus problems Proceedings of the 1st international conference on Computational science: PartI, (791-800)
- Poloskov I CAS mathematica in random studies Proceedings of the 1st international conference on Computational science: PartI, (781-790)
- Yazici A, Ergenç T and Altas I Romberg integration Proceedings of the 1st international conference on Computational science: PartI, (691-700)
- Sutner K The Ehrenfeucht-Mycielski sequence Proceedings of the 8th international conference on Implementation and application of automata, (282-293)
- Kutsia T Equational prover of theorema Proceedings of the 14th international conference on Rewriting techniques and applications, (367-379)
- Ge B Programming in a high level approach for scientific computing Proceedings of the 2003 international conference on Computational science and its applications: PartI, (663-673)
- Sultanov R and Guster D Parallel computing for semiquantal few-body systems in atomic physics Proceedings of the 2003 international conference on Computational science and its applications: PartI, (568-576)
- Sutner K (2003). Cellular automata and intermediate degrees, Theoretical Computer Science, 296:2, (365-375), Online publication date: 8-Mar-2003.
- de Falco D, Goldwurm M and Lonati V Frequency of symbol occurrences in simple non-primitive stochastic models Proceedings of the 7th international conference on Developments in language theory, (242-253)
- Barnett M (2003). Symbolic computation of integrals by recurrence, ACM SIGSAM Bulletin, 37:2, (49-63), Online publication date: 1-Jun-2003.
- Sfakianakis M (2002). Biaxial bending with axial force of reinforced, composite and repaired concrete sections of arbitrary shape by fiber model and computer graphics, Advances in Engineering Software, 33:4, (227-242), Online publication date: 30-Apr-2002.
- Wang Z and Liu Y (2002). Spectral (Finite) Volume Method for Conservation Laws on Unstructured Grids, Journal of Computational Physics, 179:2, (665-697), Online publication date: 1-Jul-2002.
- Boisvert R Mathematical software Computational science, mathematics and software, (3-26)
- Zwick U Computer assisted proof of optimal approximability results Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, (496-505)
- Dooley S Editing mathematical content and presentation markup in interactive mathematical documents Proceedings of the 2002 international symposium on Symbolic and algebraic computation, (55-62)
- Barnett M (2002). Computer algebra in the life sciences, ACM SIGSAM Bulletin, 36:4, (5-32), Online publication date: 1-Dec-2002.
- Teodoro M, Phillips G and Kavraki L A dimensionality reduction approach to modeling protein flexibility Proceedings of the sixth annual international conference on Computational biology, (299-308)
- Zanibbi R, Blostein D and Cordy J (2002). Recognizing Mathematical Expressions Using Tree Transformation, IEEE Transactions on Pattern Analysis and Machine Intelligence, 24:11, (1455-1467), Online publication date: 1-Nov-2002.
- Patterson C (2002). Two Approaches to Teaching Computational Physics, Computing in Science and Engineering, 4:6, (64-68), Online publication date: 1-Nov-2002.
- Walentyński R Solving symbolic and numerical problems in the theory of shells with mathematica® Proceedings of the 2nd international conference on Symbolic and numerical scientific computation, (309-346)
- Marotta V Resultants and neighborhoods of a polynomial Proceedings of the 2nd international conference on Symbolic and numerical scientific computation, (225-239)
- Buchberger B (2001). Gröbner Bases and Systems Theory, Multidimensional Systems and Signal Processing, 12:3-4, (223-251), Online publication date: 1-Jul-2001.
- Berglund E Writing for adaptable documentation Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork, (497-508)
- Harris J Advanced notations in mathematica Proceedings of the 2000 international symposium on Symbolic and algebraic computation, (153-160)
- Bergmann S (1998). Using inheritance for computing with physical quantities, ACM SIGCSE Bulletin, 30:1, (45-47), Online publication date: 1-Mar-1998.
- Bergmann S Using inheritance for computing with physical quantities Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (45-47)
Index Terms
- The Mathematica book (4th edition)