windsteiger / Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
☆70Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Theorema
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- Integrating notebooks to Mathematica's documentation center☆29Updated 6 years ago
- Highlighting of Mathematica code for Mathematica.stackexchange☆48Updated 5 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆126Updated 4 months ago
- Find and report problems in Wolfram Language code☆65Updated last year
- An easy IDE for Mathematica in Mathematica☆22Updated 5 years ago
- Mathematica REPL plugin for IntellyJ IDEA IDE☆14Updated 6 years ago
- Enter Unicode characters using LaTeX notation☆92Updated 10 months ago
- A package providing a palette to upload images and data to mathematica.stackexchange☆21Updated 7 months ago
- ☆19Updated 6 years ago
- Extend Mathematica with LibraryLink and C++ with ease☆57Updated 3 years ago
- Implementation of higher-order logic in Python☆58Updated last year
- Object Oriented Programming in Mathematica 10+☆25Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 2 months ago
- Talk introducing GitLink given at the 2015 Wolfram Technology Conference☆20Updated 5 years ago
- Communicate with MATLAB from Mathematica☆68Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Packages and scripts common to my projects developed using Wolfram Workbench.☆11Updated 8 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆36Updated 12 years ago
- Automatically exported from code.google.com/p/pythonika☆35Updated 8 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated last year
- Schemes in Lean (v2)☆42Updated 4 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- JavaScript embedder for Wolfram Cloud notebooks☆57Updated 3 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- Mathematica library link wrapper for BVLC/Caffe☆20Updated 9 years ago
- A package for plotting plot.ly graphs in Wolfram Mathematica☆25Updated 10 years ago
- Python package to convert LaTeX markup to DOM☆14Updated last year
- Git integration for the Wolfram Language☆116Updated 2 years ago