SymPy
From MaRDI portal
Software:13684
swMATH940WikidataQ5971368 ScholiaQ5971368MaRDI QIDQ13684FDOQ13684
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- On computational Poisson geometry. I: Symbolic foundations
- I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
- Implementing a method for stochastization of one-step processes in a computer algebra system
- A generalised formulation of G-continuous Bezier elements applied to non-linear MHD simulations
- A tableau construction for finite linear-time temporal logic
- Optimizing Probabilities in Probabilistic Logic Programs
- Variety of fiber orientation tensors
- Automated generation of conditional moment equations for stochastic reaction networks
- Dissecting the square into seven or nine congruent parts
- Construction and Numerical Assessment of Local Absorbing Boundary Conditions for Heterogeneous Time-Harmonic Acoustic Problems
- Studying associative learning without solving learning equations
- Using observed incidence to calibrate the transmission level of a mathematical model for \textit{Plasmodium vivax} dynamics including case management and importation
- Generating functions for probabilistic programs
- Doppler effects of an oscillating line source in shear flow with a free surface
- Homotopy Gerstenhaber algebras are strongly homotopy commutative
- Sparse identification of truncation errors
- High-Order Accuracy Computation of Coupling Functions for Strongly Coupled Oscillators
- First-passage time statistics on surfaces of general shape: surface PDE solvers using generalized moving least squares (GMLS)
- Nonlinear Helmholtz equations with sign-changing diffusion coefficient
- Invariant coordinate subspaces of normal form of a system of ordinary differential equations
- Computation of the resonance set of a polynomial under constraints on its coefficients
- Cell repolarization: a bifurcation study of spatio-temporal perturbations of polar cells
- A bit-vector differential model for the modular addition by a constant
- A Stabilized DG Cut Cell Method for Discretizing the Linear Transport Equation
- \textsc{waLBerla}: a block-structured high-performance framework for multiphysics simulations
- A modular extension for a computer algebra system
- Algorithms and programs for calculating the roots of polynomial of one or two variables
- Quaternionic step derivative: machine precision differentiation of holomorphic functions using complex quaternions
- Finding multiple Nash equilibria via machine learning-supported Gröbner bases
- Coupled sliding-decohesion-compression model for a consistent description of monotonic and fatigue behavior of material interfaces
- A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
- A unified physiological framework of transitions between seizures, sustained ictal activity and depolarization block at the single neuron level
- 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
- Symbolic and numerical methods for searching symmetries of ordinary differential equations with a small parameter and reducing its order
- Check your assumptions: further scrutiny of basic model frameworks of antimicrobial resistance
- Automated learning of interpretable models with quantified uncertainty
- Simple, accurate, and efficient embedded finite element methods for fluid-solid interaction
- Optimizing micro-algae production in a raceway pond with variable depth
- A Meshfree Computational Approach Based on Multiple-Scale Pascal Polynomials for Numerical Solution of a 2D Elliptic Problem with Nonlocal Boundary Conditions
- A modified finite element formulation for the imposition of the slip boundary condition over embedded volumeless geometries
- Code Generation for Generally Mapped Finite Elements
- Massively Parallel Simulations of Binary Black Hole Intermediate-Mass-Ratio Inspirals
- Non-negative moment fitting quadrature rules for fictitious domain methods
- High-order Wachspress functions on convex polygons through computer algebra
- Automatic generation of formulae for polyominoes with a fixed perimeter defect
- An arbitrary high-order spectral difference method for the induction equation
- A practical approach to testing random number generators in computer algebra systems
- Imitation learning of stabilizing policies for nonlinear systems
- Programming for Computations - Python
- A proof via finite elements for Schiffer's conjecture on a regular pentagon
- 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
- On compact packings of the plane with circles of three radii
- 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
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- Mixed precision algorithms in numerical linear algebra
- Finite-volume scheme for the solution of integral boundary layer equations
- Spectral deferred corrections with fast-wave slow-wave splitting
- Algorithm 950: Ncpol2sdpa -- sparse semidefinite programming relaxations for polynomial optimization problems of noncommuting variables
- FormTracer. A Mathematica tracing package using FORM
- Resolvability of Hamming Graphs
- Numerical wave propagation for the triangular \(P1_{DG}-P2\) finite element pair
- The Cost of Continuity: Performance of Iterative Solvers on Isogeometric Finite Elements
- Bifurcations of periodic solutions of a Hamiltonian system with a discrete symmetry group
- A Primer on Scientific Programming with Python
- PyFly: a fast, portable aerodynamics simulator
- Algorithmic reduction of biological networks with multiple time scales
- Normalization of a periodic Hamiltonian system
- An algorithmic exploration of the existence of high-order summation by parts operators with diagonal norm
- 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
- A new generalization of nonlinear coherent states for the pseudoharmonic oscillator
- An enumeration of equilateral triangle dissections
- Novel methods in computational finance
- Finite Difference Computing with PDEs
- Efficiently and easily integrating differential equations with JiTCODE, JiTCDDE, and JiTCSDE
- New exact algorithms for planar maximum covering location by ellipses problems
- An Introduction to Trajectory Optimization: How to Do Your Own Direct Collocation
- Implementing geometric algebra products with binary trees
- Shallow water equations: split-form, entropy stable, well-balanced, and positivity preserving numerical methods
- Fast and accurate evaluation of Wigner \(3j\), \(6j\), and \(9j\) symbols using prime factorization and multiword integer arithmetic
- Individual specialization and generalization in predator-prey dynamics: the determinant role of predation efficiency and prey reproductive rates
- Double conformal geometric algebra
- Architecture and Performance of Devito, a System for Automated Stencil Computation
- FunGrim: A Symbolic Library for Special Functions
- Tri-resonant leptogenesis in a seesaw extension of the standard model
- PyFR: an open source framework for solving advection-diffusion type problems on streaming architectures using the flux reconstruction approach
- Optimal migratory behavior in spatially-explicit seasonal environments
- A Python/C++ library for bound-constrained global optimization using a biased random-key genetic algorithm
- Mathematical Modeling of the Human Brain
- PyR{\@}TE
This page was built for software: SymPy