Showing 32 open source projects for "paper"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch 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.
    Start Free Trial
  • Atera - an All-in-one platform for IT management Icon
    Atera - an All-in-one platform for IT management

    Ideal for IT departments and MSPs (managed service providers)

    Your IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
    Try Atera now
  • 1
    alphageometry

    alphageometry

    AI-driven neuro-symbolic solver for high-school geometry problems

    ...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    Algebraic graphs

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3

    MatCont

    Numerical Bifurcation Analysis Toolbox in Matlab

    ...Leaders of the project are Willy Govaerts (Gent,B) and Yuri A. Kuznetsov (Utrecht,NL) and Hil G.E. Meijer (UT, Enschede, NL). Matcont for ODEs and MatcontM for Maps Publishing a paper using our software? That's great. Please do us a favour and cite: New features of the software MatCont for bifurcation analysis of dynamical systems. A. Dhooge, and W. Govaerts, Yu.A. Kuznetsov, H.G.E. Meijer and B. Sautois, MCMDS 2008, Vol. 14, No. 2, pp 147-175 In case you're stuck, use the forum, but to get a good answer provide: 1. ...
    Leader badge
    Downloads: 139 This Week
    Last Update:
    See Project
  • 4
    Ket

    Ket

    An algebra editor

    A text editor for maths. Simple algebra should be faster and more intuitive to perform on a computer than on paper and should look like maths. Write small fragments in plain text; perform simple click-and-drag algebra with the mouse; and explore more involved algebra through keyboard shortcuts. When done, save as plain text files or export to LaTeX and HTML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • 5

    rcal

    an interactive "rolling paper" calculator

    rcal is an interactive calculator for DOS, that loosely mimics the behavior of "roller printing" calculators. It supports huge numbers, floating point and has extremely low hardware requirements.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Discursive Dilemma

    Optimal Decision Rules for the Discursive Dilemma

    Accompanying software for the paper "Optimal Decision Rules for the Discursive Dilemma", by A. Alabert, M. Farré and R. Montes (https://arxiv.org/abs/2210.13100). Computes a ranking of the best decision rules according to a quantitative criterion based on the minimisation of the combined probabilities of false positives and false negatives
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    TopDeg

    Program for topological degree calculation.

    The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ...See the Wiki page for a description of the math conjecture. https://en.wikipedia.org/wiki/Collatz_conjecture The program tests a number of ways for researching various patterns. A white paper is included that describes various results of the research. Also included are a number of data files of results of the program.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    StatisticsTables

    StatisticsTables

    This is a Java APP for Probability and Statistics Tables

    If you have Windows or a MAC , you can setup and run Statistics Tables with very little effort. You can use jdistabs in place of paper Probability Tables to get electronic probabilities. You can also download the Java code used to create this APP. There are 2 zips. One is for a working windows APP, and the other with complete code and file structure. I used Eclipse to develop the APP. Click the link you want to download to get the Statistics Tables Windows.exe or OS X zipped files. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 10

    RegexToNFA

    Compiles regular expressions into modular NFA

    This program compiles regular expressions (regexes) written in the modified ECMAScript regex grammar into modular nondeterministic finite automata suitable for hardware acceleration. This was originally an extended re-implementation of the "front-end" part in the following paper: https://www.computer.org/csdl/proceedings/reconfig/2008/3474/00/3474a073-abs.html It has since grown to include conversion of a set of NFAs to a DFA; compilation of NFAs to instruction suitable for simulation; and compilation of a DFA to hash-based data structures for a simulator.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    BioFVM

    BioFVM

    3-D diffusion solver for biological problems

    ...BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method paper: http://dx.doi.org/10.1093/bioinformatics/btv730
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ...With the basic library one can solve heat flow equations, Maxwell equations, and solid mechanical problems. Several add-ons are available for particular application classes. New paper: J. Schöberl: "C++11 Implementation of Finite Elements in NGSolve", ASC Report 30/2014, Institute for Analysis and Scientific Computing, Vienna University of Technology, 2014 http://www.asc.tuwien.ac.at/~schoeberl/wiki/publications/ngs-cpp11.pdf
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    spectralHMM

    A spectral method for inferring selection from time series data

    ***WARNING*** This software was migrated to: https://github.com/popgenmethods/spectralHMM Support and updates will only be available at this new address. This software implements the algorithms described in the following paper: Steinrücken, M., Bhaskar, A. and Song, Y.S. A novel spectral method for inferring general diploid selection from time series genetic data. Annals of Applied Statistics, Vol. 8, No. 4 (2014) 2203-2222
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Maps coloring

    Maps coloring

    Four color theorem application

    Search for a pencil and paper proof of the four color problem. See http://4coloring.wordpress.com for info. Please let me know what you think about this application. Also visit the youtube channel: http://www.youtube.com/user/mariostefanutti/videos
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Burris Numerical System

    Burris Numerical System

    A Numerical System controlled by algorithms.

    BNS - Burris Numerical System was written to store the last digit of a number in 3 dimensional space but store the rest of the number mathematically in the 4th dimension of space. The result is that no matter how long the number is you can write it down on a piece of paper and put it in your pocket. The software can be used to retrieve the number. This can be used to save computer files. The only limit with BNS is how much time the user has. The software nor the numerical system has no limits. The book on BNS is here https://www.createspace.com/4404221 The inventors websight is here: http://timetravelinstitute.biz
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    CurvatureFilter

    CurvatureFilter

    Curvature Filters are efficient solvers for Variational Models

    These curvature filters were developed by Yuanhao Gong during his PhD studies. MC filter and TV filter are exactly the same as described in the paper. However, the GC filter is slightly modified. Please cite the following papers if you use a curvature filter in your work. Traditional solvers, such as gradient descent or Euler Lagrange Euqation, start at the total energy and use diffusion scheme to carry out the minimization. When the initial condition is the original image, the data fitting energy always increases while the regularization energy always reduces during the optimization. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    Econball

    Equation of stock trading simplified to game of moving resizing balls

    ...Those who change to the majority side lose, and those who change to the minority side win, since it is scaled to the average. Its the same math as Matching Pennies and Odds And Evens game which are Rock Paper Scissors with 2 choices instead of 3 (buy vs sell). You see this in the size of balls changing depending where they move. 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    Jafaran

    Fast and more random implementations of java.util.Random.

    ...The names of implementations contain "Conc" (for concurrent) if they are thread-safe and non-blocking, or "Seq" (for sequential) if they are not thread-safe. Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided implementations. Requires Java 5 or later. Also available on github since 2015/12/13: https://github.com/jeffhain/jafaran Principal classes: - Implementations using Mersenne-Twister algorithm (good pseudo-randomness): MTSyncRNG MTSeqRNG - Implementations using Marsaglia Xor-Shift (fast): MXSIntSeqRNG (32 bits) MXSLongSeqRNG (64 bits) (nextLong() faster, larger period) - Ziggurat: Random-based implementation of Ziggurat algorithm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    MattsMathTools

    MattsMathTools

    MathTools is an aid in preparing printed math tests.

    Matt's MathTools is a Java application designed as an aid in preparing printed math tests. It is easily embedded in other Java applications or it can be used alone as a single-user desktop app. It includes a scripting environment, numerous demonstration classes and several general utilities. A scripting tutorial is also available.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    DEAPathways

    Differential Expression Analysis for Pathways

    This project contains the source code associated with the PLoS Computational Biology publication: "Differential Expression Analysis for Pathways". The paper text can be found here: http://www.ploscompbiol.org/article/info%3Adoi%2F10.1371%2Fjournal.pcbi.1002967
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    libsharp

    Library for spherical harmonic transforms (SHT)

    ...It supports a wide range of pixelisations (including HEALPix, GLESP, and ECP). This library is a successor of libpsht (http://sourceforge.net/projects/libpsht). A scientific overview over the functionality is given in the paper available at http://arxiv.org/abs/1303.4945.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    hbgm

    'Hierarchical Bond Graph Modelling of Biochemical Networks'

    ... (3) Department of Mathematics and Statistics, University of Melbourne, Victoria 3010, Australia. (4) School of Medicine, University of Melbourne, Victoria 3010, Australia Draft paper available at http://arxiv.org/abs/1503.01814
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    Maxima poles-zeros for analog circuits

    Maxima script for symbolic analysis of analog integrated circuits

    ...DC transfer function, zeros, poles result simplified so main contributing elements can be easily identified. Poles and zeros approximation principle mainly taken from the paper "INDIRECT FEEDBACK COMPENSATION TECHNIQUES FOR MULTI-STAGE OPERATIONAL AMPLIFIERS" by Vishal Saxena Usage examples also can be taken from "Maxima Opamp Analisys" project Any comments bug reports and improvement suggestions are welcomed! ** The project based on script and concept initially developed by Ram Livne **
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24

    Fast Gauss-Legendre Quadrature Rules

    Computes Gauss-Legendre quadrature nodes and weights

    ...The latter also makes this software perfectly compatible with parallel computing paradigms. - Accuracy: the error on the nodes and weights is smaller than a few ulps (see the paper for details).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    A High-Order Multi-Variate Approximation Scheme for Arbitrary Data Sets, C implementation of the method described in http://web.mit.edu/qiqi/www/paper/interpolation.pdf, with Python and Fortran interfaces.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
Auth0 Logo