Python
From MaRDI portal
Cited in
(only showing first 100 items - show all)- New developments in the theory of Gröbner bases and applications to formal verification
- Invariant based programming: Basic approach and teaching experiences
- Interfaces for parallel numerical linear algebra libraries in high level languages
- On the implementation of automatic differentiation tools
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- Heuristics and exact methods for number partitioning
- PyACTS: A Python based interface to ACTS tools and parallel scientific applications
- PyPnetCDF: a high level framework for parallel access to netCDF files
- ANSYS
- AUTO_DERIV
- Cadabra
- CGAL
- Chaste
- FC++
- FIAT
- Cut and paste
- GELDA
- Ginv
- Gmsh
- Grail
- JMP
- LAPACK95
- LEVI
- Maple
- Mathematica
- Matlab
- Maxima
- MEEP
- datafold
- SimpleSplines
- NSC++
- NaBBODES
- l2-opt-rom-ex
- TRIQS/SOM
- DUNE-ACFem
- dolfin-adjoint
- PyFrac
- Prince
- condat_tv
- FogNetSim++
- LeXInt
- Detoxify
- stratifolds
- LabelImg
- JaxDF
- ScreeNOT
- KAPPA
- PySCF-NAO
- mri2fem
- PySimpleGUI
- rigidPY
- TSViz
- CharFunTool
- StepMix
- otsfeatures
- ctsfeatures
- CARLA
- featureTweakR
- MOSMaFS
- PASTA
- bgg-cohomology
- FLRWSolver
- quTARANG
- PyWolf
- Procrustes
- GPUE
- CDFTPY
- HIFIR
- NeuralCDE
- torchcde
- Diffrax
- torch
- Quail
- Qsim
- tqix.pis
- SMCPy
- Bingo
- SymbolicGPT
- Kinetic-energy-free-HF
- VAMPyR
- MRCPP
- pydynpd
- BasiCO
- MobsPy
- Curvature_ECNet_3D
- MontePython
- NetworkX
- NLTK
- Octave
- OpenFst
- PARI/GP
- PolyBoRi
- POMULT
- dynamic_survival_analysis
- pyRootTomography
- pyQTB
- mQTB
- mRootTomography
- qMLE
- GPry
This page was built for software: Python
