Search results for "mathematica"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Ali Yazici, Ziya Karakaya	Normalizing Relational Database Schemas Using Mathematica.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
63	Evgenija D. Popova	Mathematica Connectivity to Interval Libraries filib++ and C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	interval software, C-XSC, filib++, MathLink, external programs, interfacing, Mathematica, Software interoperability
63	Jesús Rodríguez-Millán	Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica.	EUROCAST	2001	DBLP DOI BibTeX RDF	Jacobian and extended linearization, integrated symbolic-graphic-numeric computation, notebooks, Design, Analysis, Mathematica, Nonlinear control systems
55	Clifford A. Reiter	With Mathematica and J: gasoline inventory simulation.	ACM SIGAPL APL Quote Quad	2007	DBLP DOI BibTeX RDF
55	Ali Yazici, Ziya Karakaya	JMathNorm: A Database Normalization Tool Using Mathematica.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
55	Robert Ipanaqué, Andrés Iglesias 0001	A Mathematica Package for Solving and Displaying Inequalities.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
54	Stephen Wolfram	The mathematica book -the definitive best-selling presentation of mathematica by the creator of the system; mathematica version 4, 4th Edition.		1999	RDF
50	William A. Stein	Can we create a viable free open source alternative to magma, maple, mathematica and matlab?	ISSAC	2008	DBLP DOI BibTeX RDF	free, magma, open source, matlab, maple, mathematica
50	Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar	Formal Verification of Analog and Mixed Signal Designs in Mathematica.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	AMS Designs, Formal Verification, Mathematica
50	Jason F. Harris	Advanced notations in Mathematica.	ISSAC	2000	DBLP DOI BibTeX RDF	bra-ket notation, graphical front end, notational extensions, tensor notation, Mathematica, notation
45	Haiduke Sarafian, Nenette Sarafian	Rotating Capacitor and a Transient Electric Network.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Geometry, Mathematica, Electric Network
45	Seth J. Chandler	Restricted Non-cooperative Games.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	non-cooperative game theory, game network, New Kind of Science, directed graphs, Nash Equilibrium, law, Mathematica
45	David E. Lapsley, Marcos Bergamo	An integrated approach to the development of wireless network protocols.	WINTECH	2006	DBLP DOI BibTeX RDF	GNU radio, HiDSN, TCeMA, software defined radio, mathematica, NASA
45	Bernhard Albert, Anura P. Jayasumana	Performance analysis of FDDI LANs using numerical methods.	LCN	1995	DBLP DOI BibTeX RDF	FDDI LANs, Mathematica code, graphing capabilities, average access delay estimate, advanced token ring based networks, FFOL, FDDI follow on LAN, medium loaded networks, low loaded networks, symmetric multimedia environment, bimodal traffic, short data packets, video packets, estimated average access time, varied offered load, simulators, performance evaluation, performance analysis, graph theory, virtual machines, delays, local area networks, error analysis, numerical analysis, numerical methods, error rate, symbol manipulation, FDDI, network configuration, confidence measure, token networks
43	Vladimir P. Gerdt, Robert Kragler, Alexander N. Prokopenya	A Mathematica Package for Simulation of Quantum Computation.	CASC	2009	DBLP DOI BibTeX RDF
43	Alina Andreica	Implementing Parameterized Type Algorithm Definitions in Mathematica.	SYNASC	2006	DBLP DOI BibTeX RDF	parameterized type definitions, generic algorithms in symbolic computation, category theory
43	Andrés Iglesias 0001, Akemi Gálvez	Revisiting Some Control Schemes for Chaotic Synchronization with Mathematica.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
43	Ahmet Yantir, Ünal Ufuktepe	Mathematica Applications on Time Scales.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
43	Andrés Iglesias 0001, Akemi Gálvez	Analyzing the Synchronization of Chaotic Dynamical Systems with Mathematica: Part II.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
43	Ali Yazici, Irfan Altas, Tanil Ergenç	Symbolic Polynomial Interpolation Using Mathematica.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
43	Igor Gashkov	Error Correcting Codes with Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
43	Igor Gashkov	Error Correcting Codes with Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
43	Akemi Gálvez, Andrés Iglesias 0001	Binary Distillation Column Design Using Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
43	Antonio Vantaggiato	Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields.	DISCO	1993	DBLP DOI BibTeX RDF
38	Paul A. Savory	Using Mathematica to Aid Simulation Analysis.	WSC	1995	DBLP DOI BibTeX RDF	Mathematica
38	Neil Soiffer	Mathematical Typesetting in Mathematica.	ISSAC	1995	DBLP DOI BibTeX RDF	Mathematica
37	Roman Maeder	Grids and network applications - gridMathematica: overview and new developments.	SC	2006	DBLP DOI BibTeX RDF
36	Santanu K. Maiti	A Basic Introduction on Math-Link in Mathematica & the Technique for Running Mathematica Batch files in Background	CoRR	2006	DBLP BibTeX RDF
36	Stephen Wolfram	Das Mathematica Buch - die offizielle Dokumentation: Mathematica Version 3 (3. Aufl.).		1997	RDF
36	Stephen Wolfram	The Mathematica book - Mathematica Version 3, 3rd Edition.		1996	RDF
36	Alan Shuchat, Fred Shultz	The joy of Mathematica - a point-and-click way to use and learn Mathematica.		1994	RDF
36	Stephen Wolfram	Mathematica - reference guide: for Mathematica Version 2.		1992	RDF
33	Levente Kovács	New Principles and Adequate Control Methods for Insulin Dosage in Case of Diabetes.	IWPACBB	2008	DBLP DOI BibTeX RDF	glucose-insulin control, Sorensen-model, LPV control, robust control, Mathematica, minimal-model, diabetes mellitus
33	Harold W. Thimbleby, Jeremy Gow	Computer algebra in interface design research.	IUI	2004	DBLP DOI BibTeX RDF	MAUI, matrix algebra, computer algebra, mathematica
33	Silvia Polettini, Julian Stander	A Bayesian Hierarchical Model Approach to Risk Estimation in Statistical Disclosure Limitation.	Privacy in Statistical Databases	2004	DBLP DOI BibTeX RDF	empiricalBayes, individual risk, social survey data, summarising posterior distributions, risk assessment, Mathematica, disclosure risk, Hypergeometric function, Bayesian hierarchical model
33	Jesús Rodríguez-Millán	Symbolic Computation Tools for Dynamical Nonlinear Control Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF	Jacobian linearization, extended linearization, two-block decomposition approach, series-parallel compensation, centrifugal pendulum, Mathematica, Nonlinear control
33	Raya Khanin	Dimensional analysis in computer algebra.	ISSAC	2001	DBLP DOI BibTeX RDF	dimensional variables, nondimensionalization, computer algebra, Mathematica, dimensional analysis
33	Jesús Rodríguez-Millán, José Yépez, Jozsef Bokor	Design of Nonlinear Lag-Lead Compensators by Extended Linearization.	EUROCAST	1997	DBLP DOI BibTeX RDF	Lag-lead compensators, Jacobian and extended linearization, Mathematica®, symbolic computation
33	James L. Noyes	Teaching a modern numerical analysis course.	SIGCSE	1995	DBLP DOI BibTeX RDF	Mathematica
33	Jason F. Harris	Inheritance of Rewrite Rule Structures Applied to Symbolic Computation.	ISSAC	1994	DBLP DOI BibTeX RDF	Mathematica
30	Andrés Iglesias 0001, Robert Ipanaqué, R. T. Urbina	Symbolic Manipulation of Bspline Basis Functions with Mathematica.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
30	José M. Martínez, Boudewijn R. Haverkort	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF	DSPNs, CSL, model checking, Markov process, Markov regenerative process
30	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	A Mathematica Notebook for Computing the Homology of Iterated Products of Groups.	ICMS	2006	DBLP DOI BibTeX RDF
30	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches.	ICMS	2006	DBLP DOI BibTeX RDF
30	Ünal Ufuktepe, Ahmet Yantir	Measure on Time Scales with Mathematica.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
30	Akemi Gálvez, Andrés Iglesias 0001	Symbolic Analysis of Economical Models with Mathematica.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
30	Igor Gashkov	Non Binary Codes and "Mathematica" Calculations: Reed-Solomon Codes Over GF (2n).	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
30	Robert Ipanaqué, Andrés Iglesias 0001	A Mathematica Package for Computing and Visualizing the Gauss Map of Surfaces.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
30	Ali Yazici, Irfan Altas, Tanil Ergenç	2d Polynomial Interpolation: A Symbolic Approach with Mathematica.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
30	R. T. Urbina, Andrés Iglesias 0001	Circle Inversion of Two-Dimensional Objects with Mathematica.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
30	Andrés Iglesias 0001, Akemi Gálvez	Analyzing the Synchronization of Chaotic Dynamical Systems with Mathematica: Part I.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
30	Victor F. Edneral, Raya Khanin	Investigation of the Double Pendulum System by the Normal Form Method in MATHEMATICA.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
30	Ryszard A. Walentynski	Choleski-Banachiewicz Approach to Systems with Non-positive Definite Matrices with Mathematica.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
30	Ciro D'Apice, Giuliano Gargiulo, Rosanna Manzo	First Order ODEs: Mathematica and Symbolic-Numerical Methods.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
30	Andrey S. Siver	Evaluation of the Fundamental Physical Constants in Mathematica.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
30	Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione	Constrained Symbolic Simulation with Mathematica and ACL2.	CHARME	2003	DBLP DOI BibTeX RDF
30	Igor E. Poloskov	CAS Mathematica in Random Studies.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
30	Ali Yazici, Tanil Ergenç, Irfan Altas	Romberg Integration: A Symbolic Approach with Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
30	Ahmet Yantir, Ünal Ufuktepe	Basic Calculus on Time Scale with Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
30	Mark Sofroniou, Giulia Spaletta	Solving Orthogonal Matrix Differential Systems in Mathematica.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF	Geometric numerical integration, AMS. 65L05, ordinary differential equations, orthogonal projection, 65L06, computer algebra systems, 68Q40
30	Linda B. Sherrell, William Paulsen	Z Specifications Meet Mathematica for Exploratory Prototyping.	ICRE	2000	DBLP DOI BibTeX RDF
30	Bruno Buchberger	Mathematica: A System for Doing Mathematics by Computer? (Abstract).	DISCO	1993	DBLP DOI BibTeX RDF
25	Peter Nyman	A Symbolic Classical Computer Language for Simulation of Quantum Algorithms.	QI	2009	DBLP DOI BibTeX RDF	Deutsch-Josza algorithm, Grover’s algorithm, Quantum error-correcting, Shor’s algorithm, Simon’s algorithm, Simulation of quantum algorithms, Quantum computing
25	Alasdair McAndrew	Teaching cryptography with open-source software.	SIGCSE	2008	DBLP DOI BibTeX RDF	cryptography, computer science education, open-source software, discrete mathematics, exploratory learning
25	Haiduke Sarafian	A Closed Form Solution of the Run-Time of a Sliding Bead along a Freely Hanging Slinky.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
25	Pramod G. Joisha, Prithviraj Banerjee	The MAGICA Type Inference Engine for MATLAB.	CC	2003	DBLP DOI BibTeX RDF
25	Temur Kutsia	Equational Prover of THEOREMA.	RTA	2003	DBLP DOI BibTeX RDF
25	Joze Korelc	Multi-language and Multi-environment Generation of Nonlinear Finite Element Codes.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Finite element, Code optimization, Symbolic methods
25	Joze Korelc	Hybrid system for multi-language and multi-environment generation of numerical codes.	ISSAC	2001	DBLP DOI BibTeX RDF	finite element environments, symbolic approach, code generation
20	Michael Jay Schillaci	Computationally Complete.	Comput. Sci. Eng.	2007	DBLP DOI BibTeX RDF	CS, simulations, Java, modeling, languages, Mathematica
20	Piotr S. Szczepaniak, Ryszard A. Walentynski	Safety of Recreational Water Slides: Numerical Estimation of the Trajectory, Velocities and Accelerations of Motion of the Users.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	water slide, water park, modeling, safety, dynamics, motion, numerical integration, finite difference, Mathematica
20	Norman Chonacky, David Winch	We're Listening to You! Results from Our Recent Reader Survey.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	productivity packages, Matlab, Maple, Mathematica
20	Sudarshan Raghunathan	Making a Supercomputer Do What You Want: High-Level Tools for Parallel Programming.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	parallel programming, Matlab, supercomputers, Python, Mathematica
20	Xiu Wu Huang, Cheryl Kolak Dudek, Lydia Sharman, Fred E. Szabo	From Form to Content: Using Shape Grammars for Image Visualization.	IV	2005	DBLP DOI BibTeX RDF	image template, Kuba cloths, Mathematica function, shape-grammar form, shape-grammar rule, Zillij mosaics, visualization, Design, shape grammar
20	Igor E. Poloskov	Compound Program Packages and a Nonlinear Random Fluctuations Analysis.	ISSAC	1998	DBLP DOI BibTeX RDF	Mathematica
20	Shûichi Yukita	A functional presentation of Fourier series convergence.	Vis. Comput.	1996	DBLP DOI BibTeX RDF	Functional presentation, Functional proofs, Visualization, Mathematica
20	Richard J. Fateman	Symbolic Mathematics System Evaluators (extended abstract).	ISSAC	1996	DBLP DOI BibTeX RDF	Mathematica, AXIOM
20	Kelly Roach	Hypergeometric Function Representations.	ISSAC	1996	DBLP DOI BibTeX RDF	Maple, Mathematica, MACSYMA
20	Christian Schwarz 0002, Jürgen Teich, Alek Vainshtein, Emo Welzl, Brian L. Evans	Minimal Enclosing Parallelogram with Application.	SCG	1995	DBLP DOI BibTeX RDF	Mathematica
20	Ernesto Su, Antonio Lain, Shankar Ramaswamy, Daniel J. Palermo, Eugene W. Hodges IV, Prithviraj Banerjee	Advanced Compilation Techniques in the PARADIGM Compiler for Distributed-memory Multicomputers.	International Conference on Supercomputing	1995	DBLP DOI BibTeX RDF	Mathematica
20	Ron Avitzur, Olaf Bachmann, Norbert Kajler	From Honest to Intelligent Plotting.	ISSAC	1995	DBLP DOI BibTeX RDF	Mathematica
20	Adam Dingle, Richard J. Fateman	Branch Cuts in Computer Algebra.	ISSAC	1994	DBLP DOI BibTeX RDF	Mathematica
20	David J. Jeffrey	Integration to Obtain Expressions Valid on Domains of Maximum Extent.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple, Mathematica
18	Xiao Liu, Yan-Qing Ma	AMFlow: A Mathematica package for Feynman integrals computation via auxiliary mass flow.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
18	Jan M. Pawlowski, Coralie S. Schneider, Nicolas Wink	QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
18	B. Ananthanarayan, Sumit Banik, Souvik Bera, Sudeepan Datta	FeynGKZ: A Mathematica package for solving Feynman integrals using GKZ hypergeometric systems.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
18	Yankang Su, Zbigniew J. Kabala	Public Perception of ChatGPT and Transfer Learning for Tweets Sentiment Analysis Using Wolfram Mathematica.	Data	2023	DBLP DOI BibTeX RDF
18	Szabolcs Horvát, Jakub Podkalicki, Gábor Csárdi, Tamás Nepusz, Vincent A. Traag, Fabio Zanini, Daniel Noom	IGraph/M: graph theory and network analysis for Mathematica.	J. Open Source Softw.	2023	DBLP DOI BibTeX RDF
18	David Nocar, George Grossman, Jirí Vasko, Tomás Zdráhal	The Accuracy of Computational Results from Wolfram Mathematica in the Context of Summation in Trigonometry.	Comput.	2023	DBLP DOI BibTeX RDF
18	Carlo Olivieri	FORMERLY-Math: Constrained form-finding through membrane equilibrium analysis in Mathematica.	Softw. Impacts	2023	DBLP DOI BibTeX RDF
18	Czeslaw Maczka, Sergii I. Skurativskyi, Vsevolod A. Vladimirov	Study of Linear and Nonlinear Models with "Mathematica"		2023	DOI RDF
18	Oleh Kuzyk, Olesya Dan'Kiv, Ihor Stolyarchuk	Using the Wolfram Mathematica Software Product and the Smartphone to Determine Kinematic Quantities in Physics Laboratory Workshop.	CSIT	2023	DBLP DOI BibTeX RDF
18	George D. Xavier	M-CHIPR: A Mathematica program for constructing multi-state coupled adiabatic potential energy functions in triatomic molecule using many body partitioning approach.	Comput. Phys. Commun.	2022	DBLP DOI BibTeX RDF
18	Aaron E. Naiman	Automated vector space proofs using mathematica.	ACM Commun. Comput. Algebra	2022	DBLP DOI BibTeX RDF
18	Karla P. Acosta-Zamora, José Núñez	On the solutions of fluid flow problems with a Chebyshev collocation method using Mathematica.	Comput. Appl. Eng. Educ.	2022	DBLP DOI BibTeX RDF
18	J. C. del Valle	Solving the One-Dimensional Time-Independent Schrödinger Equation with High Accuracy: The LagrangeMesh Mathematica Package.	CoRR	2022	DBLP DOI BibTeX RDF
18	Hong-Yan Zhang, Yu Zhou, Yu-Tao Li, Fu-Yun Li, Yong-Hui Jiang	Correct and Alternative Numerical Algorithms for the Complete Elliptic Integral of the First Kind in MATLAB and Mathematica.	CoRR	2022	DBLP DOI BibTeX RDF
18	Szabolcs Horvát, Jakub Podkalicki, Gábor Csárdi, Tamás Nepusz, Vincent A. Traag, Fabio Zanini, Daniel Noom	IGraph/M: graph theory and network analysis for Mathematica.	CoRR	2022	DBLP DOI BibTeX RDF
18	B. Ananthanarayan, Souvik Bera, S. Friot, Tanay Pathak	Olsson.wl : a Mathematica package for the computation of linear transformations of multivariable hypergeometric functions.	CoRR	2022	DBLP BibTeX RDF
18	Tomaz Turk, Mitja Cok	Exact analytical grossing up computation as data imputation technique in Mathematica.	Softw. Impacts	2022	DBLP DOI BibTeX RDF