SymPy
From MaRDI portal
Software:13684
swMATH940WikidataQ5971368 ScholiaQ5971368MaRDI QIDQ13684FDOQ13684
Author name not available (Why is that?)
Official website: https://www.sympy.org
Source code repository: https://github.com/sympy/sympy.github.com
Cited In (only showing first 100 items - show all)
- A proof via finite elements for Schiffer's conjecture on a regular pentagon
- On computational Poisson geometry. I: Symbolic foundations
- On compact packings of the plane with circles of three radii
- I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
- A generalised formulation of G-continuous Bezier elements applied to non-linear MHD simulations
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- A tableau construction for finite linear-time temporal logic
- Variety of fiber orientation tensors
- MultiModeCode
- Mixed precision algorithms in numerical linear algebra
- Finite-volume scheme for the solution of integral boundary layer equations
- Studying associative learning without solving learning equations
- funm
- Finite difference computing with PDEs. A modern software approach
- FormTracer. A Mathematica tracing package using FORM
- Bifurcations of periodic solutions of a Hamiltonian system with a discrete symmetry group
- Code generation for generally mapped finite elements
- Algorithmic reduction of biological networks with multiple time scales
- FARGO3D
- Normalization of a periodic Hamiltonian system
- An algorithmic exploration of the existence of high-order summation by parts operators with diagonal norm
- Python for scientists
- A new generalization of nonlinear coherent states for the pseudoharmonic oscillator
- Invariant coordinate subspaces of normal form of a system of ordinary differential equations
- \textsc{waLBerla}: a block-structured high-performance framework for multiphysics simulations
- A modular extension for a computer algebra system
- Novel methods in computational finance
- New exact algorithms for planar maximum covering location by ellipses problems
- Fast and accurate evaluation of Wigner \(3j\), \(6j\), and \(9j\) symbols using prime factorization and multiword integer arithmetic
- Quaternionic step derivative: machine precision differentiation of holomorphic functions using complex quaternions
- Individual specialization and generalization in predator-prey dynamics: the determinant role of predation efficiency and prey reproductive rates
- Double conformal geometric algebra
- Tri-resonant leptogenesis in a seesaw extension of the standard model
- PyQUBO: Python Library for Mapping Combinatorial Optimization Problems to QUBO Form
- Computing expected runtimes for constant probability programs
- Automatically building diagrams for olympiad geometry problems
- On hyper-regularity and unimodularity of Ore polynomial matrices
- Aligator.jl -- a Julia package for loop invariant generation
- Oscillatory line source for water waves in shear flow
- High-order accuracy computation of coupling functions for strongly coupled oscillators
- On differential approximations of difference schemes
- Check your assumptions: further scrutiny of basic model frameworks of antimicrobial resistance
- Mathematical programming formulations for the alternating current optimal power flow problem
- Mathematical programming formulations for the alternating current optimal power flow problem
- celmech
- NbodyGradient
- REBOUNDx
- TTVFast
- MomentClosure.jl
- GALIC
- DisCoPy
- Ansätze for scattering amplitudes from \(p\)-adic numbers and algebraic geometry
- Simple, accurate, and efficient embedded finite element methods for fluid-solid interaction
- Optimizing micro-algae production in a raceway pond with variable depth
- Non-comoving cosmology
- A stabilized DG cut cell method for discretizing the linear transport equation
- A modified finite element formulation for the imposition of the slip boundary condition over embedded volumeless geometries
- Reconstructing a lattice equation: a non-autonomous approach to the Hietarinta equation
- Massively Parallel Simulations of Binary Black Hole Intermediate-Mass-Ratio Inspirals
- Non-negative moment fitting quadrature rules for fictitious domain methods
- 2D-FFTLog
- High-order Wachspress functions on convex polygons through computer algebra
- Automatic generation of formulae for polyominoes with a fixed perimeter defect
- Elementary examples of solutions to Bochner's problem for matrix differential operators
- An arbitrary high-order spectral difference method for the induction equation
- Generalizations of singular value decomposition to dual-numbered matrices
- An introduction to trajectory optimization: how to do your own direct collocation
- Imitation learning of stabilizing policies for nonlinear systems
- Programming for Computations - Python
- PhaPl: web application to plot and research phase portraits of autonomous systems of 2 differential equations
- PyCFTBoot: a flexible interface for the conformal bootstrap
- Symbolic linearization of equations of motion of constrained multibody systems
- TbGAL: a tensor-based library for geometric algebra
- SFOPDES: a stepwise first order partial differential equations solver with a computer algebra system
- Multiscale finite element calculations in Python using sfepy
- A Python/C library for bound-constrained global optimization with continuous GRASP
- T-branes and matrix models
- Hydrodynamic flows on curved surfaces: spectral numerical methods for radial manifold shapes
- Spectral deferred corrections with fast-wave slow-wave splitting
- Algorithm 950: Ncpol2sdpa -- sparse semidefinite programming relaxations for polynomial optimization problems of noncommuting variables
- Numerical wave propagation for the triangular \(P1_{DG}-P2\) finite element pair
- A Primer on Scientific Programming with Python
- PyFly: a fast, portable aerodynamics simulator
- Counting and generating permutations in regular classes
- Divergence-free approximate Riemann solver for the quasi-neutral two-fluid plasma model
- Use of the method of manufactured solutions for the verification of conjugate heat transfer solvers
- An enumeration of equilateral triangle dissections
- Efficiently and easily integrating differential equations with JiTCODE, JiTCDDE, and JiTCSDE
- Implementing geometric algebra products with binary trees
- Shallow water equations: split-form, entropy stable, well-balanced, and positivity preserving numerical methods
- LATTICEEASY
- Qucs
- SANC
- mpi4py
- jacobi2.0
- NumSBT
- RIEMANN
- APPL
- WolframAlpha
- Wolfram Functions Site
This page was built for software: SymPy