Software Map
Project Tree
Now limiting view to projects in the following categories:
Development Status :: 3 - Alpha [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Scientific/Engineering :: Mathematics [Remove This Filter]
7 projects in result set.
Slimmer
- Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 2.14
Registered: 2006-05-11 20:47 |
CALVI
- The purpose of the CALVI project is to design numerical method and develop simulation and visualization codes for the solving and the visualization of partial differential equations describing particles beams and plasmas.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Environment : OpenMP[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- Kind : Work group[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Operating System : POSIX : SunOS/Solaris[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 0.00
Registered: 2007-06-08 11:51 |
ReaTK
- Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2015-04-22 14:56 |
Zenon (automated theorem prover)
- Automated theorem prover for first order logic with equality, based on the tableau method.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2014-11-06 09:33 |
ArchSat
- ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Registered: 2015-07-17 09:15 |
SOLEIL
- Solver for integral equations by collocation methods
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : OpenMP[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2011-03-24 16:48 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2009-09-21 09:47 |
