Search Results for "theory"
Sort By:
Showing 172 open source projects for "theory"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
Hecke.jl
Computational algebraic number theory
Hecke is a software package for algebraic number theory maintained by Claus Fieker, Tommy Hofmann and Carlo Sircana. It is written in julia and is based on the computer algebra packages Nemo and AbstractAlgebra. Hecke is part of the OSCAR project and the development is supported by the Deutsche Forschungsgemeinschaft DFG within the Collaborative Research Center TRR 195. -
2
Oscar.jl
A comprehensive open source computer algebra system for computations
...In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory. -
3
Algebraic graphs
Algebraic graphs
Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this Haskell Symposium paper and the corresponding talk for the motivation behind the library, the underlying theory and implementation details. We can give semantics to the constructors in terms of the pair (V, E) of graph vertices and edges. Alga can handle graphs comprising millions of vertices and billions of edges in a matter of seconds, which is fast enough for many applications. We believe there is a lot of potential for improving the performance of the library, and this is one of our top priorities. ... -
4
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on Elementary Number Theory' (TAKAGI, Teiji) in Python-NZMATH language. ... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
multinotes
Text architecture for music theory.
The text structures of notes and publications in music theory and musical analysis bring challenging requirements: how to include music notation excerpts, graphics, and even combinations thereof, into the typeset flow of paragraphs and into the work-flow, and how to integrate navigable references to these and to single domain entities into running text. Furthermore, dynamic interactive documents can be useful for presenting complicated interdependencies to the reader more clearly, far beyond conventional paper publication. ... -
6
An all-electron full-potential linearised augmented-planewave (FP-LAPW) code. Designed to be as developer friendly as possible so that new developments in the field of density functional theory (DFT) can be added quickly and reliably.
-
7
computem
Transmission Electron Microscope Image Simulation
These programs calculate high resolution conventional and scanning transmission electron microscope (CTEM, STEM) images of thin specimens from first principles using the multislice method for electrons in the energy range of approximately 60 keV to 1000 keV. The fundamental theory and usage are described in "Advanced Computing in Electron Microscopy" (Springer 2020) and Acta Cryst. A72 (2016) p. 1 by Earl J. Kirkland. Please refer to these for the theory of calculation and how to use these programs. computem uses a GUI and the temsim group uses a command line interface. The user is assumed to have some understanding of optics, Fourier transforms, electron microscopy and computer skills at the graduate or advanced undergraduate level. ... -
8
Fuzzy sets for Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. ... -
9
Napkin
An Infinitely Large Napkin
...It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. Because it is written in LaTeX (with supporting Asymptote or other tools), readers can compile their own version, and the repository integrates diagrams, flowcharts, and supplementary files. -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
Digraph3
A collection of python3 modules for Algorithmic Decision Theory
This collection of Python3 modules provides a large range of implemented decision aiding algorithms useful in the field of outranking digraphs based Multiple Criteria Decision Aid (MCDA), especially best choice, linear ranking and absolute or relative rating algorithms with multiple incommensurable criteria. Technical documentation and tutorials are available under the following link: https://digraph3.readthedocs.io/en/latest/ The tutorials introduce the main objects like digraphs,... -
11
-
12
CEFT/E-Space
This work did not begin with a theory. It began with a question.
Preface: On the Road to Co‑Emergence This work did not begin with a theory. It began with a question — a displacement — and the long, recursive response that followed. For years, physics, philosophy, computation, and consciousness studies have circled the same paradoxes: How can something arise from nothing? Why does the vacuum have structure? Why do infinities appear where our theories should be smooth? -
13
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
-
14
Chemical Trajectory Analyzer
A software package for processing and analyzing chemical trajectories
...-D.Przybylski-Freund, L.C.Kröger, W.A.Kopp, A.E.Ismail, K.Leonhard, "Automated Discovery of Reaction Pathways, Rate Constants, and Transition States Using Reactive Molecular Dynamics Simulations", J. Chem. Theory Comput. 11 (2015), 2517-2524 L.C.Kröger, W.A.Kopp, M.Döntgen, K.Leonhard, "Assessing Statistical Uncertainties of Rare Events in Reactive Molecular Dynamics Simulations", J. Chem. Theory Comput. 13 (2017), 3955-3960 M.Döntgen, F.Schmalz, W.A.Kopp, L.C.Kröger, K.Leonhard, "Automated Chemical Kinetic Modeling via Hybrid Reactive Molecular Dynamics and Quantum Chemistry Simulations", J. ... -
15
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
16
MensorGIS
Open Source Desktop GIS with Surveying and Cartography Functionality
...Should be seen as a Learn-GIS with basic Algorithms and Functionality in VB.NET and C#.NET without usage of Software Libraries: CAD/GIS Data (DXF, ShapeFile, GML2, GPX, KML, CSV), Data Schema, Query, Analysis, Topology, Contours, Ortho-Image Registration, Least Squares Adjustment. Also world-wide Geodata of Countries and POIs are available. A companion Scriptum gives explanation about the Theory behind MensorGIS. -
17
The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io
-
18
Fractal Zoomer
A Fractal Zoomer with various functions.
An application that lets you render some of the most known fractal functions, like the Mandelbrot set and many more! It comes with alot of options to further enhance your fractal experience! Its easy to use and does not require installation. A java version higher than 1.8 is required to be installed. -
19
LINE Solver
Simulation and algorithms for queueing theory
LINE is an open-source software package to analyze queueing models via analytical methods and simulation. The solver is available for Python, MATLAB, C++ and Java. LINE features algorithms for the solution of open queueing systems (e.g., M/M/1, M/M/k, M/G/1, ...), open and closed queueing networks, and layered queueing networks. The LINE discrete event simulator (LDES) covers a broad spectrum of these models. Additional details are available on the project website: http://line-solver.sf.net. -
20
relax
Molecular dynamics by NMR data analysis
The software package 'relax' is designed for the study of molecular dynamics through the analysis of experimental NMR data. Organic molecules, proteins, RNA, DNA, sugars, and other biomolecules are all supported. It supports exponential curve fitting for the calculation of the R1 and R2 relaxation rates, calculation of the NOE, reduced spectral density mapping, the Lipari and Szabo model-free analysis, study of domain motions via the N-state model and frame order dynamics theories using... -
21
MPIGeneNet
Parallel tool to construct gene co-expression networks
MPIGeneNet is a parallel tool to construct gene co-expression networks using Pearson’s correlation and Random Matrix Theory (RMT). This tool takes as input a matrix with the expression values (a float value) for different genes observed from several samples. It is a parallelization of RMTGenNet tool (https://github.com/spficklin/RMTGeneNet). MPIGeneNet integrates the whole procedure of creating the in one program, which makes the tool easier to work with (the users only have to launch the application once) and avoids writing/reading from intermediate files among the modules. -
22
Fuzzy machine learning framework
A library and a GUI front-end for fuzzy machine learning
Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent features; incremental learning; fuzzy control language support; object-oriented software design with extensible objects and automatic garbage collection; generic data base support through ODBC or SQLite; text I/O and HTML output; an advanced graphical user interface based on GTK+; and examples of use. -
23
...The code includes built-in fitting procedures with a wide variety of constraints; stochastic SR energy loss; the tracking of synchrotron radiation (SR) Poynting vector; space charge models; various Monte Carlo procedures, etc. Contact: francoisgmeot@gmail.com Documentation (History of accelerators that zgoubi deals with, theory, tutorials): https://link.springer.com/book/10.1007/978-3-031-59979-8 https://link.springer.com/book/10.1007/978-3-031-16715-7, Chap. 14.
-
24
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for managing truth tables and supports diverse file formats for import and export. -
25
CAMPARI
Software for molecular simulations and trajectory analysis
...We have added a number of new features, most notably a Python interface for interpreting user-supplied code (with the help of ForPy), a novel trajectory storage standard (with the help of libpqxx/PostgreSQL), and a module for performing transition path theory. Naturally, CAMPARI continues to provide the reference implementation of the ABSINTH force field paradigm and implicit solvation model. CAMPARI is a joint package for performing and analyzing molecular simulations, in particular of systems of biological relevance. It focuses on a wide availability of algorithms for (advanced) sampling and is capable of combining Monte Carlo and molecular dynamics in seamless fashion. ...
