The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Freek Wiedijk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Beeson, Freek Wiedijk
    The Meaning of Infinity in Calculus and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:246-258 [Conf]
  2. Sjouke Mauw, Freek Wiedijk
    Specification of the Transit Node in PSFd. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:341-361 [Conf]
  3. Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
    C-CoRN, the Constructive Coq Repository at Nijmegen. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:88-103 [Conf]
  4. Freek Wiedijk
    Comparing Mathematical Provers. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:188-202 [Conf]
  5. Luís Cruz-Filipe, Freek Wiedijk
    Hierarchical Reflection. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:66-81 [Conf]
  6. Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
    Equational Reasoning via Partial Reflection. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:162-178 [Conf]
  7. Freek Wiedijk
    Mizar Light for HOL Light. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:378-394 [Conf]
  8. Freek Wiedijk
    Introduction. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:1-9 [Conf]
  9. Freek Wiedijk, Jan Zwanenburg
    First Order Logic with Domain Conditions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:221-237 [Conf]
  10. Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
    A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. [Citation Graph (0, 0)][DBLP]
    TYPES, 2000, pp:96-111 [Conf]
  11. Freek Wiedijk
    Formal Proof Sketches. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:378-393 [Conf]
  12. Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk
    Uniform Algebraic Specifications of Finite Sets with Equality. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:43-65 [Journal]
  13. Freek Wiedijk
    Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:622-645 [Journal]
  14. Markus Wenzel, Freek Wiedijk
    A Comparison of Mizar and Isar. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:3-4, pp:389-411 [Journal]
  15. Freek Wiedijk
    A New Implementation of Automath. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:3-4, pp:365-387 [Journal]
  16. Michael Beeson, Freek Wiedijk
    The meaning of infinity in calculus and computer algebra systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:5, pp:523-538 [Journal]
  17. Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
    A Constructive Algebraic Hierarchy in Coq. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:34, n:4, pp:271-286 [Journal]
  18. Cezary Kaliszyk, Freek Wiedijk
    Certified Computer Algebra on Top of an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:94-105 [Conf]
  19. Freek Wiedijk
    Mizar's Soft Type System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:383-399 [Conf]
  20. Bas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk
    Preface to the special issue: Constructive analysis, types and exact real numbers. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:1- [Journal]
  21. Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk
    Constructive analysis, types and exact real numbers. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:3-36 [Journal]

  22. Proviola: A Tool for Proof Re-animation. [Citation Graph (, )][DBLP]


  23. Merging Procedural and Declarative Proof. [Citation Graph (, )][DBLP]


  24. A Real Semantic Web for Mathematics Deserves a Real Semantics. [Citation Graph (, )][DBLP]


  25. Proviola: A Tool for Proof Re-animation [Citation Graph (, )][DBLP]


  26. A Logical Framework with Explicit Conversions. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002