Search results for "mathematica"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Robert Y. Lewis, Minchao Wu	A Bi-Directional Extensible Interface Between Lean and Mathematica.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
18	Renato M. Fonseca	GroupMath: A Mathematica package for group theory calculations.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
18	Adam Bzowski	TripleK: A Mathematica package for evaluating triple-K integrals and conformal correlation functions.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
18	Martijn Hidding	DiffExp, a Mathematica package for computing Feynman integrals in terms of one-dimensional series expansions.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
18	Barak Shoshany	OGRe: An Object-Oriented General Relativity Package for Mathematica.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
18	Barak Shoshany	OGRe: An Object-Oriented General Relativity Package for Mathematica.	CoRR	2021	DBLP BibTeX RDF
18	Robert Y. Lewis, Minchao Wu	A bi-directional extensible interface between Lean and Mathematica.	CoRR	2021	DBLP BibTeX RDF
18	D. O. Rybalka	SimpleTensor - a user-friendly Mathematica package for elementary tensor and differential-geometric calculations.	CoRR	2021	DBLP BibTeX RDF
18	Jakob Ablinger, Ali Kemal Uncu	qFunctions - A Mathematica package for q-series and partition theory applications.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
18	Robert Ipanaqué Chero, Ricardo Velezmoro-León, Felícita Marcela Velásquez-Fernández, Daniel Alonso Flores-Córdova	Finite Set Algebra in Secondary School Using Raspberry Pi with Mathematica.	ICCSA (3)	2021	DBLP DOI BibTeX RDF
18	Ricardo Velezmoro-León, Carlos Enrique Arellano-Ramírez, Daniel Alonso Flores-Córdova, Robert Ipanaqué Chero	Using Mathematica and 4Nec2 to Design and Simulation of an Antenna in 2100 and 3500 MHz Bands.	ICCSA (3)	2021	DBLP DOI BibTeX RDF
18	Judith Keren Jiménez-Vilcherrez, Josel Antonio Mechato-Durand, Ricardo Velezmoro-León, Robert Ipanaqué Chero	Proof of Some Properties of the Cross Product of Three Vectors in [inline-graphic not available: see fulltext] with Mathematica.	ICCSA (1)	2021	DBLP DOI BibTeX RDF
18	Ricardo Velezmoro-León, Robert Ipanaqué Chero, Felícita Marcela Velásquez-Fernández, Jorge Jimenez Gomez	Construction of Polyhedra Whose Vertices are Points on Curve Which Lying on Lemniscatic Torus with Mathematica.	ICCSA (2)	2021	DBLP DOI BibTeX RDF
18	Maria Irene Falcão, Fernando Miranda, Ricardo Severino, Maria Joana Soares	Mathematica Tools for Coquaternions.	ICCSA (4)	2021	DBLP DOI BibTeX RDF
18	Ricardo Velezmoro-León, Nestor Javier Farias-Morcillo, Robert Ipanaqué Chero, José Manuel Estela-Vilela, Judith Keren Jiménez-Vilcherrez	A Parameterization of the Klein Bottle by Isometric Transformations in [inline-graphic not available: see fulltext] with Mathematica.	ICCSA (1)	2021	DBLP DOI BibTeX RDF
18	Judith Keren Jiménez-Vilcherrez, Ricardo Velezmoro-León, Robert Ipanaqué Chero	Calculation of the Differential Geometry of the Intersection of Implicit Hypersurfaces in [inline-graphic not available: see fulltext] with Mathematica.	ICCSA (5)	2021	DBLP DOI BibTeX RDF
18	Markus Q. Huber, Anton K. Cyrol, Jan M. Pawlowski	DoFun 3.0: Functional equations in mathematica.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
18	Francesco Torsello	bimEX: A Mathematica package for exact computations in 3+1 bimetric relativity.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
18	Robert Feger, Thomas W. Kephart, Robert J. Saskowski	LieART 2.0 - A Mathematica application for Lie Algebras and Representation Theory.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
18	Marco Archetti	DeFinetti: A Mathematica program to analyze the replicator dynamics of 3-strategy collective interactions.	SoftwareX	2020	DBLP DOI BibTeX RDF
18	Wlodzimierz Wojas, Jan Krupa, Jaroslaw Bojarski	Familiarizing Students with Definition of Lebesgue Outer Measure Using Mathematica: Some Examples of Calculation Directly from Its Definition.	Math. Comput. Sci.	2020	DBLP DOI BibTeX RDF
18	Ricardo Velezmoro-León, Felícita Marcela Velásquez-Fernández, Jorge Jimenez Gomez	Construction of the Regular Dodecahedron with the MATHEMATICA.	ICCSA (1)	2020	DBLP DOI BibTeX RDF
18	Luis A. Anto, Amelia M. Fiestas, Edgar Johny Ojeda, Ricardo Velezmoro, Robert Ipanaqué	A Mathematica Package for Plotting Implicitly Defined Hypersurfaces in [inline-graphic not available: see fulltext].	ICCSA (2)	2020	DBLP DOI BibTeX RDF
18	Mircea Marin, Besik Dundua, Temur Kutsia	A Rule-Based System for Computation and Deduction in Mathematica.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
18	Florian Staub	xSLHA: An Les Houches Accord reader for Python and Mathematica.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
18	Peter H. Jacobse	MathemaTB: A Mathematica package for tight-binding calculations.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
18	Manuel Forner Gumbau, Miguel Barreda Rochera, José Antonio López Ortí	Design of a Mathematica package to develop the product of some spherical functions as linear combinations of themselves.	Comput. Math. Methods	2019	DBLP DOI BibTeX RDF
18	Michelle Rudolph-Lilith	ChessY: A Mathematica toolbox for the generation, visualization and analysis of positional chess graphs.	SoftwareX	2019	DBLP DOI BibTeX RDF
18	Martijn Froeling	QMRTools: a Mathematica toolbox for quantitative MRI analysis.	J. Open Source Softw.	2019	DBLP DOI BibTeX RDF
18	Housam Binous, Ahmed Bellagi	Introducing nonlinear dynamics to chemical and biochemical engineering graduate students using MATHEMATICA©.	Comput. Appl. Eng. Educ.	2019	DBLP DOI BibTeX RDF
18	Robert Ipanaqué, Ricardo Velezmoro, R. T. Urbina	Bspline solids manipulation with Mathematica.	CoRR	2019	DBLP BibTeX RDF
18	Francesco Torsello	bimEX: A Mathematica package for exact computations in 3+1 bimetric relativity.	CoRR	2019	DBLP BibTeX RDF
18	Jakob Ablinger, Ali Kemal Uncu	qFunctions - A Mathematica package for q-series and partition theory applications.	CoRR	2019	DBLP BibTeX RDF
18	Edyta Hetmaniok, Damian Slota, Mariusz Pleszczynski, Roman Witula, Michal Rózanski, Marcin Szczygiel	Symbolic description of the polynomial roots and their numerical implementation - better than in Mathematica software?	FedCSIS (Communication Papers)	2019	DBLP DOI BibTeX RDF
18	Guoteng Pan, Mengjun Li, Guodong Ou	Solving Constraint Optimization Problems Based on Mathematica and Abstraction.	SOFL+MSVL	2019	DBLP DOI BibTeX RDF
18	Guoteng Pan, Mengjun Li, Guodong Ou	Modeling and Reasoning Event-B Models Based on Mathematica.	Internetware	2019	DBLP DOI BibTeX RDF
18	Ricardo Velezmoro, Robert Ipanaqué, Josel A. Mechato	A Mathematica Package for Visualizing Objects Inmersed in \mathbb R^4.	ICCSA (6)	2019	DBLP DOI BibTeX RDF
18	Kasper J. Larsen, Robbert Rietkerk	MultivariateResidues : A Mathematica package for computing multivariate residues.	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
18	Kasper J. Larsen, Robbert Rietkerk	MultivariateResidues: A Mathematica package for computing multivariate residues.	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
18	César Ayala, Gorazd Cvetic	anQCD: A Mathematica package for calculations in general analytic QCD models (new version announcement).	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
18	Michelangelo Preti	WiLE: A Mathematica package for weak coupling expansion of Wilson loops in ABJ(M) theory.	Comput. Phys. Commun.	2018	DBLP DOI BibTeX RDF
18	Dima Bykhovsky	Mathematica code for numerical generation of random process with given distribution and exponential autocorrelation function.	SoftwareX	2018	DBLP DOI BibTeX RDF
18	Luis R. Izquierdo, Segismundo S. Izquierdo, William H. Sandholm	EvoDyn-3s: A Mathematica computable document to analyze evolutionary dynamics in 3-strategy games.	SoftwareX	2018	DBLP DOI BibTeX RDF
18	Elena Cebotaru	The application of Mathematica to research the restricted eight bodies problem.	Comput. Sci. J. Moldova	2018	DBLP BibTeX RDF
18	Fabrizio Ferrari-Ruffino, Lorenzo Fortunato	GCM Solver (Ver. 3.0): A Mathematica Notebook for Diagonalization of the Geometric Collective Model (Bohr Hamiltonian) with Generalized Gneuss-Greiner Potential.	Comput.	2018	DBLP DOI BibTeX RDF
18	Diogo L. Cecílio, Thiago Donizetti dos Santos	A finite element elasticity programming in Mathematica software.	Comput. Appl. Eng. Educ.	2018	DBLP DOI BibTeX RDF
18	Fabio G. Guerrero	An interactive approach for illustrating a proof of the sampling theorem using MATHEMATICA.	Comput. Appl. Eng. Educ.	2018	DBLP DOI BibTeX RDF
18	Sabrine Mejri, Housam Binous, Kamal Mahgoub, Ahmed Bellagi	A model parameter estimation method using Mathematica© applied to transient chemical engineering processes.	Comput. Appl. Eng. Educ.	2018	DBLP DOI BibTeX RDF
18	Casey B. Mulligan, James Harold Davenport, Matthew England 0001	TheoryGuru: A Mathematica Package to apply Quantifier Elimination.	CoRR	2018	DBLP BibTeX RDF
18	Casey B. Mulligan, James H. Davenport, Matthew England 0001	TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.	ICMS	2018	DBLP DOI BibTeX RDF
18	Thomas Deppisch	E6Tensors: A Mathematica package for E6 Tensors.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
18	Filip Novotný	ParticleRecognition, a Mathematica GUI interface for analysis of complex shaped nanoparticles in micrographs.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
18	Peter E. Falloon, Jeremy P. J. Rodriguez, Jingbo B. Wang	QSWalk: A Mathematica package for quantum stochastic walks on arbitrary graphs.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
18	Anton K. Cyrol, Mario Mitter, Nils Strodthoff	FormTracer. A mathematica tracing package using FORM.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
18	D. Benjamin Clark, Eric Godat, Fredrick I. Olness	ManeParse: A Mathematica reader for Parton Distribution Functions.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
18	Hiren H. Patel	Package-X 2.0: A Mathematica package for the analytic calculation of one-loop integrals.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
18	Hakan Ozbasaran	solveTruss v1.0: Static, global buckling and frequency analysis of 2D and 3D trusses with Mathematica.	SoftwareX	2017	DBLP DOI BibTeX RDF
18	Lorenzo Fortunato, Ilyas Inci, José-Antonio Lay, Andrea Vitturi	TFF (v.4.1): A Mathematica Notebook for the Calculation of One- and Two-Neutron Stripping and Pick-Up Nuclear Reactions.	Comput.	2017	DBLP DOI BibTeX RDF
18	Jose L. Aragon	CGAlgebra: a Mathematica package for conformal geometric algebra.	CoRR	2017	DBLP BibTeX RDF
18	Robert Y. Lewis	An Extensible Ad Hoc Interface between Lean and Mathematica.	PxTP	2017	DBLP DOI BibTeX RDF
18	Wlodzimierz Wojas, Jan Krupa	Familiarizing Students with Definition of Lebesgue Integral: Examples of Calculation Directly from Its Definition Using Mathematica.	Math. Comput. Sci.	2017	DBLP DOI BibTeX RDF
18	Alexander N. Prokopenya	Motion of a Swinging Atwood's Machine: Simulation and Analysis with Mathematica.	Math. Comput. Sci.	2017	DBLP DOI BibTeX RDF
18	Marian Muresan	Introduction to Mathematica® with Applications		2017	DOI RDF
18	M. Irene Falcão, Fernando Miranda, Ricardo Severino, Maria Joana Soares	Mathematica Tools for Quaternionic Polynomials.	ICCSA (2)	2017	DBLP DOI BibTeX RDF
18	Joo-Haeng Lee	Detection and pose estimation of colored tangram pieces: An initial result based on mathematica implementation.	SII	2017	DBLP DOI BibTeX RDF
18	Frank Tabakin	QDENSITY/QCWAVE: A Mathematica quantum computer simulation update.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
18	Janusz Rosiek	MassToMI - A Mathematica package for an automatic Mass Insertion expansion.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
18	Vladimir V. Bytev, Bernd A. Kniehl	HYPERDIRE - HYPERgeometric functions DIfferential REduction: Mathematica-based packages for the differential reduction of generalized hypergeometric functions: Lauricella function FC of three variables.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
18	Shuyuan Xiao, Xueli Mu, Tingting Liu 0003, Hong Chen	A Mathematica program for the calculation of five-body Moshinsky brackets.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
18	Antonino Favata, Andrea Micheletti, Seunghwa Ryu, Nicola M. Pugno	An analytical benchmark and a Mathematica program for MD codes: Testing LAMMPS on the 2nd generation Brenner potential.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
18	Feng Feng 0002	APart 2: A generalized Mathematica Apart function.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
18	Mohammad Shahzad, Israr Ahmad, Azizan Bin Saaban, Adyda Binti Ibrahim	Improved Time Response of Stabilization in Synchronization of Chaotic Oscillators Using Mathematica.	Syst.	2016	DBLP DOI BibTeX RDF
18	Edwin D. Mares	Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell, Volume 5: Toward "Principia Mathematica", London and New York: Routledge, 2014, c + 954 and 10 plates.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF
18	Housam Binous, Ahmed Bellagi	Orthogonal collocation methods using Mathematica© in the graduate chemical engineering curriculum.	Comput. Appl. Eng. Educ.	2016	DBLP DOI BibTeX RDF
18	Vladimir V. Bytev, Bernd A. Kniehl	HYPERgeometric functions DIfferential REduction: Mathematica-based packages for the differential reduction of generalizedhypergeometric functions: Fc hypergeometric function of three variables.	CoRR	2016	DBLP BibTeX RDF
18	Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai	A Mathematica module for Conformal Geometric Algebra and Origami Folding.	SCSS	2016	DBLP DOI BibTeX RDF
18	Higinio Ramos, Susana Nieto Isidro	Dynamic visualization of the relative position of straight lines on the plane using Mathematica.	TEEM	2016	DBLP DOI BibTeX RDF
18	Martin Wiebusch	HEPMath 1.4: A mathematica package for semi-automatic computations in high energy physics.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
18	César Ayala, Gorazd Cvetic	anQCD: A Mathematica package for calculations in general analytic QCD models.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
18	Vladimir V. Bytev, Bernd A. Kniehl	HYPERDIRE HYPERgeometric functions DIfferential REduction: Mathematica-based packages for the differential reduction of generalized hypergeometric functions: Horn-type hypergeometric functions of two variables.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
18	Robert Feger, Thomas W. Kephart	LieART - A Mathematica application for Lie algebras and representation theory.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
18	Hiren H. Patel	Package-X: A Mathematica package for the analytic calculation of one-loop integrals.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
18	Alberto Abad, Roberto Barrio, Miguel Ángel Marco Buzunáriz, Marcos Rodríguez	Automatic implementation of the numerical Taylor series method: A Mathematica and Sage approach.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
18	Nilo C. Bobillo-Ares, Jesús Aller, Fernando Bastida, Omar Menéndez, Richard J. Lisle	StrainModeler: A Mathematica™-based program for 3D analysis of finite and progressive strain.	Comput. Geosci.	2015	DBLP DOI BibTeX RDF
18	Housam Binous, Abdullah A. Shaikh, Ahmed Bellagi	Chebyshev orthogonal collocation technique to solve transport phenomena problems with Matlab® and Mathematica.	Comput. Appl. Eng. Educ.	2015	DBLP DOI BibTeX RDF
18	Alberto Boschetto, Marco Pochini, Luana Bottini, Maria Rosaria Giovagnoli, Daniele Giansanti	The focus emulation and image enhancement in digital cytology: an experience using the software Mathematica.	Comput. methods Biomech. Biomed. Eng. Imaging Vis.	2015	DBLP DOI BibTeX RDF
18	Alicja Wróbel, Edyta Hetmaniok, Mariusz Pleszczynski, Roman Witula	On an improvement of the numerical application for Cardano's formula in Mathematica software.	SYSTEM	2015	DBLP BibTeX RDF
18	Alexandre K. W. Navarro, Vassilios S. Vassiliadis	Computer algebra systems coming of age: Dynamic simulation and optimization of DAE systems in Mathematica™.	Comput. Chem. Eng.	2014	DBLP DOI BibTeX RDF
18	Peter Marquard, Nikolai Zerf	SLAM, a Mathematica interface for SUSY spectrum generators.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Jonathan Squire, Joshua W. Burby, Hong Qin 0002	VEST: Abstract vector calculus simplification in Mathematica.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Teake Nutma	xTras: A field-theory inspired xAct package for mathematica.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Vladimir V. Bytev, Mikhail Yu. Kalmykov, Sven-Olaf Moch	HYPERgeometric functions DIfferential REduction (HYPERDIRE): MATHEMATICA based packages for differential reduction of generalized hypergeometric functions: FD and FS Horn-type hypergeometric functions of three variables.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Aaron M. Tagliaboschi, Jeremy B. Maddox	POTLIB2Math: A Mathematica interface to the potential energy surface library for chemical systems.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Maik Höschele, Jens Hoff, Alexey Pak, Matthias Steinhauser, Takahiro Ueda	MT: A Mathematica package to compute convolutions.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
18	Youngjoo Chung	Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions.	ICMS	2014	DBLP DOI BibTeX RDF
18	Tom Wickham-Jones	Exploring the Beauty of Mathematics with Mathematica.	EVA	2014	DBLP BibTeX RDF
18	Eric W. Weisstein	Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram\|Alpha.	CICM	2014	DBLP DOI BibTeX RDF
18	B. Azadegan	A Mathematica package for calculation of planar channeling radiation spectra of relativistic electrons channeled in a diamond-structure single crystal (quantum approach).	Comput. Phys. Commun.	2013	DBLP DOI BibTeX RDF
18	Celestino Angeli, Renzo Cimiraglia	Automated evaluation of matrix elements between contracted wavefunctions: A Mathematica version of the FRODO program.	Comput. Phys. Commun.	2013	DBLP DOI BibTeX RDF
18	Alexander P. Bakulev, Vyacheslav L. Khandramai	FAPT: A Mathematica package for calculations in QCD Fractional Analytic Perturbation Theory.	Comput. Phys. Commun.	2013	DBLP DOI BibTeX RDF