Search Results for "form"
Sort By:
28 projects for "form" with 2 filters applied:
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
1
XMDS
Fast integrator of stochastic partial differential equations
XMDS is a code generator that integrates equations. You write them down in human readable form in a XML file, and it goes away and writes and compiles a C++ program that integrates those equations as fast as it can possibly be done in your architecture. -
2
MaxFEM
Software for electromagnetic simulation
...Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them. -
3
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
4
lottie vectors
Create, display and process 2D vectors in a 3D window.
...More exactly -displaying them in ways that hopefully will allow you to explore and better understand your vector data. The basic idea is simple, take a vector defined in one of a few different types of data formats and map it on the screen. Add another vector and you start to form a 'route'. Each route or position vector can be accompanied with a 'force' vector. This can be used to show something acting on a position with direction and magnitude. Finally you can give each position a tag to display on screen. This could be a common math symbol or greek letter, start/end signposts, or a number of the position either from the begining or after a reset. ... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
...It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base. -
6
Econball
Equation of stock trading simplified to game of moving resizing balls
...Think of it as a 2d seesaw surface that never tilts because the masses of balls are adjusted to always balance. This is the early start of a game based on that econ theory. Econ is boring in number and symbol form, but as a realtime game its more like dancing. -
7
Logic Calculator
A Calculator to perform logical operations
... (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions. (3) Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): In this mode the user inserts a logic formula and the Logic Calculator outputs its representation in both a DNF and CNF. -
8
Visual Integer Factor
Puzzle game demonstrating whats so hard about binary integer factoring
VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2... -
9
EMsieve
A simple sieve/prefactor program for Eisenstein-Mersenne Primes
...See http://oeis.org/A125738, A125739 and [1] for a good introduction. Some easily established properties are: p must be prime; sign is minus for p=+-1 (mod 12), plus otherwise; composites only have factors of form 6kp+1 (integer k). Related probable primes (3^p -+ 3^((p + 1)/2) + 1)/7 are sieved at the same time. See http://oeis.org/A125743, A125744. After sieving, the Berrizbeitia-Iskra or a Proth test can be run; this is best implemented with FFT mod (3^3p+1) using GWNUM library. A sample implementation (a patch to the LLR program) is available from Batalov... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
java-numbers
A library for working with various complex numbers in Java.
Java-Numbers is a library for working with complex numbers of arbitrary precision in Java. Currently I have implemented Rational, which describes rational numbers in vulgar form. For example instead of 1/3 becoming the irrational 0.3333..., it remains 1/3, and so operations on it result in what was intend, i.e. (1/3) * (3) = 1, and not 0.3333... * 3.0 = 0.9999... -
11
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
-
12
ViennaFEM
A finite element solver using state-of-the-art programming techniques.
ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration. -
13
This library provides a general purpose polynomial calculator for actionscript 3. This includes basic math operators, deriviatives, finding zeros (uses TOMS493 algorithm), and solving. Supports copmlex coeffiecents and rational polynomials.
-
14
SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
-
15
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
-
16
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
-
17
This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.
-
18
-
19
Grapher is a research project that attemts to solve the problem of graphing implicit equations (i.e. in the form f(x,y) = g(x,y)). The main focus here will be experimenting with different algorithms, though we attempt to provide a usable Gtk interface.
-
20
wxMorlet implements the new algorithm (see "Documentation") for the computation of the continuous wavelet transform with the Morlet wavelet. wxMorlet calculates it as a numerical solution of the proper PDE and represents the results in a graphical form
-
21
IFS Tools is a set of Java applets for the interactive, graphical construction of iterated function system (IFS) fractals. Output is in the form of IFS code and graphics.
-
22
This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.
-
23
Advanced calculator for devices that has J2ME supported. You can evaluate sophisticated arithmetic expressions in conventional form including function using. The set of operarations and functions can be easily extended. Works for any J2ME device.
-
24
This C++ wrapper is intended for the wrapping around of the mathematica core library. It allows simple core mathematica function calling of the form: Mathematica m; m.factor();
-
25
Graphic editor for graphically designing form. With those form you can do operation like translation, rotation, projection, sym axial, sym central, homothetie.These project include MyMatrix, MyMatrix2, Vector2, and MathOperation and Form class like Squar
