Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|