Found 9 Documents (Results 1–9)
A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations. (English) Zbl 1382.65240
Automated theory exploration for interactive theorem proving: an introduction to the Hipster system. (English) Zbl 1483.68484
Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 1-11 (2017).
MSC:
68V15
Quick specifications for the busy programmer. (English) Zbl 1418.68037
MSC:
68N18
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation. (English) Zbl 1419.68127
The natural algorithmic approach of mixed trigonometric-polynomial problems. (English) Zbl 1373.42003
Proof mining with dependent types. (English) Zbl 1367.68251
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 303-318 (2017).
MSC:
68T15
68T05
A fully automatic theorem prover with human-style output. (English) Zbl 1405.03035
MSC:
03B35
68T15
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (2)
all
top 5
Author
- Johansson, Moa (2)
- Algehed, Maximilian (1)
- Budzyńska, Katarzyna (1)
- Buss, Samuel R. (1)
- Claessen, Koen (1)
- Corneli, Joseph (1)
- Dlamini, Phumlani Goodwill (1)
- Fuhs, Carsten (1)
- Ganesalingam, Mohan (1)
- Gowers, William Timothy (1)
- Heras, Jónathan (1)
- Iemhoff, Rosalie (1)
- Khumalo, Melusi (1)
- Kohlenbach, Ulrich Wilhelm (1)
- Komendantskaya, Ekaterina (1)
- Kop, Cynthia (1)
- Lawrence, John (1)
- Lutovac, Tatjana (1)
- Malešević, Branko J. (1)
- Mortici, Cristinel (1)
- Nishida, Naoki (1)
- Pease, Alison (1)
- Rathjen, Michael (1)
- Reed, Chris (1)
- Smallbone, Nicholas (1)
all
top 5
Serial
- Artif. Intell. (1)
- J. Autom. Reasoning (1)
- J. Funct. Program. (1)
- J. Inequal. Appl. (1)
- ACM Trans. Comput. Log. (1)
- Oberwolfach Rep. (1)
- Open Math. (1)
all
top 3
Software
- Hipster (3)
- Theorema (3)
- Coq (2)
- IsaCoSy (2)
- Isabelle (2)
- Naproche (2)
- QuickCheck (2)
- kepler98 (2)
- z3 (2)
- APS-1 (1)
- AProVE (1)
- Analytica (1)
- Archive Formal Proofs (1)
- CVC4 (1)
- Cambridge LCF (1)
- Coq/SSReflect (1)
- CoqHammer (1)
- Daikon (1)
- ForTheL (1)
- GitHub (1)
- HOL (1)
- Haskell (1)
- HipSpec (1)
- Isabelle/HOL (1)
- KITTeL (1)
- ML4PG (1)
- MaSh (1)
- Minlog (1)
- Nuprl (1)
- PRMLT (1)
- Pesca (1)
- QuickSpec (1)
- SEPIA (1)
- SMT-LIB (1)
- SymDiff (1)
- TIP (1)
- TPTP (1)
- Tweety (1)
- WEKA (1)
- Z (1)
- cubicaltt (1)
