Search Results for "mathematics"
Sort By:
Showing 36 open source projects for "mathematics"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
$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.
-
1
LaTeX2e Kernel Code Repository
The LaTeX2e kernel
LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation. LaTeX is the de facto standard for the communication and publication of scientific documents. LaTeX is available as free software. -
2
Ethereum Yellow Paper
The "Yellow Paper": Ethereum's formal specification
The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers seeking a precise, unambiguous description of Ethereum’s design and expected behavior. ... -
3
octave-cfitsio
GNU octave bindings to the cfitsio library
GNU Octave bindings to the cfitsio library in an attempt to make a close to MATLAB toolkit for Octave. -
4
VSCode-LaTeX-Inkscape
A way to integrate LaTeX, VS Code, and Inkscape in macOS
...I use LaTeX heavily for both academic work and professional work, and I think I'm quite proficient in terms of typing things out in LaTeX. But when I see the mind-blowing blog posts from Gilles Castel (RIP)-How I'm able to take notes in mathematics lectures using LaTeX and Vim and also How I draw figures for my mathematical lecture notes using Inkscape, I realize that I'm still far from fast, so I decided to adapt the whole setup from Linux-Vim to macOS-VS Code. -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
brl2mml
A library to convert between braille and MathML
**NOTE**: This project has been moved to https://github.com/timothytylee/brl2mml brl2mml is a library that can perform conversion between braille and MathML. It currently supports UK Maths braille. -
6
LateXSL is a set of XSLT stylesheets that translates LaTeX embedded in a Web page into HTML, so that math typed directly into a web page as LaTeX is displayed as math in a viewer's browser. The stylesheets may be applied in the browser or by a server.
-
7
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
8
-
9
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
11
VisualMathEditor
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their... -
12
IDL specified API for manipulating and processing CellML 1.0 and 1.1. Includes C++ implementation. Accessible from a C++ program, or from any language for which a CORBA language mapping is available Also, a Java wrapper of the API is available.
-
13
knowceans
Utility classes from maps to search engine to random samplers
Collection of several multi-purpose Java libraries. --- knowceans-tools = collection of Java utility classes. --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString,... -
14
The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.
-
15
The Perl 3D-extension of MFPic LaTeX package aimed to high quality draw of spatial objects, such as vectors, curves, bounded surfaces.
-
16
DragMath is a drag and drop equation editor in the form of a Java applet. Once an expression is created the user can convert it into a variety of different linear syntax for mathematics, including MathML, LaTeX, Maple, Maxima or any user defined style. PLEASE NOTE: active code development has moved to GitHub. https://github.com/maths/dragmath
-
17
I/O routines and tools for sparse matrices.
-
18
Provides an API, which enables the Matlab or Octave user (and developer) to incorporate Space Weather data and metadata resources from the Space Physics Interactive Data Resource (SPIDR) directly into an Matlab/Octave application. Examples included.
-
19
Provides an API, which enables the Interactive Data Language (IDL) user (and developer) to incorporate Space Weather data and metadata resources from the Space Physics Interactive Data Resource (SPIDR) directly into an IDL application. Examples included.
-
20
Hier wird die Versionsverwaltung (SVN) für die LaTeX-Mitschrift der Vorlesung "Analysis für Informatiker und Statistiker" gehostet. Diese findet im WS 2009/2010 an der LMU München statt.
-
21
Web service providing a REST and ROA (Resource Oriented Architecture) interface to LaTeX to layout formulas. As the project evolves, different output representations will be available.
-
22
The project Intergeo co-funded by the Community programme eContentplus develops an open-source library for the common file format it defines to allow developers of dynamic geometry systems to quickly integrate read support for such files.
-
23
-
24
Programming languages, software tools, and datasets for working with digital representations of diagrams in Ancient Science and Mathematics. Areas of focus for the project include navigation, production, assertion and querying of diagrammatic content.
-
25
TekMath is a java/swing-based viewer for the Math Markup Language (MathML) that can be easily embedded in custom java applications. It supports both content and presentation markup languages, and depends on no external packages beyond the java runtime.