ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

ในประเพณีของโปรแกรมของ Hilbert เราสร้างถูกต้องอย่างเป็นทางการ (ตรวจสอบได้โดยผู้ตรวจสอบหลักฐาน) แต่อ่านได้ (เช่นตําราเรียน LaTeX ธรรมดา) ฐานความรู้ทางคณิตศาสตร์ซึ่งสามารถเข้าถึงได้อย่างอิสระภายในอินเทอร์เน็ต ตรรกะและการตั้งค่าทฤษฎีเริ่มต้นแล้ว

ประวัติรุ่น

  • เวอร์ชัน 0.04.02 โพสต์เมื่อ 2011-05-01
  • เวอร์ชัน 0.04.11 โพสต์เมื่อ 2011-03-05
    การแก้ไขและการอัปเดตหลายรายการ

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • GET_IT - Game Engine Tutorial in TCL ฟรี

    โครงการนี้ถูกปิดลงเมื่อไม่นานมานี้ ถ้าเธออยากเอาชื่อโครงการมา

  • SPINA ฟรี

    SPINA เป็นซอฟต์แวร์สําหรับการกําหนดพารามิเตอร์โครงสร้างคงที่ของระบบควบคุมการตอบรับต่อมไร้ท่อจากระดับฮอร์โมนที่ได้รับใน vivo รุ่นแรกของวิธีการ cybernetic นี้ช่วยให้ evualuating สถานะการทํางานของต่อมไทรอยด์ลึงค์

  • Meshgen ฟรี

    Meshgen ถูกออกแบบมาเพื่อสร้างตาข่าย FEM 2D แบบโต้ตอบประกอบด้วยองค์ประกอบรูปสามเหลี่ยมและสี่เท่า

  • Vocabulary Builder for GRE SAT ทดลองใช้ฟรี

    แมนฮัตตันรีวิวแนะนําแอปพลิเคชั่นมือถือครั้งแรกในอินเดีย คุณสามารถเรียนรู้คําศัพท์ใหม่ที่จะช่วยคุณในการเตรียมความพร้อมสําหรับ GRE, SAT, TOEFL และ IELTS นอกจากนี้คุณยังสามารถประเมินความรู้ของคุณเกี่ยวกับคําและทดสอบทักษะคําศัพ

  • Carrying the Word ทดลองใช้ฟรี

    ถือคําที่ตีพิมพ์โดยสื่อมหาวิทยาลัยโคโลราโดซื้อ ebook ปลอด DRM วันนี้! ขับเคลื่อนโดยอัลดิโกการศึกษาความยาวเต็มรูปแบบครั้งแรกของนักเต้น Concheros ซึ่งการใช้การเต้นรําเชื่อมโยงการปฏิบัติทางศาสนาในชนบทกับนวัตกรรมหลังสมัยให

  • Moritz ฟรี

    โมริตซ์เป็น & quot;addon" เครื่องมือที่รู้จักกันดี doxygen. มันสร้างไดอะแกรม nassi shneiderman ของฟังก์ชั่นและวิธีการในแหล่ง c / c ++ เป็นไฟล์ html ซึ่งอาจรวมอยู่ในซอฟต์แวร์ dokumentaion หรือ whached ง่ายโดยใช้เบ

  • Birdlogger ฟรี

    โปรแกรมบันทึกเสียงนกเพื่อช่วยนักวิทยาวิทยาและผู้ดูนกในการบันทึกนกที่มองเห็น ใน Visual Basic สําหรับ Windows และ Linux อังกฤษและฝรั่งเศส

  • Bowtie ฟรี

    Bowtie ซึ่งเป็นอุปกรณ์จัดฟันอ่านสั้นที่ประหยัดหน่วยความจําเป็นพิเศษสําหรับลําดับดีเอ็นเอสั้น ๆ (อ่าน) จากตัวจัดลําดับถัดไป โปรดอ้างถึง: แลงเมด B, et al. การจัดตําแหน่ง Ultrafast และหน่วยความจําที่มีประสิทธิภาพของลําดับดีเอ็นเ

  • LaserFoam ฟรี

    LaserFoam ทําการจําลองพัลส์เลเซอร์โดยใช้วิธีการแยกแบบปรับได้ Fourier เพื่อแก้ปัญหาสมการ Schrdinger แบบไม่เชิงเส้นทั่วไป มันมีสภาพแวดล้อมกราฟิกที่จะเรียกใช้และแสดงภาพผลลัพธ์

  • Daylight Chart ฟรี

    แผนภูมิตามฤดูกาลแสดงเวลาพระอาทิตย์ขึ้นและพระอาทิตย์ตกในแผนภูมิที่น่าสนใจสําหรับสถานที่ใด ๆ ในโลก ผลของการเลื่อนเวลาตามฤดูกาลก็จะปรากฏขึ้นเช่นกัน แผนภูมิสามารถส่งออกไปยังไฟล์ภาพ